Sekilas tentang alat pembuktian tanpa pengetahuan berbasis SNARK baru Lasso dan Jolt yang diluncurkan oleh a16z

Editor: Felix, PANews

a16z Crypto meluncurkan dua teknologi terkait SNARK: Lasso dan Jolt. Diantaranya, Lasso adalah parameter pencarian baru yang dapat meningkatkan biaya pembukti secara signifikan; Jolt (Just One Lookup Table) adalah kerangka kerja yang dirancang untuk Rollups yang kompatibel dengan Mesin Virtual Ethereum, cara baru untuk membangun VM SNARK menggunakan metode Lasso. Lasso dan Jolt dapat secara signifikan mempercepat penskalaan dan membangun aplikasi di Web3, dan bersama-sama mereka mewakili pendekatan baru untuk desain SNARK yang dapat meningkatkan kinerja rantai alat yang digunakan secara luas dengan urutan besarnya atau lebih. Ini juga memberikan pengalaman pengembang yang lebih baik, lebih nyaman, dan membuat audit lebih mudah. Lasso dan Jolt membahas tiga masalah utama: kinerja, pengalaman pengembang, dan kemampuan audit.

Performa Lebih Cepat

Lasso adalah parameter pencarian baru di mana pembukti menjanjikan nilai yang lebih sedikit dan lebih kecil dari pekerjaan sebelumnya. Tim peneliti crypto a16z mengatakan bahwa Lasso dapat secara signifikan meningkatkan kecepatan keseluruhan pembukti SNARK, dibandingkan dengan alat seperti toolchain Halo2, kinerjanya dapat ditingkatkan sepuluh kali lipat, sehingga membantu mengembangkan ZK-rollup lebih cepat. Diharapkan kinerja akan meningkat sekitar 40 kali lipat setelah pengoptimalan selesai. Oleh karena itu, tim percaya bahwa teknologi pembuktian Lasso akan mengungguli semua teknologi pembuktian tanpa pengetahuan SNARK yang ada yang digunakan oleh solusi penskalaan Ethereum L2 utama.

Jolt mengimplementasikan “singularitas pencarian” - sebuah visi yang awalnya diusulkan oleh Barry Whitehat dari Ethereum Foundation untuk mengaktifkan alat yang lebih sederhana dan sirkuit ringan yang berpusat pada pencarian. Tim mengharapkan Jolt untuk mencapai kinerja yang serupa atau lebih baik dibandingkan dengan zkVM yang ada dan, yang terpenting, untuk memberikan pengalaman pengembang yang lebih ramping dan mudah diakses.

Pengalaman pengembang yang lebih nyaman

Lasso menyediakan jalur yang lebih ramah pengembang dan dapat diaudit untuk mengimplementasikan zkVM daripada pendekatan yang ada.

Pendekatan sebelumnya terhadap desain SNARK merumuskan instruksi CPU sebagai sirkuit dan mengoptimalkannya secara manual—tugas tingkat rendah dan rawan kesalahan yang memerlukan keahlian bahasa khusus domain. Sebaliknya, pengembang ekosistem bahasa yang berbeda harus dapat menggunakan Lasso dengan relatif mudah.

Ini karena di Lasso instruksi ditentukan oleh dekomposisi subtabelnya: tabel pencarian “besar” -nya dapat terdiri dari sejumlah “subtabel” yang lebih kecil. Lebih penting lagi, dekomposisi tersebut dapat dijelaskan secara ringkas dalam bahasa pemrograman tingkat tinggi. Misalnya, sebuah instruksi dapat diimplementasikan hanya dalam 50 baris Rust. Selain itu, banyak instruksi dalam rangkaian instruksi yang berbeda secara konseptual sama, dan sejumlah besar kode boleh diulang—misalnya, WASM, EVM, dan RISC-V semuanya menentukan operasi aritmatika, bitwise, dan perbandingan dasar yang sama.

Lebih mudah ditinjau

Cara Lasso menyederhanakan pengalaman pengembang juga membuatnya lebih mudah untuk diaudit daripada metode sebelumnya. Auditabilitas zkVM sangat berharga karena banyak SNARK telah mendapatkan nilai yang sangat besar pada blockchain saat ini. Karena Lasso mengimplementasikan logika instruksi di Rust dan mendorong duplikasi kode di seluruh set instruksi, itu memusatkan area yang akan diaudit menjadi basis kode yang relatif kecil dan dapat dibaca.

Saat ini, selain pekerjaan yang diperlukan untuk mengimplementasikan Jolt secara penuh, ada banyak tugas yang sedang dikerjakan atau menunggu untuk diselesaikan oleh pengembang lain, antara lain:

• Terapkan/integrasikan berbagai skema komitmen polinomial, seperti Varian Multilinear KZG (PST, Zeromorph, dll.), Dory, Ligero, Brakedown, dan Sona
• Sadari optimalisasi parameter produk yang dijelaskan di Bagian 6 makalah Quark
• Pembandingan dan penanganan kesalahan yang lebih luas
• Manfaatkan rekursi SNARK untuk mencapai verifikasi bukti on-chain yang efisien

Referensi: Blok, a16z Crypto

Bacaan terkait: Zero Knowledge Proof | Apa itu ZK-STARK dan apa keunggulan teknisnya?