Sistem zk-SNARKs berasal dari makalah Goldwasser, Micali, dan Rackoff tahun 1985, yang membahas jumlah pengetahuan yang perlu dipertukarkan untuk membuktikan kebenaran suatu pernyataan dalam sistem interaktif. Jika pertukaran tanpa pengetahuan dapat dilakukan, maka disebut sebagai zk-SNARKs. Sistem zk-SNARKs awal memiliki efisiensi dan kegunaan yang kurang baik, sebagian besar masih pada tingkat teoritis. Dalam dekade terakhir, dengan munculnya kriptografi di bidang cryptocurrency, zk-SNARKs mengalami perkembangan pesat.
Terobosan kunci dari zero-knowledge proof adalah teori zk-SNARKs yang diajukan oleh Groth pada tahun 2010. Pada tahun 2015, Zcash menerapkan zero-knowledge proof untuk perlindungan privasi transaksi, membuka skenario aplikasi yang lebih luas. Kemajuan penting lainnya termasuk:
Protokol Pinocchio 2013: Mengompresi waktu bukti dan verifikasi
Groth16 2016: Memperpendek ukuran bukti, meningkatkan efisiensi verifikasi
2017 Bulletproofs: mengusulkan bukti nol pengetahuan non-interaktif yang singkat
2018 zk-STARKs: protokol tanpa pengaturan tepercaya
Selain itu, PLONK, Halo2, dan lainnya juga telah melakukan perbaikan penting pada zk-SNARK.
Dua, Aplikasi Utama zk-SNARKs
zk-SNARKs saat ini terutama diterapkan dalam dua aspek yaitu perlindungan privasi dan skala.
perlindungan privasi
Proyek transaksi privasi awal seperti Zcash dan Monero mendapat perhatian, tetapi seiring dengan melemahnya permintaan, mereka secara bertahap mundur ke belakang. Proyek transaksi privasi utama termasuk:
Zcash: menggunakan zk-SNARKs
Monero: menggunakan Bulletproof
Tornado Cash: kolam pencampur berbasis Ethereum
skalabilitas
zk-SNARKs dalam aplikasi skala utama adalah zk-rollup. zk-rollup terdiri dari dua jenis peran: Sequencer dan Aggregator.
Sequencer bertanggung jawab untuk mengemas transaksi
Aggregator bertanggung jawab untuk menggabungkan transaksi dan menghasilkan zk-SNARKs
Keuntungan dari zk-rollup adalah biaya rendah, finalitas cepat, sedangkan kekurangannya adalah beban komputasi yang besar, memerlukan pengaturan yang tepercaya, dan sebagainya.
Proyek zk-rollup yang mainstream antara lain: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, dan lain-lain. Mereka memiliki perbedaan dalam pemilihan SNARK/STARK dan kompatibilitas EVM.
Tiga, Prinsip Dasar ZK-SNARKs
zk-SNARK adalah singkatan dari zero-knowledge succinct non-interactive arguments of knowledge, memiliki karakteristik sebagai berikut:
Zero Knowledge: Proses pembuktian tidak mengungkapkan informasi tambahan
Succinct: verifikasi ringkas
Non-interactive:非交互
Argumen Pengetahuan: Pembuktian perlu mengetahui informasi yang valid
Proses pembuktian zk-SNARKs Groth16 adalah sebagai berikut:
Mengubah masalah menjadi rangkaian
Mengubah sirkuit menjadi bentuk R1CS
Mengubah R1CS menjadi bentuk QAP
Menghasilkan parameter pengaturan yang dapat dipercaya
Menghasilkan dan Memverifikasi Bukti
zk-SNARKs masih dalam pengembangan cepat, dan di masa depan diharapkan dapat memainkan peran penting di lebih banyak bidang.
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.
7 Suka
Hadiah
7
5
Bagikan
Komentar
0/400
OnchainUndercover
· 19jam yang lalu
Contoh, ternyata tidak mengerti
Lihat AsliBalas0
EthMaximalist
· 19jam yang lalu
Bukankah itu hanya zk-snark? Terlalu banyak melihat.
Lihat AsliBalas0
NftRegretMachine
· 19jam yang lalu
tidak bisa mengikuti pola pikir para pro
Lihat AsliBalas0
LiquidatedAgain
· 19jam yang lalu
Sekali lagi datang untuk memanfaatkan hype dan play people for suckers, ya? Mengincar harga likuidasi saya, ya?
Lihat AsliBalas0
MoneyBurnerSociety
· 19jam yang lalu
Telah meneliti zero proof selama sepuluh tahun, akun masih memiliki saldo nol...
Analisis menyeluruh tiga bidang zk-SNARKs: Sejarah, Aplikasi, dan Prinsip Teknologi
Sejarah, Aplikasi, dan Prinsip zk-SNARKs
I. Perkembangan zk-SNARKs
Sistem zk-SNARKs berasal dari makalah Goldwasser, Micali, dan Rackoff tahun 1985, yang membahas jumlah pengetahuan yang perlu dipertukarkan untuk membuktikan kebenaran suatu pernyataan dalam sistem interaktif. Jika pertukaran tanpa pengetahuan dapat dilakukan, maka disebut sebagai zk-SNARKs. Sistem zk-SNARKs awal memiliki efisiensi dan kegunaan yang kurang baik, sebagian besar masih pada tingkat teoritis. Dalam dekade terakhir, dengan munculnya kriptografi di bidang cryptocurrency, zk-SNARKs mengalami perkembangan pesat.
Terobosan kunci dari zero-knowledge proof adalah teori zk-SNARKs yang diajukan oleh Groth pada tahun 2010. Pada tahun 2015, Zcash menerapkan zero-knowledge proof untuk perlindungan privasi transaksi, membuka skenario aplikasi yang lebih luas. Kemajuan penting lainnya termasuk:
Selain itu, PLONK, Halo2, dan lainnya juga telah melakukan perbaikan penting pada zk-SNARK.
Dua, Aplikasi Utama zk-SNARKs
zk-SNARKs saat ini terutama diterapkan dalam dua aspek yaitu perlindungan privasi dan skala.
perlindungan privasi
Proyek transaksi privasi awal seperti Zcash dan Monero mendapat perhatian, tetapi seiring dengan melemahnya permintaan, mereka secara bertahap mundur ke belakang. Proyek transaksi privasi utama termasuk:
skalabilitas
zk-SNARKs dalam aplikasi skala utama adalah zk-rollup. zk-rollup terdiri dari dua jenis peran: Sequencer dan Aggregator.
Keuntungan dari zk-rollup adalah biaya rendah, finalitas cepat, sedangkan kekurangannya adalah beban komputasi yang besar, memerlukan pengaturan yang tepercaya, dan sebagainya.
Proyek zk-rollup yang mainstream antara lain: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, dan lain-lain. Mereka memiliki perbedaan dalam pemilihan SNARK/STARK dan kompatibilitas EVM.
Tiga, Prinsip Dasar ZK-SNARKs
zk-SNARK adalah singkatan dari zero-knowledge succinct non-interactive arguments of knowledge, memiliki karakteristik sebagai berikut:
Proses pembuktian zk-SNARKs Groth16 adalah sebagai berikut:
zk-SNARKs masih dalam pengembangan cepat, dan di masa depan diharapkan dapat memainkan peran penting di lebih banyak bidang.