Apa Itu Zero-Knowledge Proof dan Apa Saja Kegunaannya dalam Kripto?

Apakah kamu pernah mengirimkan catatan keuangan atau kesehatan yang mungkin berisi informasi privat yang memalukan, hanya untuk membuktikan bahwa kamu mampu membayar pinjaman atau tidak ada masalah besar dengan tubuhmu? Bagaimana jika kamu bisa menunjukkan kepada mereka bahwa aliran penghasilan kamu stabil dan cukup, atau kamu dalam keadaan sehat tanpa harus mengungkapkan bahwa kamu baru saja membeli Nutella seharga $100, atau lutut kamu memar karena jatuh dari sepeda? Ini adalah contoh utama - juga potensi kegunaan - dari Zero-Knowledge Proof.

Apa itu Zero-Knowledge Proof (ZKP)?

Kamu mungkin sudah menebak dari contoh kami, Zero-Knowledge Proof (ZKP) adalah metode atau proses untuk membuktikan kebenaran suatu pernyataan tanpa mengungkapkan pernyataan tersebut.

Misalkan kamu baru saja menyelesaikan Wordle hari ini (Ya, orang-orang masih memainkannya) sebelum teman-temanmu. Alih-alih memberitahu mereka apa kata yang dimaksud, yang perlu kamu lakukan hanyalah membagikan gambar hasil Wordle kamu dengan lima kotak hijau berturut-turut. Dengan cara ini, semua orang yang melihat gambar tersebut akan tahu bahwa kamu telah menulis kata dengan benar, tetapi tidak ada yang bisa menebak apa itu kecuali mereka sudah mengetahuinya. Apa yang lebih praktis adalah kamu hanya perlu membagikan gambar ini di Twitter sekali saja, dan semua orang akan tahu bahwa kamu telah menyelesaikannya tanpa perlu berinteraksi lebih lanjut dengan kamu (mereka bahkan tidak perlu mengenal kamu). Ini dikenal sebagai ZKP non-interaktif, berbeda dengan ZKP interaktif, di mana verifikator harus melakukan serangkaian pertukaran dengan prover untuk memutuskan apakah mereka yakin.

Tentu saja, mekanisme yang rumit ini (interaktif dan non-interaktif) akan menciptakan banyak kegunaan baru dan menarik, terutama di industri-industri di mana privasi dianggap lebih penting daripada hal-hal lain - misalnya, mata uang kripto. Dua dari kemajuan paling terkenal di bidang ini adalah zk-SNARK dan zk-STARK.

zk-SNARK vs. zk-STARK

zk-SNARK merupakan singkatan dari zero-knowledge Succinct Non-Interactive Argument of Knowledge, dengan ciri khasnya yang non-interaktif, artinya siapa pun dapat memverifikasi suatu pernyataan tanpa berinteraksi dengan prover. Hal ini memungkinkan jaringan blockchain untuk memverifikasi kepemilikan akun, serta menjamin bahwa pengirim dalam suatu transaksi memiliki saldo yang cukup tanpa mengungkapkan alamat atau jumlah transaksi.

Kurva eliptik acak berada di pusat model keamanan zk-SNARK. Pengaturan yang tepercaya juga diperlukan untuk memulai protokol yang menggunakan zk-SNARK. Hal ini melibatkan pembuatan kunci pribadi yang nantinya digunakan untuk membuat bukti transaksi dan verifikasi. Akibatnya, zk-SNARK rentan terhadap serangan kuantum dan kebocoran kunci pribadi. Demikianlah, zk-SNARK bisa secara signifikan mengurangi ukuran blok dan konsumsi gas, dan telah menarik komunitas yang besar sejak diperkenalkan pada tahun 2012.

zk-STARK, yang merupakan singkatan dari zero-knowledge Scalable Transparent Argument of Knowledge, diperkenalkan pada tahun 2018. Seperti namanya, zk-STARK berfokus pada skalabilitas dan transparansi. Waktu pemrosesan prover dan verifier zk-SNARK meningkat secara linier seiring dengan ukuran saksi, namun dalam kasus zk-STARK, peningkatan tersebut terjadi secara quasilinear, sehingga zk-STARK jauh lebih fleksibel dalam menangani dataset besar. zk-STARK juga memanfaatkan keacakan yang dapat diverifikasi secara publik dan fungsi hash, yang berarti mereka tidak memerlukan pengaturan awal yang tepercaya dan tahan terhadap serangan kuantum.

Demikianlah, zk-STARK menghasilkan blok yang jauh lebih besar dan membutuhkan daya komputasi yang jauh lebih besar, yang berarti konsumsi gas yang lebih tinggi dan waktu verifikasi yang lebih lama. zk-STARK juga memiliki jauh lebih sedikit pengembang dan sumber daya yang tersedia dibandingkan dengan versi sebelumnya.

Apa saja kegunaan ZKP dalam kripto?

Bukti Identitas

Tidak ada tempat yang memiliki konsentrasi data pribadi yang lebih tinggi daripada informasi identitas kita. Secara tradisional, bukti identitas mengharuskan prover - kamu - untuk mengirimkan informasi identitas kamu - segala hal tentang kamu, relevan atau tidak, dengan detail yang mengejutkan - kepada verifier.

Dengan ZKP, di sisi lain, yang perlu kamu lakukan hanyalah menghasilkan kredensial yang berfungsi sebagai bukti kepemilikan dan keabsahan identitas kamu. Verifier hanya perlu melakukan beberapa perhitungan untuk memeriksa keabsahan kredensial kamu, daripada memiliki akses ke semua informasi pribadi kamu.

Merkle Tree Proof of Reserves

Merkle Tree adalah pohon binary di mana data disimpan di daun-daunnya. Setiap daun memiliki nilai hash-nya sendiri, dan nilai-nilai hash ini akan disortir ke dalam kelompok-kelompok yang berbeda (node) untuk proses hashing lebih lanjut hingga hanya tersisa satu nilai - hash root.

Verifier hanya perlu mengambil nilai hash dari beberapa node untuk memverifikasi integritas seluruh data dalam Merkle Tree tanpa harus menyelami lautan angka 1 dan 0. Hal ini secara luas digunakan untuk membuktikan bahwa sebuah exchange memiliki dana cadangan yang cukup dan tidak memindahkan dana para trader ke tempat lain untuk tujuan yang tidak dapat diungkapkan.

Bitget selalu mengutamakan pelanggan kami, dan Merkle Tree Proof of Reserves kami tersedia untuk diverifikasi oleh semua orang: Proof of Reserves Bitget.

Untuk informasi lebih lanjut tentang Merkle Tree Proof of Reserves kami, silakan merujuk ke pengenalan kami tentang Merkle Tree.

Zk-rollup

Rollup, sebagaimana namanya, adalah solusi skalabilitas yang menggabungkan kumpulan transaksi menjadi satu. Hal ini memungkinkan transaksi yang jauh lebih cepat dan lebih murah dibandingkan, misalnya, mainnet Ethereum. Ada dua aliran dalam solusi rollup Ethereum: Optimistic dan Zero-knowledge. Kami akan fokus pada yang terakhir dalam artikel ini.

Zero-knowledge rollup (zk-rollup) menjalankan perhitungan off-chain dan hanya mengirimkan bukti validitas (ringkasan dari semua transaksi roll-up) on-chain. Setelah bukti ini diverifikasi on-chain, semua transaksi roll-up akan diselesaikan secara bersamaan.

Ada beberapa pemain utama dalam solusi zk-rollup Ethereum. Polygon mengumumkan bahwa versi beta mainnet zkEVM mereka akan diluncurkan pada akhir Maret. Dalam upaya untuk menyaingi Polygon, zkSync—pesaing lainnya—membuka pendaftaran bagi para pengembang di mainnet mereka hanya sehari setelah pengumuman Polygon.

Peserta lain yang menonjol dalam balapan ini termasuk Loopring, sebuah exchange terdesentralisasi yang menawarkan throughput tinggi dan biaya penyelesaian rendah dengan memanfaatkan zk-rollup; Immutable X, solusi Layer2 yang berfokus pada NFT dan menyediakan pengalaman hampir instan dengan biaya gas nol menggunakan zk-rollup.

Daftar sekarang dan mulai trading Polygon, Loopring, Immutable X, Mina, dan banyak explorer lainnya di dunia zero-knowledge.

Disclaimer: Opini yang diungkapkan dalam artikel ini hanya untuk tujuan informasi saja. Artikel ini bukan merupakan bentuk dukungan terhadap produk dan layanan apa pun yang dibahas atau pun saran investasi, keuangan, atau perdagangan. Disarankan untuk berkonsultasi dengan para profesional yang berkualifikasi sebelum membuat keputusan keuangan.