Perkembangan dan Prospek Aplikasi zk-SNARKs: Dari Teori ke ZK rollup

2025-07-04 22:14:48

Pembuatan abstrak sedang berlangsung

Sejarah, Prinsip, dan Aplikasi zk-SNARKs

Perkembangan zk-SNARKs

Sistem bukti nol yang modern berasal dari makalah yang diterbitkan pada tahun 1985 oleh Goldwasser, Micali, dan Rackoff. Makalah tersebut membahas jumlah pengetahuan yang diperlukan untuk membuktikan kebenaran sebuah pernyataan dalam sistem interaktif melalui interaksi berulang. Jika pembuktian dapat dilakukan tanpa menukar pengetahuan apapun, itu disebut sebagai bukti nol. Sistem bukti nol yang awal memiliki efisiensi dan kegunaan yang kurang, sebagian besar tetap pada tingkat teori.

Dalam dekade terakhir, zk-SNARKs mulai berkembang pesat dan menjadi arah penting dalam bidang kriptografi. Di antara itu, mengembangkan protokol zk-SNARKs yang umum, non-interaktif, dan memiliki ukuran bukti terbatas adalah salah satu arah eksplorasi kunci. Protokol yang ideal perlu menyeimbangkan antara kecepatan pembuktian, kecepatan verifikasi, dan ukuran bukti.

Makalah Groth pada tahun 2010 adalah terobosan penting di bidang ZKP, yang meletakkan dasar teoretis untuk zk-SNARKs. Pada tahun 2015, Zcash menggunakan zero-knowledge proof untuk melindungi privasi transaksi, yang merupakan kemajuan penting di tingkat aplikasi. Sejak itu, zk-SNARKs digabungkan dengan kontrak pintar, dan skenario aplikasinya semakin luas.

Hasil akademis penting lainnya termasuk: Protokol Pinocchio pada tahun 2013, algoritma Groth16 pada tahun 2016, algoritma Bulletproofs pada tahun 2017, dan protokol zk-STARKs pada tahun 2018. Kemajuan ini sangat mendorong perkembangan dan aplikasi zk-SNARKs.

Aplikasi Utama zk-SNARKs

Aplikasi paling luas dari zk-SNARKs adalah perlindungan privasi dan skala.

Dalam hal perlindungan privasi, proyek seperti Zcash dan Monero telah meluncurkan fitur transaksi privasi. Zcash menggunakan zk-SNARKs untuk mewujudkan privasi transaksi, tetapi terdapat batasan karena model UTXO. Tornado Cash, di sisi lain, telah mewujudkan kolam pencampuran yang lebih umum melalui zk-SNARK.

Dalam hal skalabilitas, ZK rollup menjadi jalur teknologi yang penting. ZK rollup menggabungkan sejumlah besar transaksi dan menghasilkan zk-SNARKs untuk mencapai skalabilitas Layer 2. Keuntungan utamanya termasuk biaya rendah, finalitas cepat, tetapi juga ada kekurangan seperti beban komputasi yang besar dan membutuhkan pengaturan yang tepercaya.

Saat ini, proyek ZK rollup yang kompetitif di pasar termasuk StarkNet, zkSync, Aztec, Polygon Hermez, dan lainnya. Proyek-proyek ini memiliki fokus masing-masing dalam pemilihan SNARK/STARK, kompatibilitas EVM, dan lain-lain.

Prinsip Dasar zk-SNARKs

zk-SNARK( adalah skema bukti nol yang penting. Ini memiliki karakteristik nol pengetahuan, ringkas, non-interaktif, dan dapat diandalkan.

Prinsip dasar implementasi zk-SNARK mencakup:

Mengubah masalah menjadi sirkuit
Mengubah rangkaian menjadi bentuk R1CS
Mengonversi R1CS ke bentuk QAP
Menghasilkan pengaturan terpercaya, termasuk kunci bukti dan kunci verifikasi
Menghasilkan dan Memverifikasi zk-SNARKs

![HashKey ZK 101 Edisi Pertama: Prinsip Sejarah dan Industri])https://img-cdn.gateio.im/webp-social/moments-32e1ccadd2a5f2b2865b06e98bf0bd68.webp(

Kerangka ini meletakkan dasar untuk aplikasi luas zk-SNARKs. Di masa depan, seiring dengan perkembangan teknologi yang berkelanjutan, zk-SNARKs diharapkan dapat berperan penting di lebih banyak bidang.

![HashKey ZK 101 Edisi Pertama: Prinsip Sejarah dan Industri])https://img-cdn.gateio.im/webp-social/moments-264bb4794c44616e81f149e535302d5a.webp(

ZK-10.14%

Lihat Asli

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.

13 Suka