Konferensi Zero-Knowledge 2024: Laporan Langsung

Pada tanggal 10 April 2024, Konferensi Zero-Knowledge ke-11 diadakan di Athena. Konferensi ini mengumpulkan sekitar 500 peserta, dengan empat presentasi paralel yang berlangsung dalam satu hari. Berikut adalah ringkasan poin-poin penting dari konferensi, mencakup kemajuan terbaru dalam perangkat keras zero-knowledge, kinerja SNARK, dan desain jaringan bukti terdesentralisasi.

Perkembangan Perangkat Keras Zero-Knowledge

Dukungan perangkat keras telah menjadi tujuan penting di bidang bukti tanpa pengetahuan. Dua presentasi di panggung utama menguraikan keadaan perkembangan saat 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 menjalankan jaringan bukti terdesentralisasi. Dia memprediksi bahwa kombinasi sistem verifikasi SNARK yang dioptimalkan perangkat keras dan optimasi lainnya yang akan datang dapat mencapai peningkatan efisiensi komputasi hingga 1000 kali lipat, yang akan memiliki dampak signifikan pada perkembangan Ethereum di masa depan. Dia juga menyebutkan bahwa sebuah yayasan akan mengumumkan kompetisi untuk verifikasi resmi bagi para pembuktian dan verifikator, dengan hadiah mencapai 20 juta dolar.

Seorang co-founder dari perusahaan tersebut memperkenalkan konsep desain sistem bukti dan perangkat keras secara bersamaan. Sistem mereka menggunakan tower biner dan protokol sumcheck. Pengujian awal menunjukkan bahwa dalam beberapa aplikasi, fungsi hash Groestl secara signifikan mengungguli Keccak.

Jaringan Pembuktian Terdesentralisasi

Para ahli di industri umumnya membayangkan bahwa di masa depan, generasi bukti untuk pernyataan berskala besar (seperti keabsahan serangkaian transaksi dalam Rollup) akan dilakukan oleh pasar pembuktian profesional yang terdesentralisasi dan sangat kompetitif.

Seorang co-founder perusahaan mendiskusikan berbagai desain mekanisme potensial untuk jaringan pembuktian terdesentralisasi. Dia percaya bahwa tujuan desain harus secara berurutan: meminimalkan biaya, memaksimalkan keterlambatan, dan menjamin ketahanan terhadap sensor. Dia memprediksi bahwa model lelang kemungkinan besar akan menang, dan akhirnya mungkin mirip dengan proses pembangunan blok saat ini.

Seorang mahasiswa doktoral dari universitas tertentu memperkenalkan sebuah makalah baru tentang ekonomi jaringan pembuktian. Dia menyebutkan bahwa lelang dua sisi rentan terhadap kolusi antara pembuktian dan penawar, sehingga mengusulkan sebuah mekanisme alternatif bernama Proo-phi, yang memperkenalkan perdagangan pencocokan baru dan mekanisme pembuktian.

Seorang Chief Technology Officer dari sebuah perusahaan membahas pasar bukti yang mendukung komputasi multi-pihak (MPC), terutama bagaimana memanfaatkan MPC untuk menjaga privasi antara klien kecil dan penyedia bukti besar. Dia menjelajahi cara memilih kombinasi sistem bukti untuk melakukan operasi linier, untuk meminimalkan biaya dalam MPC.

Bukti Tanpa Pengetahuan

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

1. Bukti kepemilikan alamat tanpa pengetahuan berbasis email, bergantung pada verifikasi tanda tangan DKIM.

2. Menggunakan OpenID connect untuk berinteraksi dengan identitas web2 tradisional, untuk aplikasi seperti mentransfer uang ke akun Google atau Facebook.

3. Membangun sertifikat anonim dari paspor elektronik yang ada, misalnya untuk membuktikan kepemilikan paspor negara tertentu dan rentang usia, tanpa mengungkapkan informasi pribadi yang spesifik.

Inovasi ini memberikan kemungkinan baru untuk verifikasi identitas dan perlindungan privasi, diharapkan dapat diterapkan secara luas di berbagai bidang.