Konferensi Zero Knowledge 2024: Pengamatan Lapangan

Pada tanggal 10 April 2024, Summit Zero Knowledge ke-11 diadakan di Athena. Sekitar 500 peserta menghadiri acara satu hari tersebut, yang juga mencakup empat presentasi. Berikut adalah ringkasan poin-poin penting dari summit, mencakup kemajuan terbaru dalam perangkat keras zero knowledge, kinerja SNARK, dan desain jaringan bukti terdesentralisasi.

Perangkat Keras Zero-Knowledge

Dukungan perangkat keras telah menjadi tujuan penting di bidang bukti nol pengetahuan. Dua presentasi di panggung utama merangkum perkembangan terbaru di bidang ini:

Seorang peneliti memberikan gambaran menyeluruh tentang perangkat keras zero-knowledge, termasuk perusahaan yang menggunakan perangkat keras umum, perusahaan yang memproduksi perangkat keras kustom, serta perusahaan yang mengoperasikan jaringan bukti terdesentralisasi. Ia memprediksi bahwa dengan teknologi seperti sistem verifikasi SNARK yang dioptimalkan perangkat keras, zkVM dapat mencapai peningkatan efisiensi komputasi hingga 1000 kali, yang dapat memiliki dampak signifikan pada versi mendatang Ethereum. Ia juga menyebutkan bahwa sebagian besar bukti mungkin akan menggunakan pengemasan Groth16.

Seorang ahli lain membahas konsep merancang sistem bukti dan perangkat keras secara bersamaan. Sistem mereka menggunakan tower biner dan protokol sumcheck. Pengujian awal menunjukkan bahwa dalam beberapa aplikasi, kinerja fungsi hash Groestl jelas lebih baik daripada Keccak.

Jaringan Pembuktian Terdesentralisasi

Para pelaku industri membayangkan bahwa di masa depan, pembuktian skala besar (seperti verifikasi kebenaran transaksi dalam Rollup) akan dilakukan oleh pasar pembuktian profesional terdesentralisasi yang sangat kompetitif.

Seorang co-founder dari suatu perusahaan memperkenalkan jaringan pembuktian yang akan segera diluncurkan. Dia membahas berbagai desain mekanisme potensial, berpendapat bahwa desain berbasis kompetisi atau penambangan mungkin tidak akan efektif. Dia mencatat bahwa tujuan desain seharusnya secara berurutan adalah: meminimalkan biaya, memaksimalkan keterlambatan, dan ketahanan terhadap sensor. Dia memprediksi bahwa model penerbitan/staking mungkin efektif, tetapi model lelang kemungkinan besar akan berhasil, yang pada akhirnya bisa mirip dengan pembangunan blok saat ini.

Seorang mahasiswa doktoral memperkenalkan makalah baru tentang ekonomi jaringan pembuktian. Dia menyebutkan bahwa lelang dua sisi rentan terhadap kolusi antara pembukti dan penawar, sehingga mereka mengusulkan mekanisme alternatif bernama Proo-phi yang memperkenalkan transaksi dan mekanisme pembuktian baru.

Seorang ahli lainnya membahas pasar bukti yang mendukung komputasi multipihak (MPC), khususnya bagaimana memanfaatkan MPC untuk menjaga privasi antara klien kecil dan pembuktian besar. Dia mengeksplorasi bagaimana memilih kombinasi sistem bukti untuk melakukan operasi linier, guna meminimalkan biaya dalam MPC.

Bukti Tanpa Pengetahuan

Rapat juga membahas upaya untuk membangun bukti nol-pengetahuan dari sistem identitas yang ada:

• Sebuah proyek yang berfokus pada pengembangan bukti kepemilikan alamat email tanpa pengetahuan, yang bergantung pada bukti pengetahuan tentang tanda tangan DKIM.
• Proyek lain menggunakan OpenID connect untuk berinteraksi dengan identitas web2 tradisional, memungkinkan aplikasi seperti mengirim uang ke akun Google atau Facebook.
• Proyek ketiga membahas bagaimana membangun sertifikat anonim dari paspor elektronik yang ada, seperti membuktikan kepemilikan paspor negara tertentu dan usia, tanpa mengungkapkan informasi spesifik.

Kemajuan ini menunjukkan potensi besar teknologi bukti nol pengetahuan dalam verifikasi identitas dan perlindungan privasi, membuka kemungkinan baru untuk aplikasi di masa depan.