Zero Knowledge Summit 2024: Catatan dari Pertemuan Zero Knowledge

Pada 10 April 2024, Konferensi Ke-11 tentang Zero-Knowledge diadakan di Athena. Sekitar 500 peserta berkumpul untuk mengikuti empat sesi paralel yang berlangsung selama satu hari. Artikel ini merangkum kemajuan terbaru di konferensi tentang perangkat keras zero-knowledge, kinerja SNARK, dan desain jaringan bukti terdesentralisasi.

Perkembangan Perangkat Keras Zero-Knowledge

Dukungan perangkat keras selalu menjadi fokus utama komunitas bukti nol. Dua pidato utama di pembukaan konferensi merangkum kemajuan terbaru di bidang ini:

Seorang peneliti telah melakukan tinjauan menyeluruh terhadap perangkat keras zero-knowledge, membagi perusahaan terkait menjadi tiga kategori: perusahaan yang menggunakan perangkat keras umum, perusahaan yang memproduksi perangkat keras khusus, dan perusahaan yang mengoperasikan jaringan bukti terdesentralisasi. Ia memperkirakan bahwa sistem verifikasi SNARK yang dioptimalkan perangkat keras dan teknologi lainnya mungkin dapat mencapai peningkatan kinerja hingga 1000 kali lipat, yang akan memiliki dampak signifikan terhadap perkembangan masa depan Ethereum. Ia juga mengungkapkan bahwa suatu yayasan berencana untuk mengadakan kompetisi resmi untuk pembuktian dan validator, dengan total hadiah mencapai 20 juta dolar.

Seorang co-founder perusahaan memperkenalkan sistem Binius mereka, yang merupakan solusi untuk mengoptimalkan sistem pembuktian dan desain perangkat keras secara bersamaan. Binius menggunakan tower field biner dan protokol sumcheck. Pengujian awal menunjukkan bahwa dalam beberapa skenario aplikasi, kinerja fungsi hash Groestl secara signifikan lebih baik dibandingkan Keccak, temuan ini dapat memengaruhi pilihan desain sistem di masa depan.

Jaringan Pembuktian Terdesentralisasi

Banyak profesional di industri membayangkan bahwa di masa depan, pembuktian generasi pernyataan skala besar ( seperti pembuktian kebenaran sekelompok transaksi dalam Rollup ) akan diselesaikan oleh pasar pembuktian profesional terdesentralisasi yang sangat kompetitif.

Seorang co-founder perusahaan berbagi tentang jaringan pembuktian yang akan mereka luncurkan. Dia menganalisis berbagai desain mekanisme potensial dari jaringan pembuktian terdesentralisasi, berpendapat bahwa desain berbasis kompetisi atau penambangan mungkin sulit mencapai hasil yang ideal. Dia mengajukan bahwa tujuan desain seharusnya secara berurutan adalah: meminimalkan biaya, memaksimalkan latensi, dan ketahanan terhadap sensor. Dia memprediksi bahwa model lelang kemungkinan besar akan menjadi arus utama, yang pada akhirnya mungkin mirip dengan mekanisme pembangunan blok saat ini.

Seorang mahasiswa doktoral di sebuah universitas memperkenalkan sebuah makalah baru yang baru saja diterbitkan tentang ekonomi jaringan pembuktian. Dia menunjukkan bahwa lelang bilateral mudah terpengaruh oleh kolusi antara pembukti dan penawar, oleh karena itu dia mengusulkan mekanisme alternatif yang dikenal sebagai Proo-phi, yang memperkenalkan transaksi pencocokan dan mekanisme bukti baru. Namun, mekanisme Proo-phi memerlukan pengaturan parameter kapasitas, yang tampaknya merupakan masalah desain terbuka yang penting.

Seorang Chief Technology Officer dari perusahaan membahas pasar bukti untuk komputasi multi-pihak (MPC), khususnya bagaimana memanfaatkan MPC untuk melindungi privasi antara klien kecil dan pembuktian besar. Dia mengeksplorasi bagaimana memilih kombinasi sistem bukti untuk melakukan operasi linier, untuk meminimalkan biaya dalam MPC.

Bukti Pengetahuan Nol

Rapat juga membahas berbagai upaya untuk membangun bukti nol pengetahuan berdasarkan sistem identitas yang ada:

Seorang co-founder proyek memperkenalkan bukti kepemilikan alamat email zero-knowledge. Bukti ini bergantung pada verifikasi tanda tangan DKIM dari email yang dikirim ke alamat tertentu. Teknologi ini dapat diterapkan dalam skenario seperti pengiriman uang secara anonim ke alamat email, pelaporan anonim, dan lainnya.

Seorang peneliti dari perusahaan tertentu membagikan proyek Keyless mereka, yang memanfaatkan OpenID connect untuk berinteraksi dengan sistem identitas Web2 tradisional. Ini memungkinkan aplikasi seperti pengiriman uang ke akun Google atau Facebook.

Anggota proyek mendiskusikan bagaimana membangun sertifikat anonim berdasarkan paspor elektronik yang ada. Misalnya, pengguna dapat membuktikan bahwa mereka memiliki paspor dari suatu negara dan telah mencapai usia tertentu, tanpa harus mengungkapkan nomor paspor yang spesifik atau usia yang tepat.

Secara keseluruhan, konferensi ini menunjukkan kemajuan terbaru dalam teknologi bukti nol pengetahuan dalam dukungan perangkat keras, desain jaringan, dan otentikasi, menggambarkan cetak biru yang menjanjikan untuk perkembangan masa depan di bidang ini.