Halo2 adalah sistem zero-knowledge proof yang dikembangkan oleh Zcash (Electric Coin Company) yang mencapai rekursi tanpa trusted setup — memungkinkan serangkaian bukti untuk dirantai di mana setiap langkah memverifikasi kebenaran langkah sebelumnya, terakumulasi menjadi satu bukti akhir yang dapat diperiksa secara efisien tanpa parameter tepercaya apa pun dari sebuah upacara.
Halo2 dibangun di atas makalah Halo asli (2019) dan menggunakan skema komitmen polinomial IPA (Inner Product Argument) berdasarkan asumsi logaritma diskrit, membuatnya transparan (tanpa trusted setup) sambil tetap praktis untuk aplikasi nyata. Scroll menggunakan Halo2 sebagai sistem buktinya; protokol Orchard Zcash juga menggunakannya.
Mengapa Rekursi Penting
Wawasan skalabilitas: Jika Anda dapat membuktikan “saya memverifikasi bukti P dengan benar” secara efisien, Anda dapat merantai bukti. Setiap bukti baru memverifikasi yang sebelumnya ditambah beberapa komputasi baru. Pada akhir rantai N operasi, Anda memiliki satu bukti yang memverifikasi semua N langkah.
Tanpa rekursi: ZK-rollup harus membatch semua transaksi dalam window tetap dan membuktikan seluruh batch sekaligus.
Dengan rekursi: Anda dapat membuktikan secara inkremental. Ini disebut IVC (Incrementally Verifiable Computation).
Arsitektur Teknis
Komitmen polinomial: Halo2 menggunakan skema IPA (Inner Product Argument) — tidak memerlukan pairings. Ini menghilangkan kebutuhan akan trusted setup yang diperlukan oleh sistem berbasis pairing (seperti KZG di PLONK).
Skema akumulasi: Inovasi inti Halo2 adalah skema akumulasi — alih-alih memverifikasi bukti secara penuh di setiap langkah, verifier mengakumulasi pemeriksaan ke dalam status berjalan. Hanya langkah akhir yang memerlukan verifikasi penuh.
Aritmetisasi PLONKish: Halo2 menggunakan varian aritmetisasi PLONK (sistem constraint yang dapat dikustomisasi, tabel lookup) — meminjam model pemrograman ekspresif PLONK sambil mengganti skema komitmen polinomial dengan IPA.
Halo2 vs Sistem Lain
| Properti | Halo2 | Groth16 | PLONK (KZG) |
|---|---|---|---|
| Trusted setup | Tidak ada | Per-sirkuit | Universal |
| Rekursi | Ya | Sulit | Mungkin |
| Ukuran bukti | Lebih besar | ~192 byte | ~500 byte |
| Adopsi | Scroll, Zcash | Zcash (Sapling) | Berbagai zkEVM |
Kritik
Bukti Halo2 lebih besar dan lebih lambat untuk diverifikasi dibandingkan Groth16 atau PLONK berbasis KZG. Pertukaran “tanpa trusted setup” ada biayanya dalam efisiensi. Ekosistem alat Halo2 juga lebih kecil dibandingkan framework ZK yang lebih tua.
Sentimen Media Sosial
Di X/Twitter, Halo2 dibahas terutama oleh pengembang ZK. Di komunitas kripto Indonesia, Halo2 dikenal sebagai teknologi di balik rollup Scroll.
Terakhir diperbarui: 2026-04
Istilah Terkait
Lihat Juga
- Mengapa Audit Smart Contract Gagal
- Apakah Jaringan Layer 2 Terdesentralisasi
- Tukar kripto dengan ChangeNOW
Sumber
- Halo Paper (https://eprint.iacr.org/2019/1021) — makalah asli.
- Electric Coin Company (https://electriccoin.co) — developer Halo2.
- Scroll (https://scroll.io) — implementasi zkEVM berbasis Halo2.