OKLink: Jadikan transaksi Anda efisien dan aman? Tidak dapat dipisahkan dari teknologi “zero-knowledge proof”.

Penulis Asli: Jason Jiang

Dalam evolusi teknologi blockchain, ada dua isu utama yang tidak dapat dihindari: privasi dan ekspansi. Saat kami mencari “solusi standar” untuk kedua permasalahan tersebut, kami menemukan bahwa keduanya tidak dapat dipisahkan dari sebuah teknologi, yaitu: zero-knowledge proof. Apa yang dimaksud dengan bukti tanpa pengetahuan? Bagaimana cara mengatasi masalah privasi dan ekspansi blockchain?

1. Apa yang dimaksud dengan bukti tanpa pengetahuan?

Pada tahun 1985, S.Goldwasser, S.Micali dan C.Rackoff dari MIT mengusulkan bukti tanpa pengetahuan untuk pertama kalinya dalam makalah penelitian "Kompleksitas Pengetahuan Sistem Bukti Interaktif". Ini adalah protokol verifikasi bagi seorang pembukti untuk membuktikan kebenaran pengetahuannya tanpa mengungkapkan informasi yang valid.

Untuk memudahkan pemahaman, mari kita beri contoh:

Little O memiliki sebuah kotak dengan kata sandi, dan dia ingin meyakinkan Little K bahwa dia mengetahui kata sandinya tanpa memberitahunya kata sandi sebenarnya. Bagaimana cara melakukannya?

Little O punya cara: dia meminta K kecil untuk menulis catatan yang hanya dia yang tahu isinya di dunia ini, lalu K kecil memasukkannya ke dalam kotak yang terbuka dan menguncinya. Kemudian Little O mengambil kotak itu dan menggunakan kata sandinya untuk mengeluarkan catatan yang dimasukkan Little K ke dalam kotak, dan memberikan catatan itu kepada Little K keesokan harinya. Selama proses ini, Little K tidak mengetahui informasi apa pun (kata sandi kotak) yang tidak dia ketahui sebelumnya, namun dia tetap harus percaya bahwa Little O mengetahui kata sandinya. Proses verifikasi ini adalah bukti tanpa pengetahuan.

**Sederhananya zero-knowledge proof adalah membangun kepercayaan antara kedua pihak dengan jumlah pertukaran informasi yang minimal. Tanpa mengungkapkan lebih banyak informasi, A dapat membuktikan kepada B bahwa sesuatu/kesimpulan tertentu benar. **

Menurut mode interaksi dalam proses pembuktian, ini dapat dibagi menjadi dua kategori: "pembuktian tanpa pengetahuan interaktif" dan "pembuktian tanpa pengetahuan non-interaktif".

Bukti tanpa pengetahuan interaktif berarti bahwa untuk membuktikan sesuatu, pembuktian perlu berinteraksi berulang kali dengan pemverifikasi, seperti halnya pendeteksi kebohongan: pemverifikasi terus-menerus mengajukan pertanyaan untuk menantang keaslian komitmen pembukti, dan pembukti harus terus-menerus Menanggapi terhadap tantangan ini sampai validator yakin. Alurnya adalah sebagai berikut:

Bukti awal tanpa pengetahuan semuanya bersifat interaktif. Cara ini mudah dilakukan, namun prosesnya memakan waktu lama dan tidak efisien: kedua belah pihak harus menyelesaikan verifikasi online secara bersamaan, dan hanya satu verifikator yang dapat dipercaya dalam satu waktu. Jika ingin dipercaya oleh banyak orang, proses di atas harus diulangi . Proses ini melelahkan untuk dipikirkan.

Dengan demikian, bukti tanpa pengetahuan non-interaktif pun muncul. Dalam pembuktian tanpa pengetahuan non-interaktif, pembuktian dan pemverifikasi menyepakati aturan verifikasi terlebih dahulu, pembukti memberikan data seperti yang dijanjikan, dan pemverifikasi dapat memverifikasi kebenaran data kapan saja. Pada verifikasi non-interaktif semacam ini, kedua belah pihak tidak perlu online secara bersamaan, dan pembukti hanya perlu memberikan bukti satu kali saja. **Aplikasi dalam skenario sebenarnya pada dasarnya adalah bukti tanpa pengetahuan non-interaktif, seperti ZK-SNARK dan ZK-STARK. **

2. Apa gunanya bukti tanpa pengetahuan di dunia blockchain?

Bukti tanpa pengetahuan terutama digunakan untuk memecahkan dua jenis masalah di dunia blockchain: privasi dan skalabilitas. **

(1) Privasi

Salah satu hasil penerapan penting dari zero-knowledge proof adalah proyek Zcash yang diluncurkan pada tahun 2015 yang dapat mewujudkan transaksi pribadi. Selain koin anonim seperti Zcash, bukti tanpa pengetahuan juga dapat berperan dalam skenario seperti keuangan blockchain, pemungutan suara on-chain, dan verifikasi identitas.

Dalam aplikasi keuangan blockchain, bukti tanpa pengetahuan memungkinkan peserta untuk secara fleksibel memilih transaksi dan informasi mana yang ingin mereka ungkapkan dan sembunyikan. Misalnya, perusahaan dapat secara selektif mengekspos pembayaran tertentu untuk jejak audit, sambil menyembunyikan informasi rahasia tentang pelanggan rahasia, gaji karyawan, kontraktor, pemasok, dan banyak lagi.

Saat melakukan pemungutan suara secara berantai, bukti tanpa pengetahuan juga memungkinkan peserta untuk memberikan suara secara anonim dan memverifikasi validitas hasil pemungutan suara.

Selain itu, bukti tanpa pengetahuan juga dapat membantu pengguna mencapai verifikasi identitas tanpa mengungkapkan informasi identitas spesifik. Polygan ID di Ethereum mengadopsi skema verifikasi bukti tanpa pengetahuan, yang tidak hanya membantu pengguna melindungi privasi, namun juga memenuhi persyaratan peraturan untuk spesifikasi verifikasi KYC. Pengguna bebas memilih kapan dan data mana yang akan dibagikan.

(2) Kemampuan untuk diperluas

Blockchain sangat membutuhkan perluasan karena keterbatasan kinerja yang tidak dapat memenuhi permintaan pasar, dan solusi perluasan ZK Rollup berdasarkan bukti tanpa pengetahuan dianggap sebagai solusi utama untuk perluasan Lapisan 2. ZK-Rollups meningkatkan throughput blockchain dengan mentransfer perhitungan ke off-chain, yaitu dengan mengemas sejumlah besar transaksi ke dalam blok Rollup, dan menghasilkan bukti validitas berdasarkan bukti tanpa pengetahuan di bawah rantai. pada Lapisan 1 hanya perlu Memvalidasi bukti memungkinkan negara baru untuk diterapkan secara langsung, menghasilkan gas yang lebih rendah dan keamanan yang lebih tinggi.

zkSync berdasarkan teknologi ZK-SNARKs dan StarkNet berdasarkan teknologi zk-STARKs saat ini merupakan proyek ZK-Rollups yang paling representatif.

Diantaranya, zkSync adalah solusi ekspansi Lapisan 2 yang diluncurkan oleh Matter Labs pada tahun 2018, yang meningkatkan skalabilitas jaringan Ethereum dengan menggunakan Rollup berdasarkan bukti tanpa pengetahuan. ** Pada bulan Februari tahun ini, zkSync mengumumkan bahwa mainnet Era zkSync secara resmi diluncurkan. Browser multi-rantai OKLink kemudian memimpin dalam mengakses data mainnet zkSync dan menjadi browser multi-rantai pertama yang mendukung jaringan zkSync di seluruh jaringan. **

StarkNet adalah jaringan Layer 2 bebas izin yang dikembangkan oleh perusahaan perangkat lunak Israel StarkWare. Dengan menggunakan teknologi zk-STARKs, ini dapat membantu DApps mencapai skala komputasi yang lebih besar dengan biaya transaksi yang lebih rendah. Sejak peluncuran mainnet pada November 2021, ekosistem StarkNet telah berkembang pesat. Saat ini terdapat lebih dari 100 Dapps dan layanan, yang mencakup berbagai kategori seperti DeFi, NFT, dompet, dan jembatan lintas rantai. Sebagai salah satu proyek dengan valuasi tertinggi dan pangsa pasar terbesar di jalur ZK Rollup, perkembangan StarkNet menarik banyak perhatian. Browser multi-rantai OKLink dari OKLink juga akan meluncurkan browser StarkNet dalam waktu dekat, memberikan wawasan dan layanan data on-chain yang lebih komprehensif dan lebih kaya untuk semua pengguna yang memperhatikan dan berpartisipasi dalam ekologi StarkNet dan konstruksi Lapisan 2.

Dilaporkan bahwa browser StarkNet akan menjadi browser blockchain ke-30 yang diluncurkan oleh OKLink dan browser ZK Rollup kedua setelah zksync. Di masa depan, browser multi-rantai OKLink juga akan meluncurkan browser blockchain untuk proyek ZK Rollup terkenal seperti Polygon-zk, Linea, Base, dan Scoll berdasarkan bukti tanpa pengetahuan.