A16z Crypto memperbarui Jolt zkVM, menantang penggunaan label ‘ZK’ yang sembarangan

A16z Crypto, divisi web3 dari perusahaan modal ventura besar Andreessen Horowitz, menyoroti penggunaan istilah biasa “ZK” dalam beberapa pengaturan developer pada posting blog terbaru tentang Jolt zkVM miliknya. 

“Sebagian besar zkVM sebenarnya bukanlah zero knowledge — kecuali jika diterapkan prosedur ‘wrapping’ yang mahal,” tulis blog tersebut. “Prosedur wrapping ini biasanya melibatkan pembuktian secara rekursif dari verifikasi bukti zkVM di dalam sistem pembuktian lain yang

Para penulis juga mencatat bahwa sering kali “zk” telah menjadi semacam singkatan untuk “properti dari succinctness,” yang berarti pembuktian yang “pendek dan cepat untuk diverifikasi,” alih-alih privasi zero-knowledge yang sesungguhnya. 

“Seiring dengan semakin besarnya fokus komunitas pada privasi — yang membutuhkan zero knowledge sejati, yaitu tentang privasi data sensitif prover — penyalahgunaan istilah ini menjadi masalah nyata,” tambah a16z. 

Apa itu ZK proofs?

ZK proofs adalah teknik kriptografi yang memungkinkan satu pihak (prover) meyakinkan pihak lain (verifier) bahwa suatu pernyataan benar tanpa mengungkapkan informasi mendasar apa pun selain fakta bahwa pernyataan tersebut benar.

Pertama kali dikembangkan di dunia akademik, penerapan komersial skala besar pertama dari ZK proofs dapat dikatakan terjadi di industri kripto, khususnya dengan peluncuran Zcash, yang menerapkan jenis pembuktian singkat yang disebut zk-SNARKs untuk menyediakan privasi onchain dengan melindungi data transaksi.  

Namun, kriptografi zero-knowledge sejak itu telah diterapkan pada beberapa use case blockchain baru, terutama sebagai solusi penyesuaian skala untuk blockchain Ethereum Layer 2 dan berbagai zk-Rollups. 

Privasi itu sendiri telah muncul kembali sebagai perhatian penting di kalangan developer dan investor kripto, yang berargumen bahwa sifat transparan mayoritas blockchain saat ini akan membatasi adopsi, khususnya di kalangan institusi.

CEO Digital Currency Group, Barry Silbert, misalnya, baru-baru ini mengatakan ia mengharapkan arus keuangan yang signifikan ke dalam privacy chains. 

Solusi Jolt

Untuk bagiannya, Jolt zkVM open-source dari a16z meluncurkan upgrade baru yang signifikan untuk mendukung zero-knowledge proofs secara native pada hari Selasa.

Apa yang disebut Zero-Knowledge Virtual Machines digunakan untuk menjalankan program dan menghasilkan bukti bahwa suatu fungsi kode telah dijalankan tanpa mengungkapkan inputnya.

Seperti aplikasi yang disorot oleh blog, Jolt awalnya menggunakan ZK proofs untuk succinctness alih-alih privasi penuh, masalah yang diperbaiki developer dengan beralih ke skema folding yang “berasal dari tahun 1990-an.”

Secara khusus, Jolt menggunakan skema folding NovaBlindFold untuk menciptakan bukti yang disamarkan sehingga mencegah kebocoran informasi, “membuatnya cocok untuk aplikasi privasi.”

“Hasil akhirnya adalah ZK proof yang hanya sekitar 3 KB lebih besar dari bukti Jolt non-ZK asli,” catat blog tersebut.