Pendahuluan
Dalam postingan blog kami sebelumnya, kami secara singkat memperkenalkan protokol kami, ZKCross, yang bertujuan untuk menghubungkan Web2 dan Web3 dengan mudah tanpa menambah kerumitan yang tidak perlu. Kami juga menyoroti permasalahan terkini yang mengganggu industri Web3, yang menghambat desentralisasi, efisiensi, dan aksesibilitas bagi pengembang. Posting blog ini akan mempelajari lebih dalam tentang bagaimana kami berencana mengatasi masalah ini dan mencapai tujuan kami dalam menghubungkan Web2 dan Web3 dengan lancar.
Sebelum kita membahas secara spesifik, mari kita ulas apa itu ZKCross!
Apa itu ZKCross?
ZKCross adalah platform inovatif yang bertujuan untuk menjembatani kesenjangan antara dua versi internet, Web2 dan Web3. Platform ini menggunakan mesin virtual WebAssembly yang disebut zkVM dan "lapisan zk-shadow", yang memudahkan berbagai bagian platform untuk bekerja sama. Pendekatan ini memungkinkan pengembang Web2 untuk menggunakan bahasa pemrograman seperti C/C++, Java, atau Python.
Platform kami juga menggunakan lapisan unik yang menghubungkan lingkungan on-chain dan off-chain secara mulus. Lapisan ini, yang dikenal sebagai "lapisan zk-shadow", memfasilitasi koneksi antara zkWASM dan lapisan on-chain melalui kontrak zk-proxy. Dengan demikian, hal ini memungkinkan kami untuk mendobrak batasan antara Web2 dan Web3 sekaligus memfasilitasi throughput dan aksesibilitas yang tinggi bagi setiap pengguna atau pengembang.
Keajaiban Teknologi Tanpa Pengetahuan
Teknologi Zero Knowledge (ZK) mengacu pada kelas protokol yang memungkinkan satu pihak (pembukti) untuk membuktikan pengetahuan suatu rahasia kepada pihak lain (verifikator) tanpa mengungkapkan informasi apa pun tentang rahasia itu sendiri. Konsep ini diperkenalkan pada akhir 1980-an dan sejak itu telah menemukan banyak aplikasi, termasuk autentikasi kriptografi. ZK-proof biasanya melibatkan serangkaian interaksi antara pembukti dan verifikator, di mana pembukti meyakinkan verifikator tentang pengetahuan suatu rahasia tanpa mengungkapkannya.
Agar dianggap sebagai bukti ZK, suatu protokol harus memenuhi kriteria kelengkapan, keandalan, dan pengetahuan nol. Kelengkapan berarti pembuktian yang jujur akan selalu meyakinkan verifikator yang jujur tentang kebenaran pernyataan yang dibuktikan. Kehandalan berarti pembuktian yang tidak jujur tidak dapat meyakinkan verifikator tentang pernyataan yang salah dengan probabilitas tinggi. Terakhir, pengetahuan nol berarti protokol tidak mengungkapkan informasi apa pun tentang rahasia kepada verifikator selain bahwa pembuktian tersebut mengetahuinya. Ini berarti bahwa meskipun penyerang mencegat semua komunikasi antara pembuktian dan verifikator, mereka tidak akan mengetahui apa pun tentang rahasia tersebut.
Keterbatasan pengembangan dApp ZK
Mengembangkan aplikasi ZK bisa menjadi tantangan karena keterbatasan pilihan bahasa pemrograman. Banyak blockchain menggunakan bahasa pemrograman khusus bernama Solidity, yang dirancang khusus untuk menulis kontrak pintar. Bahasa ini bukanlah bahasa yang paling ramah pengguna dan memiliki kurva belajar yang curam, sehingga dapat menjadi tantangan bagi pengembang Web2 yang belum familiar. Hal ini menyebabkan masalah aksesibilitas bagi para pengembang tersebut.
Untuk mengatasi tantangan ini, para pengembang sedang menjajaki solusi baru yang memungkinkan fleksibilitas bahasa pemrograman yang lebih tinggi saat membangun aplikasi ZK. Salah satu pendekatannya adalah menggunakan mesin virtual WebAssembly (WASM), yang memungkinkan pengembang untuk membuat kode dalam bahasa pemrograman tingkat tinggi pilihan mereka, seperti C/C++, Java, atau Python. Hal ini memungkinkan pengembang Web2 untuk memanfaatkan keterampilan dan pengalaman mereka yang sudah ada untuk membangun aplikasi ZK tanpa mempelajari bahasa pemrograman baru. Selain itu, berbagai alat dan kerangka kerja (misalnya, ZKCross SDK) sedang dikembangkan untuk mengabstraksi sebagian kompleksitas penulisan kontrak pintar, sehingga memudahkan pengembang untuk menciptakan aplikasi ZK yang aman.
zkVM, trinitas suci pengembangan
ZKVM adalah singkatan dari Zero-Knowledge Virtual Machine, sebuah teknologi yang digunakan dalam protokol ZKCross untuk membantu pengembang Web2 menulis kontrak pintar untuk Web3 tanpa mempelajari bahasa pemrograman baru. zkVM memanfaatkan mesin virtual WASM, yang memungkinkan pengembang Web2 untuk membuat kode dalam bahasa pemrograman pilihan mereka. WASM sangat populer untuk aplikasi berbasis web dan digunakan di semua mesin web yang signifikan. Dengan demikian, menggunakan zkVM memungkinkan jutaan pengembang untuk membuat aplikasi yang siap untuk Web3 tanpa kurva pembelajaran yang curam. Di sisi lain, zkVM memanfaatkan zk-SNARKs; sebuah bukti kriptografi yang memungkinkan satu pihak untuk membuktikan kepada pihak lain pengetahuan tentang informasi tertentu tanpa mengungkapkan informasi apa pun tentangnya. SNARKs menyediakan cara untuk memvalidasi komputasi pada blockchain tanpa mengekspos data sensitif (pribadi), seperti informasi identitas pribadi.
Salah satu keunggulan utama SNARK adalah keringkasannya. Tidak seperti jenis pembuktian ZK lainnya, yang dapat sangat memakan waktu komputasi dan membutuhkan banyak putaran interaksi antara pembukti dan pemverifikasi, SNARK dapat sangat efisien dan hanya membutuhkan satu pembuktian yang dapat diverifikasi dengan cepat.
Keunggulan lain SNARK adalah skalabilitasnya. SNARK dapat digunakan untuk memverifikasi kebenaran komputasi besar tanpa mengungkapkan detail komputasi itu sendiri. Hal ini menjadikannya sangat berguna untuk memverifikasi kebenaran kontrak pintar dalam jaringan blockchain, yang komputasinya bisa sangat kompleks dan membutuhkan banyak sumber daya komputasi.
Keunggulan ZkVM
zkVM menawarkan berbagai manfaat bagi pengembang yang ingin membangun aplikasi terdesentralisasi.
Fleksibilitas Tinggi: Dengan zkVM, pengembang dapat menulis kontrak pintar dalam bahasa pemrograman tingkat tinggi pilihan mereka, C/C++, Java, atau Python, alih-alih terbatas pada bahasa pemrograman tertentu.
Skalabilitas yang Ditingkatkan: zkVM memungkinkan eksekusi transaksi yang lebih cepat dan throughput yang lebih tinggi, penting untuk membangun aplikasi terdesentralisasi yang dapat diskalakan.
Modularitas dan Komposabilitas Saw: Dengan zkVM, pengembang dapat dengan cepat membangun aplikasi terdesentralisasi yang kompleks menggunakan modul yang berbeda tanpa khawatir tentang masalah kompatibilitas bahasa atau platform.
Keamanan yang Ditingkatkan: zkVM memanfaatkan ZK-proof, yang dikenal sebagai SNARK, untuk menyediakan keamanan tinggi dengan memungkinkan verifikasi komputasi tanpa mengungkapkan data sensitif.
Desentralisasi: zkVM mempromosikan desentralisasi dengan memungkinkan pelaksanaan kontrak pintar secara terdistribusi di beberapa node, sehingga menghilangkan kebutuhan akan otoritas pusat.
Di blog mendatang, ekosistem kami yang unik dan revolusioner akan dijelaskan lebih rinci, menyoroti kasus penggunaan, mendalami arsitekturnya, dan banyak lagi!
