Perkembangan, Aplikasi, dan Prinsip Dasar zk-SNARKs
I. Sejarah Perkembangan zk-SNARKs
Konsep modern dari sistem zk-SNARKs dapat ditelusuri kembali ke tahun 1985. Pada saat itu, Goldwasser, Micali, dan Rackoff bekerja sama untuk mengusulkan sebuah konsep inovatif, yaitu membuktikan kebenaran suatu pernyataan melalui pertukaran informasi yang minimal dalam sistem interaktif. Pemikiran ini secara resmi dipublikasikan pada tahun 1989, yang menjadi dasar teori dari zk-SNARKs.
Sistem zk-SNARKs awal memiliki keterbatasan dalam hal kegunaan, sebagian besar masih pada tingkat teori. Hingga sepuluh tahun terakhir, seiring dengan munculnya kriptografi di bidang cryptocurrency, zk-SNARKs benar-benar muncul ke permukaan dan menjadi arah penelitian yang penting. Di antaranya, mengembangkan protokol zk-SNARKs yang umum, tidak interaktif, dan dengan skala bukti yang terbatas adalah tujuan inti.
Terobosan besar dalam zk-SNARKs muncul pada tahun 2010, ketika makalah yang diterbitkan oleh Groth meletakkan dasar teori untuk zk-SNARKs. Pada tahun 2015, Zcash menerapkan zk-SNARKs untuk perlindungan privasi transaksi, membuka penggunaan zk-SNARKs yang luas dalam skenario praktis.
Selama periode ini, beberapa hasil akademis penting termasuk:
Protokol Pinocchio tahun 2013 secara signifikan meningkatkan efisiensi pembuktian dan verifikasi
Groth16 tahun 2016, lebih lanjut mengoptimalkan ukuran bukti dan kecepatan verifikasi
Bulletproofs tahun 2017, mengusulkan algoritma bukti pendek tanpa pengaturan yang tepercaya
zk-STARKs pada tahun 2018, mengusulkan sistem bukti baru yang tahan terhadap komputasi kuantum
Selain itu, protokol baru seperti PLONK dan Halo2 juga memberikan kontribusi penting untuk perbaikan zk-SNARK.
Dua, Ringkasan Aplikasi zk-SNARKs
Dua bidang aplikasi paling luas dari zk-SNARKs saat ini adalah perlindungan privasi dan skalabilitas blockchain.
Dalam hal perlindungan privasi, proyek-proyek awal seperti Zcash dan Monero mendorong perkembangan transaksi privasi. Meskipun kebutuhan privasi tidak sejelas yang diharapkan, proyek-proyek semacam itu tetap mempertahankan posisi pasar tertentu.
Dalam bidang skalabilitas, seiring dengan pergeseran Ethereum menuju jalur yang berpusat pada rollup, solusi skalabilitas berbasis zk-SNARKs kembali menjadi sorotan.
transaksi privasi
Proyek transaksi privasi yang telah diimplementasikan saat ini termasuk:
Menggunakan zk-SNARKs Zcash dan Tornado
Menggunakan Bulletproof Monero
Sebagai contoh Zcash, alur transaksi yang menggunakan zk-SNARKs mencakup: pengaturan sistem, pembuatan kunci, pencetakan koin, pembuatan bukti transaksi, verifikasi, dan penerimaan.
Namun, proyek seperti Zcash juga memiliki beberapa keterbatasan, seperti kesulitan untuk diintegrasikan dengan aplikasi lain, dan proporsi penggunaan fungsi transaksi privasi yang rendah. Sebaliknya, desain kolam pencampuran besar yang digunakan oleh Tornado lebih serbaguna.
ekspansi
zk-SNARKs dalam aplikasi skala terutama tercermin dalam 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 ZK rollup terletak pada biaya rendah, finalitas cepat, dan perlindungan privasi, tetapi juga menghadapi tantangan seperti beban komputasi yang besar, keamanan, dan kompatibilitas.
Proyek ZK rollup utama di pasar saat ini termasuk StarkNet, zkSync, Aztec Connect, Polygon Hermez/Miden, Loopring, dan Scroll. Proyek-proyek ini terutama memilih antara SNARK( dan versi perbaikannya ) serta STARK dalam jalur teknis mereka, sambil memperhatikan tingkat dukungan untuk Ethereum Virtual Machine (EVM).
Tiga, Prinsip Dasar ZK-SNARKs
zk-SNARKs perlu memenuhi tiga karakteristik yaitu integritas, keandalan, dan zero-knowledge. Sebagai contoh, zk-SNARK, yang merupakan singkatan dari "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge", prinsip implementasinya mencakup langkah-langkah berikut:
Mengubah masalah menjadi sirkuit
Mengubah sirkuit menjadi bentuk R1CS
Mengonversi R1CS ke bentuk QAP
Membangun pengaturan yang dapat dipercaya, menghasilkan kunci bukti dan kunci verifikasi
Menghasilkan dan memverifikasi bukti zk-SNARKs
Proses ini melibatkan prinsip-prinsip kriptografi yang kompleks, yang dapat membuktikan kebenaran suatu pernyataan tanpa mengungkapkan informasi kunci.
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.
14 Suka
Hadiah
14
8
Bagikan
Komentar
0/400
RugResistant
· 07-22 08:15
pola risiko tinggi terdeteksi dalam zk proofs sebelumnya sejujurnya... perlu audit kode yang menyeluruh
Lihat AsliBalas0
BearMarketGardener
· 07-21 23:55
Tahun sudah terlalu lama, saya bahkan tidak bisa mengingat bagaimana keadaan pada tahun 85.
Lihat AsliBalas0
WinterWarmthCat
· 07-21 15:48
Bagus, cukup layak untuk ditonton
Lihat AsliBalas0
ChainMelonWatcher
· 07-19 17:23
Sudah sampai ke zero knowledge? Pisang
Lihat AsliBalas0
MEVictim
· 07-19 17:23
Wah, teori ini sudah ada sejak lama ya.
Lihat AsliBalas0
ProposalDetective
· 07-19 17:23
badass sedang meneliti cara menghasilkan uang
Lihat AsliBalas0
TeaTimeTrader
· 07-19 17:21
Kriptografi tinggi tidak tinggi, tergantung siapa yang menjelaskan...
Lihat AsliBalas0
GreenCandleCollector
· 07-19 17:03
Terlalu banyak, siapa yang bisa mengingat tahun-tahun ini?
zk-SNARKs: Dari Terobosan Teori ke Praktik ZK Rollup
Perkembangan, Aplikasi, dan Prinsip Dasar zk-SNARKs
I. Sejarah Perkembangan zk-SNARKs
Konsep modern dari sistem zk-SNARKs dapat ditelusuri kembali ke tahun 1985. Pada saat itu, Goldwasser, Micali, dan Rackoff bekerja sama untuk mengusulkan sebuah konsep inovatif, yaitu membuktikan kebenaran suatu pernyataan melalui pertukaran informasi yang minimal dalam sistem interaktif. Pemikiran ini secara resmi dipublikasikan pada tahun 1989, yang menjadi dasar teori dari zk-SNARKs.
Sistem zk-SNARKs awal memiliki keterbatasan dalam hal kegunaan, sebagian besar masih pada tingkat teori. Hingga sepuluh tahun terakhir, seiring dengan munculnya kriptografi di bidang cryptocurrency, zk-SNARKs benar-benar muncul ke permukaan dan menjadi arah penelitian yang penting. Di antaranya, mengembangkan protokol zk-SNARKs yang umum, tidak interaktif, dan dengan skala bukti yang terbatas adalah tujuan inti.
Terobosan besar dalam zk-SNARKs muncul pada tahun 2010, ketika makalah yang diterbitkan oleh Groth meletakkan dasar teori untuk zk-SNARKs. Pada tahun 2015, Zcash menerapkan zk-SNARKs untuk perlindungan privasi transaksi, membuka penggunaan zk-SNARKs yang luas dalam skenario praktis.
Selama periode ini, beberapa hasil akademis penting termasuk:
Selain itu, protokol baru seperti PLONK dan Halo2 juga memberikan kontribusi penting untuk perbaikan zk-SNARK.
Dua, Ringkasan Aplikasi zk-SNARKs
Dua bidang aplikasi paling luas dari zk-SNARKs saat ini adalah perlindungan privasi dan skalabilitas blockchain.
Dalam hal perlindungan privasi, proyek-proyek awal seperti Zcash dan Monero mendorong perkembangan transaksi privasi. Meskipun kebutuhan privasi tidak sejelas yang diharapkan, proyek-proyek semacam itu tetap mempertahankan posisi pasar tertentu.
Dalam bidang skalabilitas, seiring dengan pergeseran Ethereum menuju jalur yang berpusat pada rollup, solusi skalabilitas berbasis zk-SNARKs kembali menjadi sorotan.
transaksi privasi
Proyek transaksi privasi yang telah diimplementasikan saat ini termasuk:
Sebagai contoh Zcash, alur transaksi yang menggunakan zk-SNARKs mencakup: pengaturan sistem, pembuatan kunci, pencetakan koin, pembuatan bukti transaksi, verifikasi, dan penerimaan.
Namun, proyek seperti Zcash juga memiliki beberapa keterbatasan, seperti kesulitan untuk diintegrasikan dengan aplikasi lain, dan proporsi penggunaan fungsi transaksi privasi yang rendah. Sebaliknya, desain kolam pencampuran besar yang digunakan oleh Tornado lebih serbaguna.
ekspansi
zk-SNARKs dalam aplikasi skala terutama tercermin dalam ZK rollup. ZK rollup terdiri dari dua jenis peran: Sequencer dan Aggregator:
Keuntungan ZK rollup terletak pada biaya rendah, finalitas cepat, dan perlindungan privasi, tetapi juga menghadapi tantangan seperti beban komputasi yang besar, keamanan, dan kompatibilitas.
Proyek ZK rollup utama di pasar saat ini termasuk StarkNet, zkSync, Aztec Connect, Polygon Hermez/Miden, Loopring, dan Scroll. Proyek-proyek ini terutama memilih antara SNARK( dan versi perbaikannya ) serta STARK dalam jalur teknis mereka, sambil memperhatikan tingkat dukungan untuk Ethereum Virtual Machine (EVM).
Tiga, Prinsip Dasar ZK-SNARKs
zk-SNARKs perlu memenuhi tiga karakteristik yaitu integritas, keandalan, dan zero-knowledge. Sebagai contoh, zk-SNARK, yang merupakan singkatan dari "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge", prinsip implementasinya mencakup langkah-langkah berikut:
Proses ini melibatkan prinsip-prinsip kriptografi yang kompleks, yang dapat membuktikan kebenaran suatu pernyataan tanpa mengungkapkan informasi kunci.