Matter Labs sebelumnya mengajukan merek dagang untuk zero-knowledge (ZK) di sembilan negara, yang menyebabkan perselisihan dengan Polyhedra Network terkait penggunaan ZK sebagai simbol ticker. Perselisihan ini berlangsung selama seminggu, dengan Polyhedra Network mengutuk tindakan Matter Labs dan menuduh mereka melakukan intimidasi serta merusak prinsip Web3.
Para pengembang teknologi ZK dalam komunitas kripto percaya bahwa ZK adalah barang publik yang harus diakses oleh semua orang dan tidak boleh menjadi merek dagang perusahaan. Tindakan Matter Labs untuk mengklaim ZK sebagai kekayaan intelektual eksklusif mereka dianggap melanggar etos kripto, Ethereum, dan akademis, serta bertentangan dengan etos mereka sendiri.
Jika Matter Labs melanjutkan aksinya, mereka akan terpisah dari komunitas. Pernyataan publik mengkritik tindakan ini dan menyerukan agar Matter Labs menarik semua permohonan merek dagang dan penggunaan simbol ZK. Tokoh-tokoh penting dari proyek ZK, seperti Shafi Goldwasser dan Silvio Micali, penemu ZK, Sandeep Nailwal dan Brendan Farmer, pendiri Polygon, dan Eli Ben-Sasson, CEO StarkWare, bersama-sama mengeluarkan pernyataan yang menyatakan penolakan kuat terhadap langkah tersebut.
StarkWare, perusahaan pengembang teknologi ZK-proof, menganggap perilaku tersebut “menindas.” Selanjutnya, Layer 2 scaling solution yang didukung oleh ConsenSys, Linea, juga mendukung para pelaku industri dan mengutuk Matter Labs karena mencoba melanggar etos industri kripto dengan merek dagang tersebut.
Pernyataan tersebut menekankan bahwa aksesibilitas terhadap “ZK” harus tetap tersedia bagi semua pihak yang terlibat, sambil menangani kekhawatiran bahwa melanjutkan merek dagang akan mengasingkan Matter Labs dari komunitas yang mereka layani.
Namun, apa sebenarnya yang dilakukan oleh zero-knowledge proofs dan bagaimana ini menjadi begitu populer?
Pada tahun 1985, akademisi Shafi Goldwasser, Silvio Micali, dan Charles Rackoff menerbitkan makalah pertama tentang zero-knowledge proofs. Teknik kriptografi ini memungkinkan seseorang membuktikan bahwa mereka tahu sesuatu tanpa mengungkapkan apa yang mereka tahu. Misalnya, seseorang bisa membuktikan bahwa mereka mengetahui skor kredit mereka tanpa menunjukkan informasi perbankan pribadi.
Manfaat privasi dari zero-knowledge proofs jelas. Kita bisa menjaga kepemilikan data perbankan kita dan memverifikasi skor kredit tanpa mengungkapkan informasi pribadi. Atau kita bisa membuktikan kepada pemberi kerja bahwa kita tahu nomor jaminan sosial kita tanpa menunjukkan angka tersebut.
Namun, zero-knowledge proofs rumit dan membutuhkan banyak sumber daya komputasi untuk diproduksi, sehingga selama bertahun-tahun tetap dalam ranah teori, bukan praktik.
Pada awal 1990-an, peneliti menguraikan kategori bukti yang lebih umum disebut succinct proofs. Bukti kriptografi ini memungkinkan seseorang memverifikasi kebenaran suatu pernyataan tanpa memeriksa setiap pernyataan secara detail. Misalnya, auditor dapat memastikan bahwa seseorang mengajukan laporan pajak dengan benar tanpa melihat data dari laporan tersebut atau memeriksa setiap operasi matematika.
Cara kerja succinct proofs sulit diilustrasikan dengan contoh konkret dibandingkan dengan zero-knowledge proofs. Namun, kebutuhan waktu yang jauh lebih sedikit untuk membuktikan kebenaran inilah yang menarik minat para pengusaha dan investor kripto. Blockchain seperti Ethereum lambat, dan succinct proofs dapat memecahkan masalah ini dengan membuktikan bahwa kode berjalan dengan benar di luar rantai, atau di komputer yang lebih kuat yang bukan blockchain.
Mengapa succinct proofs disebut bersama zero-knowledge proofs?
Upaya untuk mengubah succinct proofs menjadi zero-knowledge proofs umumnya minimal. Oleh karena itu, banyak orang cenderung menyamakan kedua istilah tersebut.
Dari tahun 1990-an hingga 2010, zero-knowledge dan succinct proofs sebagian besar menjadi ranah akademis. Namun, mulai tahun 2010, peneliti menyadari bahwa mereka dapat mengimplementasikannya pada mesin modern. Dengan munculnya komputer yang lebih cepat dan pendanaan untuk penelitian kriptografi, mereka dapat menghasilkan zero-knowledge dan succinct proofs pada mesin nyata.
Munculnya cloud computing juga menambah dorongan untuk implementasi. Laptop atau smartphone lebih lambat dibandingkan dengan kekuatan gabungan server Amazon, tetapi dengan succinct proof, satu desktop dapat membuktikan bahwa sekelompok komputer menjalankan program dengan benar.
Pada tahun 2009, Satoshi Nakamoto yang anonim menciptakan Bitcoin dan blockchain. Dengan peluncuran blockchain, muncul kebutuhan untuk mengurangi beban kerja komputasi. Boneh menyebutkan bahwa blockchain adalah “komputer yang lambat dan mahal untuk dioperasikan”, sehingga harus melakukan sesedikit mungkin pekerjaan.
‘The Ceremony’
“Memberikan kebebasan kepada orang-orang dari kontrol bank sentral atas suplai uang dan dari polisi, otoritarian, dan tetangga yang ingin mengontrol semua orang adalah bagian dari nilai Bitcoin,” kata Zooko Wilcox, CEO Electric Coin Company.
Namun, meskipun Bitcoin awalnya dianggap sebagai buku besar yang aman, penyelidik dan analis akhirnya bisa melacak transaksi kembali ke individu. Pada tahun 2013, akademisi mengajukan proposal “Zerocoin” dan “Pinocchio Coin” untuk membuat transaksi Bitcoin menjadi “sepenuhnya anonim.”
Para penulis Zerocoin akhirnya bekerja sama dengan Wilcox untuk meluncurkan Zcash, implementasi pertama zero-knowledge proofs yang cukup besar sehingga orang di luar akademisi dapat berinteraksi dengan teknik matematika ini setiap hari. Untuk meluncurkan kripto baru ini, diperlukan “The Ceremony,” sebuah acara selama beberapa hari untuk memastikan tidak ada aktor jahat yang menemukan secret cryptographic key.
ZK-rollups
Meskipun “The Ceremony” awalnya sukses, proses ini sangat rumit dan harus diulang setiap kali ingin membuat zero-knowledge proof baru. Peneliti dan pengembang kemudian merancang cara untuk menyederhanakan “The Ceremony,” menurut Riad Wahby dari Carnegie Mellon.
“Sejak tahun 2016, ada upaya untuk menghilangkan fase trusted setup, atau setidaknya membuatnya dapat digunakan kembali untuk setiap perhitungan,” kata Wahby.
Pada tahun 2019, pengembang menemukan cara yang lebih efisien untuk menghasilkan zero-knowledge proofs tanpa memotong desktop Lenovo atau mengorganisir kelompok kriptografer internasional di Denver. Pada saat yang sama, Ethereum, blockchain yang pada dasarnya adalah decentralized computer yang lambat, semakin populer. Pengembang membuat aplikasi yang lebih kompleks dan memerlukan cara untuk meningkatkan kecepatan aplikasi.
Kebanyakan zero-knowledge proofs bersifat “succinct,” yang memungkinkan seseorang membuktikan sesuatu benar tanpa memeriksa setiap pernyataan. Untuk memanfaatkan ini, pengembang mengumpulkan transaksi outside the chain dan membuktikan bahwa mereka melakukannya dengan benar dengan menghasilkan zero-knowledge atau succinct proof. Jaringan blockchain hanya perlu memverifikasi proof ini, yang memakan waktu jauh lebih sedikit dibandingkan memeriksa setiap transaksi.
Banyak solusi zk-rollup muncul di dunia kripto, seperti Aztec, zkSync, dan lainnya, bergabung dengan proyek seperti Zcash yang memanfaatkan kualitas privasi zero-knowledge proofs. Sebagian besar zk-rollup tidak melindungi privasi, menurut Wahby.