CESC '22: Catatan Lapangan dari Lokakarya ZKP

Catatan lapangan adalah seri di mana kami melaporkan di lapangan di industri yang signifikan, penelitian, dan acara lainnya. Dalam edisi ini, Valeria Nikolaenko, Mitra Penelitian dengan lab crypto a16z, melaporkan tentang Lokakarya Bukti Pengetahuan Nol dari Konferensi Keamanan Ekonomi Crypto (CESC), yang berlangsung pada 30 Oktober di University of California di Berkeley. Itu program bertujuan untuk menyatukan para peneliti dan praktisi untuk memamerkan dan mendiskusikan perkembangan terbaru di blockchain dan web3. Anda dapat menonton rekaman presentasi di sini.

• Lagu Fajar (UC Berkeley) mengumumkan MOOC baru untuk Musim Semi 2023 pada bukti tanpa pengetahuan, yang dijadwalkan untuk dimulai pada 17 Januari 2023, dan mengingatkan MOOC yang sudah berjalan di Musim Gugur 2022:

• Zhang Yupeng (Texas A&M University) mempresentasikan tutorial tentang perkembangan terbaru dari sistem ZKP, ikhtisar luar biasa dari berbagai pendekatan untuk membangun sistem zk proof, memetakannya di 4 sumbu: kekompakan poof, efisiensi proofer dan verifier, dan penyiapan transparan vs. tepercaya.

• Dan Boneh (Universitas Stanford) disajikan gambaran abstraksi TIO pada umumnya dan polinomial Plonk-IOP pada khususnya.

Dan juga menjelaskan sistem baru yang disebut HiperPlonk, yang dapat menghilangkan FFT yang mahal di pihak peribahasa dan menangani gerbang tingkat tinggi dengan jauh lebih efisien, mengurangi waktu dan ukuran pembuktian. Parameter yang menarik untuk diingat adalah bahwa FFT mendominasi waktu peribahasa ketika jumlah gerbang di atas 2²⁰.

• Tiancheng Xie (UC Berkeley) disajikan di zkBridge (baca makalah di sini), menyoroti pentingnya desain yang lebih baik untuk jembatan mengingat banyak peretasan baru-baru ini (Eksploitasi Jembatan Ronin, Peretasan lubang cacing, Drainase jembatan pengembara, dan seterusnya). zkBridge meminimalkan kepercayaan dan meningkatkan kinerja dengan sistem bukti tanpa pengetahuan deVirgo.
• Lagu Fajar (UC Berkeley) mengumumkan zkCollective – fondasi untuk interoperabilitas lintas-rantai yang aman. Formulir untuk berpartisipasi dalam upaya dapat diisi di sini.

• Leo Penggemar (Cysic) menyoroti hasil mereka untuk mempercepat multi-scalar multiplication (MSM) pada FPGA untuk zk-prover, di mana MSM sering menyumbang lebih dari 50% dari waktuprover. Mereka diperkirakan lebih cepat daripada upaya yang sebanding (PipaMSM dan TopanMSM). Tujuan utama mereka adalah membangun ASIC.
• Marek Olszewski (Semangat) memberikan demo hebat tentang menjalankan klien ringan Celo, Plumo, yang telah 2 tahun dalam pengembangan dan diluncurkan tahun ini. Klien dikembangkan sebagai sirkuit besar dengan 2²⁷ gerbang, dan didukung oleh optimis kekuatan-dari-tau upacara yang dapat berguna untuk proyek lain. Anggota komunitas menghasilkan bukti SNARK setiap hari (setelah setiap perubahan zaman), pembuktian membutuhkan waktu ~1 jam pada mesin 256-inti. Pustaka WASM mereka memungkinkan verifikasi bukti dari aplikasi web.
• Howard Wu (ale) mempresentasikan ide di balik desain Aleo, yang membangun blockchain untuk transaksi pribadi yang memungkinkan pembaruan status secara bersamaan dan efisien.
• Jeremy Bruestle (risiko0) menjelaskan alasan desain di balik pembuatan zkVM untuk set instruksi RISC-V yang diimplementasikan dengan zkSTARK. RISC-V memiliki set instruksi yang sangat kecil (<40), didukung dengan baik oleh kompiler yang berbeda, sepenuhnya terbuka. Dan, yang paling penting, ini dirancang untuk implementasi perangkat keras yang efisien, yang menyiratkan desain sirkuit yang efisien untuk bukti zk.
• Uma Roy (Lab Singkat) memberikan gambaran tentang cara untuk secara ringkas memverifikasi konsensus Ethereum dengan zkSNARKs dengan waktu pembuktian hanya 1 menit.

***

Valeria Nikolaenko adalah Mitra Riset di a16z crypto. Penelitiannya berfokus pada kriptografi dan keamanan blockchain. Dia juga telah mengerjakan topik-topik seperti serangan jarak jauh dalam protokol konsensus PoS, skema tanda tangan, keamanan pasca-kuantum, dan komputasi multi-partai. Dia memegang gelar PhD dalam Kriptografi dari Universitas Stanford di bawah bimbingan Profesor Dan Boneh, dan bekerja di blockchain Diem sebagai bagian dari tim peneliti inti.

***

Pandangan yang diungkapkan di sini adalah pandangan individu AH Capital Management, LLC (“a16z”) yang dikutip dan bukan pandangan a16z atau afiliasinya. Informasi tertentu yang terkandung di sini telah diperoleh dari sumber pihak ketiga, termasuk dari perusahaan portofolio dana yang dikelola oleh a16z. Meskipun diambil dari sumber yang dipercaya dapat dipercaya, a16z belum memverifikasi informasi tersebut secara independen dan tidak membuat pernyataan tentang keakuratan informasi yang bertahan lama atau kesesuaiannya untuk situasi tertentu. Selain itu, konten ini mungkin termasuk iklan pihak ketiga; a16z belum meninjau iklan tersebut dan tidak mendukung konten iklan apa pun yang terkandung di dalamnya.

Konten ini disediakan untuk tujuan informasi saja, dan tidak boleh diandalkan sebagai nasihat hukum, bisnis, investasi, atau pajak. Anda harus berkonsultasi dengan penasihat Anda sendiri mengenai hal-hal itu. Referensi ke sekuritas atau aset digital apa pun hanya untuk tujuan ilustrasi, dan bukan merupakan rekomendasi investasi atau penawaran untuk menyediakan layanan konsultasi investasi. Selanjutnya, konten ini tidak ditujukan atau dimaksudkan untuk digunakan oleh investor atau calon investor mana pun, dan dalam keadaan apa pun tidak dapat diandalkan saat membuat keputusan untuk berinvestasi dalam dana yang dikelola oleh a16z. (Penawaran untuk berinvestasi dalam dana a16z hanya akan dilakukan dengan memorandum penempatan pribadi, perjanjian berlangganan, dan dokumentasi lain yang relevan dari dana tersebut dan harus dibaca secara keseluruhan.) Setiap investasi atau perusahaan portofolio yang disebutkan, dirujuk, atau dijelaskan tidak mewakili semua investasi dalam kendaraan yang dikelola oleh a16z, dan tidak ada jaminan bahwa investasi tersebut akan menguntungkan atau bahwa investasi lain yang dilakukan di masa depan akan memiliki karakteristik atau hasil yang serupa. Daftar investasi yang dilakukan oleh dana yang dikelola oleh Andreessen Horowitz (tidak termasuk investasi yang penerbitnya tidak memberikan izin kepada a16z untuk mengungkapkan secara publik serta investasi yang tidak diumumkan dalam aset digital yang diperdagangkan secara publik) tersedia di https://a16z.com/investments /.

Bagan dan grafik yang disediakan di dalamnya hanya untuk tujuan informasi dan tidak boleh diandalkan saat membuat keputusan investasi apa pun. Kinerja masa lalu tidak menunjukkan hasil di masa depan. Konten berbicara hanya pada tanggal yang ditunjukkan. Setiap proyeksi, perkiraan, prakiraan, target, prospek, dan/atau pendapat yang diungkapkan dalam materi ini dapat berubah tanpa pemberitahuan dan mungkin berbeda atau bertentangan dengan pendapat yang diungkapkan oleh orang lain. Silakan lihat https://a16z.com/disclosures untuk informasi penting tambahan.