Solusi penskalaan lapisan-2 Ethereum zkSync Era telah meluncurkan sistem pembuktian baru berbasis Scalable Transparent Argument of Knowledge (STARK) yang disebut Boojum yang menjanjikan untuk berjalan pada unit pemrosesan umum (GPU) tingkat konsumen.
ZkSync Era adalah salah satu dari beberapa protokol penskalaan Ethereum yang menggunakan zero-knowledge rollups (ZK-rollups) untuk meningkatkan kapasitas dan kecepatan sekaligus mengurangi biaya. ZK-rollups sebagian besar menggunakan dua sistem pembuktian terkemuka: zk-STARKs dan Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKs).
Sistem pembuktian Boojum yang baru didasarkan pada pustaka kriptografi berbasis Rust dari zkSync yang menerapkan versi sirkuit aritmatika yang ditingkatkan untuk zkSync Era dan tumpukan pengembang ZK-nya. Yang terpenting, sistem ini memungkinkan pembuktian Boojum dijalankan pada komputer pribadi sehari-hari, bukan pada perangkat keras dan server yang canggih.
Peningkatan ini dapat berjalan pada komputer dengan memori akses acak (RAM) GPU hanya sebesar 16 gigabita (GB), yang memastikan pengguna biasa dapat berpartisipasi dalam aktivitas jaringan. Sebagai perbandingan, zkSync saat ini berjalan pada kluster yang terdiri dari 100 GPU, masing-masing dengan RAM sebesar 80 GB.
Sebelum peluncuran Boojum, zkSync sebagian besar bergantung pada zk-SNARK, yang mampu tetapi relatif kurang transparan dibandingkan sistem berbasis zk-STARK. Sistem sebelumnya memproses sekitar 100 transaksi per detik, sementara Boojum menjanjikan untuk menawarkan kemampuan pemrosesan yang lebih unggul.
Pada tahap akhir implementasi, bukti baru akan membungkus bukti STARK dengan SNARK berbasis pasangan non-transparan. Ini pada dasarnya akan menjadi versi yang sedikit ditingkatkan dari sistem bukti berbasis SNARK saat ini. Bukti ini memerlukan lebih sedikit penyimpanan dan lebih murah untuk diverifikasi, yang menurunkan biaya sistem bukti, dan, oleh karena itu, transaksi itu sendiri.
Boojum saat ini aktif di mainnet zkSync Era untuk pengujian, pembuatan, dan verifikasi "shadow proof". Pengembang saat ini sedang menguji shadow proof dengan data produksi nyata sebelum migrasi lengkap dan penggunaan yang lebih luas. Sistem baru akan ditingkatkan tanpa regenesis apa pun.