Sistem bukti nol pengetahuan modern berasal dari makalah yang ditulis oleh Goldwasser, Micali, dan Rackoff pada tahun 1985. Makalah tersebut membahas jumlah pengetahuan yang perlu dipertukarkan untuk membuktikan kebenaran suatu pernyataan melalui interaksi berulang dalam sistem interaktif. Jika pertukaran nol pengetahuan dapat direalisasikan, ini disebut bukti nol pengetahuan. Sistem bukti nol pengetahuan awal tidak memiliki efisiensi dan kegunaan yang cukup, dan sebagian besar masih berada pada tingkat teori. Dalam dekade terakhir, dengan munculnya kriptografi di bidang cryptocurrency, bukti nol pengetahuan secara bertahap menjadi arah penelitian yang penting.
Terobosan kunci dari zero-knowledge proof adalah makalah yang diterbitkan oleh Groth pada tahun 2010, yang meletakkan landasan teori untuk zk-SNARKs. Pada tahun 2015, Zcash menerapkan zero-knowledge proof untuk perlindungan privasi transaksi, yang merupakan kemajuan penting dalam aspek aplikasi dari zero-knowledge proof. Setelah itu, zk-SNARKs digabungkan dengan kontrak pintar, dan skenario aplikasi terus berkembang.
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 memiliki perbaikan penting dalam hal ukuran bukti, efisiensi verifikasi, dan sebagainya.
Dua, Aplikasi Utama zk-SNARKs
Aplikasi paling luas dari zk-SNARKs adalah perlindungan privasi dan skalabilitas.
Dalam hal perlindungan privasi, proyek-proyek representatif termasuk Zcash, Monero, dan lainnya. Sebagai contoh, Zcash menggunakan zk-SNARKs untuk mewujudkan privasi transaksi, dengan langkah-langkah utama termasuk pengaturan sistem, pembuatan kunci, pencetakan koin, transfer, verifikasi, dan penerimaan. Namun, tingkat penggunaan transaksi privasi Zcash tidak tinggi, menunjukkan bahwa kebutuhan privasi belum memenuhi harapan.
Dalam hal skala, ZK Rollup adalah aplikasi penting. ZK Rollup mencakup dua jenis peran yaitu Sequencer dan Aggregator, yang melakukan pemrosesan transaksi secara massal dan menghasilkan zk-SNARKs untuk mencapai skala. Dibandingkan dengan Optimistic Rollup, ZK Rollup memiliki keunggulan biaya rendah dan finalitas cepat, tetapi juga menghadapi tantangan seperti beban komputasi yang besar dan kebutuhan untuk pengaturan tepercaya.
Proyek ZK Rollup yang saat ini populer termasuk StarkNet, zkSync, Aztec, Polygon Hermez, dan lain-lain. Di jalur teknologi, mereka terutama memilih antara SNARK dan STARK, serta apakah mendukung kompatibilitas EVM. Masalah kompatibilitas EVM telah menjadi fokus perhatian industri, dan kemajuan teknologi baru-baru ini telah meningkatkan kompatibilitas EVM ke tingkat baru, yang akan mempengaruhi pola perkembangan ekosistem ZK.
Tiga, Prinsip Dasar ZK-SNARKs
ZK-SNARK adalah salah satu implementasi penting dari zk-SNARKs. Ini memiliki karakteristik zero-knowledge, ringkas, dan non-interaktif.
Langkah dasar ZK-SNARKs termasuk:
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-SNARK
Inti dari ZK-SNARK adalah mengubah masalah melalui transformasi matematis yang kompleks menjadi bentuk yang dapat dibuktikan dan diverifikasi dengan efisien. Ini meletakkan dasar untuk penerapan luas dari zk-SNARKs di bidang seperti blockchain.
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.
17 Suka
Hadiah
17
5
Bagikan
Komentar
0/400
SandwichHunter
· 3jam yang lalu
Tingkat zk kali ini hanya segini? jangka pendek masih harus bersabar.
Lihat AsliBalas0
TokenUnlocker
· 08-06 00:00
Teknologi ini cukup menarik
Lihat AsliBalas0
MaticHoleFiller
· 08-05 23:50
Selalu ada hal besar yang terjadi di lapisan privasi.
Perkembangan dan Aplikasi zk-SNARKs: Dari Terobosan Teori ke Praktik ZK Rollup
Sejarah, Aplikasi, dan Prinsip dari zk-SNARKs
Satu, Perkembangan zk-SNARKs
Sistem bukti nol pengetahuan modern berasal dari makalah yang ditulis oleh Goldwasser, Micali, dan Rackoff pada tahun 1985. Makalah tersebut membahas jumlah pengetahuan yang perlu dipertukarkan untuk membuktikan kebenaran suatu pernyataan melalui interaksi berulang dalam sistem interaktif. Jika pertukaran nol pengetahuan dapat direalisasikan, ini disebut bukti nol pengetahuan. Sistem bukti nol pengetahuan awal tidak memiliki efisiensi dan kegunaan yang cukup, dan sebagian besar masih berada pada tingkat teori. Dalam dekade terakhir, dengan munculnya kriptografi di bidang cryptocurrency, bukti nol pengetahuan secara bertahap menjadi arah penelitian yang penting.
Terobosan kunci dari zero-knowledge proof adalah makalah yang diterbitkan oleh Groth pada tahun 2010, yang meletakkan landasan teori untuk zk-SNARKs. Pada tahun 2015, Zcash menerapkan zero-knowledge proof untuk perlindungan privasi transaksi, yang merupakan kemajuan penting dalam aspek aplikasi dari zero-knowledge proof. Setelah itu, zk-SNARKs digabungkan dengan kontrak pintar, dan skenario aplikasi terus berkembang.
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 memiliki perbaikan penting dalam hal ukuran bukti, efisiensi verifikasi, dan sebagainya.
Dua, Aplikasi Utama zk-SNARKs
Aplikasi paling luas dari zk-SNARKs adalah perlindungan privasi dan skalabilitas.
Dalam hal perlindungan privasi, proyek-proyek representatif termasuk Zcash, Monero, dan lainnya. Sebagai contoh, Zcash menggunakan zk-SNARKs untuk mewujudkan privasi transaksi, dengan langkah-langkah utama termasuk pengaturan sistem, pembuatan kunci, pencetakan koin, transfer, verifikasi, dan penerimaan. Namun, tingkat penggunaan transaksi privasi Zcash tidak tinggi, menunjukkan bahwa kebutuhan privasi belum memenuhi harapan.
Dalam hal skala, ZK Rollup adalah aplikasi penting. ZK Rollup mencakup dua jenis peran yaitu Sequencer dan Aggregator, yang melakukan pemrosesan transaksi secara massal dan menghasilkan zk-SNARKs untuk mencapai skala. Dibandingkan dengan Optimistic Rollup, ZK Rollup memiliki keunggulan biaya rendah dan finalitas cepat, tetapi juga menghadapi tantangan seperti beban komputasi yang besar dan kebutuhan untuk pengaturan tepercaya.
Proyek ZK Rollup yang saat ini populer termasuk StarkNet, zkSync, Aztec, Polygon Hermez, dan lain-lain. Di jalur teknologi, mereka terutama memilih antara SNARK dan STARK, serta apakah mendukung kompatibilitas EVM. Masalah kompatibilitas EVM telah menjadi fokus perhatian industri, dan kemajuan teknologi baru-baru ini telah meningkatkan kompatibilitas EVM ke tingkat baru, yang akan mempengaruhi pola perkembangan ekosistem ZK.
Tiga, Prinsip Dasar ZK-SNARKs
ZK-SNARK adalah salah satu implementasi penting dari zk-SNARKs. Ini memiliki karakteristik zero-knowledge, ringkas, dan non-interaktif.
Langkah dasar ZK-SNARKs termasuk:
Inti dari ZK-SNARK adalah mengubah masalah melalui transformasi matematis yang kompleks menjadi bentuk yang dapat dibuktikan dan diverifikasi dengan efisien. Ini meletakkan dasar untuk penerapan luas dari zk-SNARKs di bidang seperti blockchain.