Crypto Gloss

Mina Protocol: Blockchain Suksinat 22 KB dengan Recursive zk-SNARK

Penulis Meckler, Izaak; Shapiro, Evan; et al. (O(1) Labs)
Tahun 2020
Proyek Mina Protocol / O(1) Labs
Lisensi Apache 2.0
Sumber Resmi minaprotocol.com (Technical Whitepaper)
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

“Mina: Decentralized Cryptocurrency at Scale” adalah whitepaper teknis 2020 dari O(1) Labs yang mendeskripsikan Mina Protocol (awalnya bernama “Coda Protocol”) — blockchain yang memecahkan masalah kembung blockchain dengan menggantikan seluruh riwayat transaksi dengan satu recursive zk-SNARK proof. Daripada mengharuskan node mengunduh dan memverifikasi semua blok historis, siapa pun bisa memverifikasi state seluruh blockchain dengan memeriksa satu bukti kriptografis yang selalu berukuran 22 kilobyte — lebih kecil dari sebuah tweet panjang.

Publikasi dan Konteks

Setiap blockchain yang tidak memangkas datanya tumbuh selamanya. Rantai blok Bitcoin dan UTXO set melebihi 500 GB (2024); data archive node Ethereum melebihi 12 TB. Pertumbuhan ini secara progresif mengecualikan pengguna biasa dan perangkat dari validasi penuh — menciptakan drift menuju mempercayai node besar daripada verifikasi mandiri.

Tesis Mina: jika kita bisa merepresentasikan state blockchain yang valid saat ini sebagai bukti suksint yang bisa dicek perangkat apa pun, kita memulihkan kemampuan ponsel, browser, dan perangkat ringan untuk memverifikasi chain secara independen — tanpa asumsi kepercayaan.

Desain Recursive zk-SNARK

SNARK standar: Prover menghasilkan bukti pendek bahwa komputasi panjang (misalnya “Saya mengeksekusi 1 juta transaksi dari genesis dan mencapai state ini”) benar. Verifier memeriksa bukti pendek.

SNARK Rekursif: Prover menghasilkan bukti bahwa:

  1. State sebelumnya valid (diverifikasi dengan memeriksa bukti sebelumnya)
  2. Blok saat ini diterapkan dengan benar untuk transisi ke state baru

Setiap bukti baru “membungkus” bukti sebelumnya — rantai transaksi aktual digantikan oleh rantai bukti di mana setiap bukti secara terverifikasi merangkum semua riwayat hingga titik itu. Properti kunci: ukuran bukti akhir adalah konstanta — 22 KB — terlepas dari berapa banyak blok yang telah diproduksi sejak genesis.

Pickles SNARK dan Kimchi

Sistem pembuktian rekursif Mina, Pickles, dibangun di atas sistem bukti Kimchi (varian PLONK dengan gate kustom dan lookup table yang dikembangkan O(1) Labs):

  • Dua-kurva siklus (kurva Pasta): SNARK rekursif memerlukan kurva eliptik yang ramah pasangan yang disusun dalam “siklus”. Mina menggunakan kurva Pallas dan Vesta (secara kolektif “Pasta”), yang dirancang khusus untuk komposisi bukti rekursif yang efisien.
  • Skema akumulasi/folding: Daripada memverifikasi setiap langkah rekursif dari awal, Pickles mengakumulasikan pekerjaan verifikasi yang ditunda di beberapa bukti dan menuntaskannya di akhir — memamortisasi biaya verifikasi per bukti.

Performa (2024): Memproduksi bukti blok Mina membutuhkan ~3 menit di mesin modern. Verifikasi membutuhkan milidetik.

zkApps

Mina mendukung zkApps — smart contract berbasis zk-SNARK yang berjalan sepenuhnya di sisi klien. Pengguna membuktikan eksekusi program secara lokal, lalu mengirimkan bukti ke chain. Ini memungkinkan privasi on-chain native: data sensitif tidak pernah meninggalkan perangkat pengguna.

Istilah Terkait

Referensi

  • Meckler, I. et al. (2020). Mina: Decentralized Cryptocurrency at Scale. O(1) Labs. minaprotocol.com