Zero Knowledge Summit 2024: Catatan langsung

Pada 10 April 2024, Konferensi Zero Knowledge ke-11 diadakan di Athena. Sekitar 500 peserta berpartisipasi dalam acara sehari ini, yang juga mencakup empat presentasi. Berikut adalah ringkasan poin-poin penting dari acara, mencakup kemajuan terbaru dalam perangkat keras zero knowledge, kinerja SNARK, dan desain jaringan bukti.

Perkembangan Perangkat Keras ZK

Dukungan perangkat keras untuk bukti nol-pengetahuan selalu menjadi fokus perhatian industri. Di konferensi kali ini, beberapa ahli membagikan kemajuan terbaru di bidang ini:

Seorang peneliti dari sebuah yayasan memberikan gambaran menyeluruh tentang perangkat keras ZK, membagi perusahaan terkait ke dalam tiga kategori: perusahaan yang menggunakan perangkat keras umum, perusahaan yang memproduksi perangkat keras kustom, dan perusahaan yang menjalankan jaringan bukti terdesentralisasi. Ia memperkirakan bahwa teknologi seperti sistem verifikasi SNARK yang dioptimalkan untuk perangkat keras dapat mencapai peningkatan efisiensi komputasi hingga 1000 kali, yang akan berdampak besar pada pengembangan masa depan Ethereum. Ia juga menyebutkan bahwa sebagian besar bukti akan menggunakan kemasan Groth16, dan perangkat keras terutama akan berfokus pada bukti non-ZK yang ringkas.

Seorang co-founder perusahaan memperkenalkan sistem verifikasi yang mereka kembangkan, yang sekaligus mengoptimalkan sistem bukti dan desain perangkat keras. Pengujian awal menunjukkan bahwa dalam beberapa aplikasi, kinerja fungsi hash Groestl jauh lebih baik dibandingkan Keccak.

Jaringan Pembuktian Terdesentralisasi

Sejumlah ahli membahas arah perkembangan jaringan pembuktian terdesentralisasi di masa depan:

Seorang co-founder perusahaan memperkenalkan jaringan pembuktian yang akan mereka luncurkan. Dia menganalisis berbagai mekanisme desain jaringan dan berpendapat bahwa desain yang berbasis pada kompetisi atau penambangan mungkin tidak akan efektif. Dia mengusulkan bahwa tujuan desain harus secara berurutan: meminimalkan biaya, memaksimalkan keterlambatan, dan meningkatkan ketahanan terhadap sensor. Dia meramalkan bahwa model lelang kemungkinan besar akan sukses, dan akhirnya mungkin mirip dengan model pembuatan blok saat ini.

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

Seorang Chief Technology Officer dari suatu perusahaan membahas pasar bukti untuk komputasi multi pihak, khususnya bagaimana untuk mewujudkan interaksi tanpa kepercayaan antara klien kecil dan penyedia bukti besar sambil melindungi privasi.

Aplikasi ZK Sertifikat

Pertemuan juga membahas berbagai skema untuk membangun bukti nol-pengetahuan berdasarkan sistem identitas yang ada:

Seorang co-founder proyek memperkenalkan bukti kepemilikan tanpa pengetahuan berbasis email. Metode ini memanfaatkan tanda tangan DKIM untuk memverifikasi apakah pengguna mengendalikan alamat email tertentu, dan dapat diterapkan dalam skenario seperti pengiriman uang anonim dan pelaporan.

Seorang ilmuwan penelitian dari perusahaan tertentu berbagi solusi yang memanfaatkan OpenID Connect untuk berinteraksi dengan identitas web2 tradisional, sehingga memungkinkan aplikasi seperti mengirim uang ke akun Google atau Facebook.

Perwakilan proyek membahas bagaimana membangun sertifikat anonim berdasarkan paspor elektronik yang ada, seperti membuktikan kepemilikan paspor negara tertentu dan berusia di atas usia tertentu, tanpa mengungkapkan informasi pribadi yang spesifik.

Solusi inovatif ini menunjukkan prospek aplikasi luas teknologi bukti nol pengetahuan dalam verifikasi identitas dan perlindungan privasi.