Konferensi Zero-Knowledge 2024: Laporan Langsung

Joseph Bonneau mengeluarkan laporan langsung tentang Summit Ke-11 Zero Knowledge (zkSummit) pada tanggal 13 April 2024. Summit ini diadakan pada tanggal 10 April di Athena, dengan sekitar 500 peserta yang hadir. Konferensi ini juga menyelenggarakan empat presentasi yang mencakup kemajuan terbaru dalam perangkat keras zero knowledge, kinerja SNARK, dan desain jaringan bukti.

Perangkat Keras Zero-Knowledge

Dukungan perangkat keras untuk generasi bukti selalu menjadi fokus perhatian industri. Dua presentasi di panggung utama menguraikan perkembangan terbaru di bidang ini.

Seorang peneliti memberikan gambaran komprehensif tentang perangkat keras zero-knowledge, termasuk penggunaan perangkat keras umum, pembuatan perangkat keras kustom, dan perusahaan yang menjalankan jaringan pembuktian terdesentralisasi. Dia memprediksi bahwa sistem zkVM yang dioptimalkan mungkin mencapai peningkatan efisiensi komputasi hingga 1000 kali lipat, yang akan memiliki dampak signifikan pada versi masa depan Ethereum. Dia juga menyebutkan akan diadakan kompetisi formal untuk pembuktian dan validator, dengan hadiah mencapai 20 juta dolar.

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

Jaringan Pembuktian Terdesentralisasi

Para ahli di industri umumnya percaya bahwa di masa depan, generasi pembuktian untuk pernyataan besar ( akan diselesaikan oleh pasar pembuktian profesional yang terdesentralisasi dan kompetitif, yang akan memastikan keakuratan sekelompok transaksi dalam Rollup ).

Seorang co-founder perusahaan mendiskusikan berbagai desain mekanisme potensial untuk jaringan pembuktian terdesentralisasi. Dia percaya bahwa tujuan desain harus berturut-turut: meminimalkan biaya, memaksimalkan keterlambatan, dan ketahanan terhadap sensor. Dia memprediksi bahwa model lelang kemungkinan besar akan berhasil, yang pada akhirnya mungkin mirip dengan model pembangunan blok saat ini. Dia mengungkapkan bahwa perusahaannya sedang membangun jaringan lelang umum yang mendukung bukti dari beberapa zkVM.

Seorang mahasiswa PhD dari sebuah universitas memperkenalkan sebuah makalah baru tentang ekonomi jaringan pembuktian. Dia menyebutkan bahwa lelang dua sisi rentan terhadap pengaruh kolusi, sehingga dia mengusulkan mekanisme alternatif yang disebut Proo-phi, yang memperkenalkan transaksi pencocokan baru dan mekanisme pembuktian.

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

Bukti Pengetahuan Nol

Tiga diskusi berfokus pada upaya membangun bukti nol pengetahuan dari sistem identitas yang ada, di mana setiap skema didasarkan pada sistem identitas yang berbeda.

Seorang co-founder proyek memperkenalkan bukti kepemilikan alamat email tanpa pengetahuan. Bukti ini bergantung pada verifikasi tanda tangan DKIM untuk email yang dikirim ke alamat tertentu. Banyak aplikasi dapat menggunakan bukti tanpa pengetahuan untuk membuktikan apakah pengguna mengontrol alamat email, termasuk pengiriman uang ke alamat email dan pelaporan anonim, dan sebagainya.

Seorang ilmuwan riset dari perusahaan tertentu mendiskusikan sistem yang menggunakan OpenID Connect untuk berinteraksi dengan identitas web2 tradisional. Sistem ini berinteraksi dengan penyedia OpenID yang ada, membuktikan bahwa pengguna mengendalikan alamat tertentu, sehingga memungkinkan aplikasi seperti pengiriman uang ke akun Google atau Facebook.

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