Konferensi Zero-Knowledge 2024: Observasi Lapangan

Pada 10 April 2024, Konferensi Ke-11 tentang Zero-Knowledge diadakan di Athena. Sekitar 500 peserta menghadiri acara satu hari tersebut, yang mencakup empat sesi pidato paralel. Artikel ini merangkum kemajuan penting yang dibahas di konferensi terkait perangkat keras zero-knowledge terbaru, kinerja SNARK, dan desain jaringan bukti terdesentralisasi.

Perkembangan Perangkat Keras Zero-Knowledge

Dukungan perangkat keras telah menjadi tujuan penting bagi komunitas bukti nol pengetahuan. Dua presentasi di panggung utama menguraikan kemajuan terbaru di bidang ini:

Seorang peneliti telah melakukan tinjauan menyeluruh terhadap perangkat keras zero-knowledge, membagi perusahaan terkait menjadi tiga kategori: menggunakan perangkat keras umum, memproduksi perangkat keras khusus, dan mengoperasikan jaringan bukti terdesentralisasi. Ia memprediksi bahwa "bentuk akhir" zkVM dapat mencapai peningkatan efisiensi komputasi hingga 1000 kali, yang akan berdampak signifikan pada versi masa depan Ethereum. Ia juga menyebutkan bahwa akan segera diumumkan sebuah kompetisi untuk validasi formal bagi para pembuktian dan verifikator, dengan hadiah mencapai 20 juta dolar.

Seorang co-founder perusahaan memperkenalkan sistem Binius, yang dirancang untuk sistem bukti dan perangkat keras. Binius menggunakan binary tower field dan protokol sumcheck. Pengujian awal menunjukkan bahwa dalam beberapa aplikasi, kinerja fungsi hash Groestl secara signifikan lebih baik dibandingkan Keccak.

Jaringan Pembuktian Terdesentralisasi

Para ahli di industri umumnya percaya bahwa di masa depan, pembuktian besar-besaran (seperti verifikasi kebenaran sekelompok transaksi dalam Rollup) akan dilakukan oleh pasar pembuktian profesional terdesentralisasi yang sangat kompetitif.

Seorang co-founder perusahaan mendiskusikan jaringan pembuktian yang akan mereka luncurkan. Dia menganalisis berbagai desain mekanisme dan berpendapat bahwa pola berbasis kompetisi atau penambangan mungkin tidak efektif. Dia mengusulkan agar tujuan desain seharusnya secara berurutan: meminimalkan biaya, memaksimalkan latensi, dan ketahanan terhadap sensor. Dia memprediksi bahwa pola lelang paling mungkin berhasil dan akhirnya mungkin mirip dengan proses pembangunan blok saat ini.

Seorang mahasiswa doktoral di sebuah universitas memperkenalkan sebuah makalah baru tentang ekonomi jaringan pembuktian. Dia menunjukkan bahwa lelang bilateral rentan terhadap pengaruh kolusi, sehingga mengusulkan mekanisme alternatif bernama Proo-phi yang memperkenalkan perdagangan pencocokan baru dan mekanisme pembuktian.

Seorang CTO dari perusahaan membahas pasar bukti untuk komputasi multi-pihak (MPC), khususnya tentang bagaimana memanfaatkan MPC untuk menjaga privasi antara pelanggan kecil dan pembuktian besar. Dia mengeksplorasi bagaimana memilih kombinasi sistem bukti untuk mengoptimalkan biaya operasi linier dalam MPC.

Bukti Zero-Knowledge

Tiga diskusi berfokus pada upaya membangun bukti nol pengetahuan berdasarkan sistem identitas yang ada:

Seorang co-founder perusahaan memperkenalkan bukti kepemilikan alamat email zero-knowledge. Bukti ini bergantung pada tanda tangan DKIM dari email yang dikirim ke alamat tertentu, yang dapat digunakan untuk aplikasi seperti pengiriman uang secara anonim dan pelaporan.

Seorang peneliti di laboratorium membahas sistem interaksi identitas tradisional Web2 dengan OpenID Connect. Sistem ini dapat digunakan untuk aplikasi seperti mengirim uang ke akun Google atau Facebook.

Seorang perwakilan proyek membahas bagaimana membangun sertifikat anonim berdasarkan paspor elektronik yang ada. Misalnya, pengguna dapat membuktikan bahwa mereka memiliki paspor AS dan berusia di atas 25 tahun, tanpa mengungkapkan nomor paspor atau usia yang tepat.