Medan pertempuran berikutnya bagi ahli strategi militer: menghasilkan pasar yang tahan ZK

Pasar bukti dan jaringan bukti adalah dua pendekatan utama. Buktikan bahwa pasar itu seperti pasar terbuka.

Ditulis oleh: Yiping, IOSG Ventures

TL, DR;

• Teknologi ZK terutama digunakan untuk meningkatkan skalabilitas, privasi, dan kredibilitas berbagai proyek (seperti Starkware, zkSync, Scroll, Mina, Risc0, Giza, dan EZKL).
• Teknologi ZK memerlukan daya komputasi dalam jumlah besar, sehingga menghasilkan overhead komputasi sebesar 10^4 hingga 10^6, yang merupakan tantangan bagi tim infrastruktur.
• Metode utama untuk menghasilkan bukti ZK adalah Proof Markets dan Proof Networks. Proof Markets beroperasi sebagai pasar terbuka untuk memperdagangkan bukti ZK, sementara Proof Networks memiliki server internal yang memberikan pengalaman seperti cloud untuk menghasilkan bukti. *Pendekatan Pasar Bukti memungkinkan fleksibilitas dan efektivitas biaya karena mempromosikan pasar terbuka di mana transaksi bukti ZK dapat dilakukan tanpa memerlukan manajemen server kelas atas.
• Pendekatan Proof Network memberikan pengalaman yang lancar dan ramah pengembang serta memberikan solusi yang menghasilkan bukti dengan cepat dan andal dengan kurang fokus pada mekanisme pasar. Secara teori, ini dapat menghasilkan bukti dengan cepat, karena juga memerlukan waktu untuk mencocokkan pesanan di pasar bukti.
• Tantangannya mencakup kesulitan dalam pengujian dan debugging, munculnya masalah keamanan baru, kemungkinan penguncian vendor, biaya yang lebih tinggi dalam model penggunaan tertentu, dan hilangnya utilitas token.
• Pemain terkemuka kemungkinan besar adalah perusahaan yang menunjukkan kebutuhan terbesar akan ZK in-house, karena mereka dapat memanfaatkan infrastruktur yang ada dan tim khusus untuk memaksimalkan pemanfaatan perangkat keras.
• Aplikasi yang muncul mencakup ZK Coprocessors, ZK Attestation, ZKML, dan ZK Bridges, yang menciptakan permintaan lebih besar untuk menghasilkan bukti ZK.
• Di bidang ZK, jaringan bukti terdesentralisasi didorong oleh preferensi industri blockchain terhadap keamanan, ketahanan sensor, dan privasi, meskipun keamanan bawaan ZK berarti bahwa keunggulan ini tidak memerlukan desentralisasi sebagai prasyarat. Bagi Zk, performa adalah fokus utama.

Perkenalan

Permintaan ZK Meningkat

Setelah bertahun-tahun melakukan penelitian di bidang zk dan peningkatan kinerja yang besar, zk akhirnya digunakan dalam aplikasi praktis. Insinyur berbakat menerapkan ZK untuk:

• Skalabilitas
• privasi
• Kredit data

Ada banyak proyek menarik yang bergantung pada zk, seperti Starkware, zkSync, Scroll, Mina, Risc0, =nil;Foundation, EZKL, Giza, Polygon dan Manta. Proyek-proyek ini terus-menerus menghasilkan bukti zk setiap hari. Kasus penggunaan zk yang paling populer saat ini adalah zkRU yang digunakan untuk menyelesaikan masalah skalabilitas Ethereum. Selama sebulan terakhir, jutaan dolar telah dihabiskan untuk Ethereum/Ethereum L2s.

Sumber: Peningkatan besar dalam biaya verifikasi ZK dibandingkan tahun lalu.

Bagan yang dibuat oleh tim Near ini menunjukkan konsumsi gas zkSN(T)ARK di Ethereum dan L2s. Ini mencakup proyek ZK populer seperti zkSync, Polygon, Aztec, Tornado Cash, Loopring, Worldcoin, Tailgun, Sismo, StarkNet dan ImmutableX dan dydx.

Dibandingkan dengan zkStark, zkSnark menyumbang 80% dari total biaya verifikasi. Di antara semua proyek ini, Worldcoin memiliki biaya verifikasi tertinggi, diikuti oleh zkSync. Biaya verifikasi sekitar $2 per worldcoin. Biaya otentikasi sekitar $30 per zkSync.

Menunjukkan Beban Infrastruktur

ZK memecahkan masalah skalabilitas, tetapi ada biayanya. Ini membutuhkan banyak daya komputasi. ZK membawa banyak beban komputasi, dan tim Rollup perlu mengatasi masalah ini. @_weidai memperkirakan bahwa penggunaan teknologi ZK saat ini akan menghasilkan overhead komputasi sebesar 10^4 hingga 10^6. Secara teori, kita dapat mencapai 10 kali lipat overhead komputasi dengan sirkuit khusus. Jika lapisan abstraksi mesin virtual ditambahkan, akan ada overhead komputasi 100 kali lipat.

Bagan di bawah ini menggambarkan grafik daya komputasi berdasarkan pertumbuhan tahun ke tahun menurut Hukum Kumoy. Setelah tahun 2000, efisiensi chip meningkat 10 kali lipat setiap sepuluh tahun. Jika kita bandingkan daya komputasi dengan tahun 2000, maka pada tahun 2025 akan mencapai 784 kali lipat. Hal ini juga menunjukkan bahwa perhitungan ZK saat ini masih belum sama besarnya dengan tahun 2000.

Sumber:

Mohon pikirkan hal ini baik-baik. Kami mencoba meningkatkan volume transaksi 10 hingga 100 kali lipat ke ZKRU. Saat volume transaksi meningkat, kita juga akan menghadapi overhead komputasi sebesar 10^4 hingga 10^6. Angka-angka ini memberikan tekanan yang luar biasa pada tim infrastruktur ZKRU. Tim ZKRU terkemuka menggunakan mesin kelas atas dengan memori minimal 200 GB dan memiliki staf operasi berbakat untuk menangani kompleksitas infrastruktur ini.

Jadi apa artinya bagi tim kecil jika mereka ingin meluncurkan ZKRU atau membangun solusi lapis ketiga menggunakan tumpukan teknologi ZK? Jika pengembang independen ingin membangun ZK Dapps, bagaimana cara mereka membeli server kelas atas ini dan mengoperasikannya dengan benar?

Kini, memulai ZKRU tidaklah sulit. Anda dapat menggunakan ZK Stack dan mengikuti petunjuk dalam dokumentasi untuk menerapkan ZKRU baru. Bagian tersulitnya adalah membuat infrastruktur kelas atas berfungsi. Mengelola armada server jauh lebih sulit daripada pemeliharaan laptop pribadi kita sehari-hari.

Selain itu, akselerasi perangkat keras tidak bersifat plug-and-play; setiap tim perlu mengonfigurasi server mereka secara berbeda tergantung pada sistem zero-knowledge proof yang mereka gunakan.

Memastikan ketersediaan tinggi juga merupakan topik yang rumit. Bagaimana jika banyak pengguna mulai membuat Ordinal di ZKRU Anda dan Anda tiba-tiba menghadapi throughput 1000x? Bahkan tim berpengalaman seperti Arbitrum sempat down selama beberapa jam karena lonjakan transaksi Ordinal.

Menghasilkan bukti tanpa pengetahuan dalam jumlah besar memerlukan dukungan server kelas atas. Untuk tim berukuran kecil dan menengah, menyiapkan dan memelihara armada server kelas atas dapat menjadi beban yang berat. Untuk membantu kelompok-kelompok ini dengan lebih mudah dan cepat dalam mengadopsi teknologi tanpa pengetahuan, Emerging Project berupaya membantu kelompok-kelompok ini menangani semua kompleksitas infrastruktur komputasi.

Buktikan pasarnya

Sumber: IOSG Ventures

Pasar bukti dan jaringan bukti adalah dua pendekatan utama. Buktikan bahwa pasar itu seperti pasar terbuka. Untuk menghasilkan bukti, pengguna perlu mencari rekanan yang bersedia menjual bukti tersebut dengan harga tertentu. Jaringan bukti berfungsi seperti layanan cloud tradisional, pengembang mengirimkan sirkuit dan masukan mereka, dan penyeimbang beban terpusat mengalokasikan server internal dalam jaringan bukti untuk menghasilkan bukti bagi pengguna.

Pasar bukti adalah pendekatan populer dalam infrastruktur bukti ZK. Pasar Bukti adalah pasar terbuka tempat pembeli dan penjual memperdagangkan Bukti ZK. Tim pasar ZK Proof tidak perlu peduli dengan perangkat keras ZK Proof atau memiliki server kelas atas, mereka fokus pada transaksi ZK Proof dan mekanisme verifikasi untuk menarik vendor perangkat keras pihak ketiga.

Membuktikan bahwa pasar adalah pendekatan yang lebih terbuka. Ini menyambut vendor perangkat keras pihak ketiga. Selama ada penjual yang memiliki sertifikat tersebut, pembeli dapat membeli sertifikat ZK dengan harga USD. Saat memverifikasi bukti, semua orang di pasar tidak perlu mencapai konsensus, hanya operator pasar yang bertanggung jawab untuk verifikasi. Di pasar bukti, pengembang zkDapp mengirimkan pesanan bukti ZK, termasuk harga, waktu pembuatan, batas waktu, dan masukan publik. Vendor perangkat keras pihak ketiga kemudian akan menerima pesanan dan membuat bukti.

Tunjukkan bahwa struktur ekonomi pasar itu sederhana. Generator bukti perlu dipertaruhkan. Jika mereka membuat sertifikat yang salah atau tidak menyerahkannya hingga batas waktu yang ditentukan, mereka dapat didenda. Generator bukti dengan lebih banyak taruhan akan dapat menghasilkan banyak bukti secara bersamaan.

Pemain utama dalam industri pasar sertifikasi adalah =nil dan Marlin.

=Yayasan nihil

Buktikan bahwa ada penjual dan pembeli di pasar. Pembelinya adalah pengembang dApp. Mereka membayar penjual biaya untuk menghasilkan sertifikasi. Ada banyak faktor yang mempengaruhi harga sertifikat. Faktor utama meliputi ukuran sirkuit, sistem pembuktian, waktu pembangkitan, dan ukuran masukan.

Inilah cara kerja pasar =nil proof:

1. Buktikan bahwa pemohon mengirimkan permintaan ke pasar dengan harga yang diharapkan c_r.
2. Buktikan bahwa pasar mengunci token c_r di akun pembeli.
3. Buktikan bahwa produsen mengirimkan proposal ke pasar dengan harga c_p <= c_r.
4. Pasar bukti mencocokkan permintaan dengan proposal produsen bukti.
5. Produsen bukti menghasilkan bukti dan mengirimkannya ke pasar.
6. Pasar bukti memverifikasi bukti dan membayar c_r - biaya penanganan token kepada produsen.
7. Pemohon sertifikasi mendapatkan sertifikasinya dan menggunakannya.

Desain pasar memberikan pengalaman seperti perdagangan. Buktikan bahwa harga yang dihasilkan akan berubah secara real time.

Di bawah ini adalah tangkapan layar produk untuk pasar =nil proof.

Sumber:

Saat ini, Proof Market mendukung sejumlah klaim terbatas, dengan klaim Mina terbukti menjadi yang paling aktif. Secara khusus, Proof Market menerima sirkuit berdasarkan kompiler zkLLVM dan sistem bukti Placeholder.

Gevulot

Gevulot berkomitmen untuk membawa desentralisasi ke pasar bukti-bukti. Gevulot berfungsi sebagai blockchain lapisan 1 yang terbuka dan dapat diprogram yang dirancang untuk bukti pasar. Lapisan pertama dari blockchain menangani distribusi, verifikasi, dan distribusi hadiah permintaan bukti. Jaringan pembuktian memanfaatkan unikernel ringan untuk mencapai kinerja tinggi. Gevulot menggunakan fungsi acak yang dapat diverifikasi (VRF) untuk mendistribusikan pekerjaan pembuktian ke sekelompok kecil pembukti, untuk memastikan keandalan sistem.

*Sumber: *

Pengguna dapat menerapkan program secara lancar dengan biaya yang dapat diprediksi, dan pengguna dapat menetapkan biaya maksimum berdasarkan jumlah siklus yang diperlukan untuk menjalankan program.

Para pembukti diberi imbalan melalui jaringan Gevulot dan biaya pengguna, yang memberikan insentif kepada mereka untuk menghasilkan bukti yang efisien dan kompetitif. Pembuktian tercepat akan menerima imbalan jaringan terbanyak. Biaya pengguna akan dibagi rata ke semua node yang melengkapi pembuktian.

Gevulot mendukung berbagai bahasa pemrograman untuk penerapan program, termasuk C, C++, Go, Java, Node.js, Python, Rust, Ruby, PHP, dll., karena VM Nanos yang mendasari Gevulot mendukung biner ELF x86_64 Linux.

Gevulot adalah platform komputasi umum yang mendukung berbagai bahasa dan sistem pembuktian. Gevulot mengandalkan inti tunggal Nano untuk memastikan bahwa pembuktiannya dapat dengan mudah dijalankan di mesin yang berbeda. Semua prover perlu dikompilasi menjadi satu gambar inti tunggal.

Jaringan Bukti

Proof Network memberikan pendekatan yang lebih ramah pengguna terhadap pengalaman pengembang. Ini beroperasi mirip dengan penyedia layanan cloud Web2. Pengembang mengirimkan data payload melalui REST API, dan jaringan bukti kemudian mengembalikan bukti ke pengembang. Pengembang tidak perlu peduli dengan fluktuasi harga dan pihak mana yang akan memberikan buktinya.

Pemanasan0

Risc Zero meluncurkan Bonsai menggunakan zkVM mereka. Dengan kekuatan zkVM, pengguna dapat membiarkan Bonsai menghasilkan berbagai deklarasi. Misalnya, berdasarkan VM Bonsai dan Risc0, Zeth menghasilkan bukti untuk blok Ethereum.

Sumber:

Ringkas

Baru-baru ini Succinct juga meluncurkan produk barunya. Daripada menyediakan sirkuit REST API, Succinct menyediakan pendekatan yang lebih mirip dengan fungsi cloud.

Berikut adalah alur kerja pengguna:

1. Hubungkan ke akun GitHub Anda dan terapkan sirkuit
2. Panggil API melalui REST atau kontrak pintar dan teruskan input sirkuit
3. Hasil kueri melalui REST API atau kontrak pintar

*Sumber: *

Dibandingkan dengan BONSAI, Succinct memiliki keunggulan pengalaman pengembang sebagai berikut:

• Manajemen perpustakaan kode sirkuit yang lebih mudah
• Tidak perlu sirkuit pengiriman sekunder
• Penerapan kontrak pintar sekali klik untuk pembuatan dan verifikasi bukti on-chain
• Jelajahi bukti ZK yang populer
• Periksa status pembuatan sertifikat di dasbor
• Mendukung Rustx, Gnark, Circom, Plonky2

*Sumber: *

Jaringan bukti atau pasar bukti

Pasar sertifikasi memberikan fleksibilitas harga yang lebih besar kepada pembeli dan penjual sertifikasi. Ini mengundang semua penyedia perangkat keras untuk berpartisipasi, yang membantu mengurangi biaya bagi pembeli. Namun perlu dicatat bahwa penghematan dapat bervariasi antara individu dan bisnis. Seringkali, layanan terpusat seperti Proof Network menawarkan layanan gratis kepada individu sambil membebankan biaya tinggi kepada bisnis tetapi memberikan akses ke dukungan pelanggan VIP. Misalnya, jika suatu perusahaan berencana meluncurkan acara atau fitur baru, perusahaan tersebut dapat mencadangkan sejumlah daya komputasi pada jaringan bukti terlebih dahulu. Pasar yang terdesentralisasi dapat memberikan harga yang lebih seimbang dan kompetitif.

Di pasar saat ini, produk berbasis jaringan terbukti memberikan pengalaman yang lebih lancar kepada pengembang. Ini menangani semua pekerjaan pembuatan bukti dan mendukung sistem pembuktian utama tanpa memperkenalkan konsep baru yang rumit. Ini memberikan pengalaman pengguna yang konsisten. Secara teori, ini memberikan pembuatan bukti yang cepat karena pencocokan pesanan di pasar bukti juga membutuhkan waktu. Jika Anda familiar dengan cloud computing, ternyata jaringan lebih mirip dengan fungsi cloud stateless.

Kami memiliki =nil Foundation dan Gevulot yang mengerjakan pasar bukti. Succinct dan Risc0 ada di jaringan bukti. Perusahaan perangkat keras seperti Ulvetanna dan Cystic juga telah memberikan kontribusi signifikan dalam meningkatkan kinerja tahan ZK pada GPU dan mengembangkan chip ZK khusus generasi berikutnya.

Pasar terbukti relatif mudah untuk diluncurkan. Untuk proyek infrastruktur ZK, desain pasar yang telah terbukti dapat menghadirkan lebih banyak penyedia perangkat keras secara online. Dengan desainnya yang terdesentralisasi, mereka dapat dengan mudah menskalakan jaringan untuk memenuhi kebutuhan komputasi di masa depan.

Di masa depan, kami memperkirakan kombinasi jaringan bukti dan desain pasar bukti. Tujuannya adalah untuk memberikan pengalaman yang lancar bagi pengembang sekaligus mengintegrasikan pasar bukti sebagai backend untuk memfasilitasi penambahan sumber daya komputasi tambahan. Ini adalah arah yang ingin dicapai oleh Singkat dalam waktu dekat. Kami melihat perubahan serupa di pasar lain, seperti Infura. Infura memiliki server sendiri, namun pihaknya juga berencana mendatangkan pihak berlisensi untuk menyediakan infrastruktur.

Sumber: IOSG Ventures

Siapa yang benar-benar membutuhkan infrastruktur cloud ZK

**Kami percaya bahwa pengembang yang ingin mengurangi waktu pemasaran dan membangun aplikasi ringan dan fleksibel yang dapat diperluas atau diperbarui dengan cepat akan mendapatkan keuntungan besar dari infrastruktur cloud ZK ini. **

Untuk aplikasi dengan perbedaan besar antara penggunaan puncak dan akhir, infrastruktur cloud ZK akan mengurangi biaya.

Untuk aplikasi jenis ini, membeli armada server yang selalu berjalan dan dijamin tersedia pada waktu puncak bisa jadi mahal. Apabila pemakaiannya berada pada titik terendah maka akan menimbulkan banyak pemborosan. Infrastruktur cloud dapat diperluas kapan saja untuk meningkatkan kinerja. Performa komputasi berlebih ini dapat dilepaskan secara otomatis di luar waktu puncak.

Siapa yang akan menjadi pemimpin?

Dari pemahaman kami tentang industri cloud Web2, kami menemukan bahwa perusahaan dengan kebutuhan komputasi terbesar cenderung memiliki bisnis infrastruktur cloud yang terkemuka. Mereka dapat memanfaatkan skalabilitas, biaya, tim, dan produk inovatif.

Hal yang sama berlaku untuk infrastruktur cloud ZK. **Kami percaya bahwa proyek-proyek yang paling membutuhkan verifikasi pembangunan berpotensi menjadi salah satu bisnis Infrastruktur ZK Cloud yang paling sukses. **

Untuk proyek yang menghasilkan bukti ZK dalam jumlah besar secara internal, proyek tersebut telah memiliki infrastruktur yang luas, pengoptimal, dan tim yang berdedikasi. Mereka juga dapat memaksimalkan pemanfaatan perangkat keras dengan berbagi sumber daya bukti di seluruh aplikasi; ketika aplikasi tidak perlu segera menghasilkan bukti, pembuktian dapat digunakan kembali untuk tujuan lain.

Semua proyek besar ini sampai batas tertentu memiliki sistem pembuktiannya sendiri. Infrastruktur pembuktian pihak ketiga sering kali mengalami kesulitan dalam mengoptimalkan berbagai sistem pembuktian yang digunakan oleh berbagai proyek berskala besar. Dengan menyediakan pembuktian cloud yang cepat dan mudah digunakan, proyek-proyek besar dapat secara efektif memperluas ekosistem sistem pembuktiannya.

Bagi ZKRU, infrastruktur cloud ZK dapat meningkatkan penggunaan Fork-nya. Tidak sulit untuk membuat lapisan 2 atau lapisan 3 baru pada ZKRU ini, namun memelihara infrastruktur ZK akan memakan biaya yang besar. Menyediakan cloud attester yang unik dan fleksibel dapat membantu menarik lebih banyak pengembang. Saat ini, sebagian besar pengembang biasanya menggunakan OPRU SDK untuk membangun lapisan 2 atau lapisan 3 baru karena infrastruktur terkait mudah dikelola.

Tanpa membangun infrastruktur ZK mereka sendiri, proyek ZK yang besar ini harus membayar biaya yang tinggi kepada penyedia komputasi pihak ketiga. Kecepatan pengembangan mereka juga terbatas karena mereka tidak selalu dapat menyesuaikan infrastruktur mereka untuk lebih meningkatkan kinerja dan mengurangi biaya pembuktian.

Siapa yang paling membutuhkan bukti tanpa pengetahuan?

**Selain jaringan ZKRU dan lapisan 1, baru-baru ini kami melihat semakin banyak aplikasi bukti tanpa pengetahuan yang bermunculan. Mereka semua sangat membutuhkan pembuatan bukti. **

Koprosesor tanpa pengetahuan memungkinkan pengembang kontrak pintar mengakses status blockchain masa lalu tanpa kepercayaan. Koprosesor tanpa pengetahuan menghasilkan bukti tanpa pengetahuan untuk status blockchain di masa lalu. Ini mungkin merupakan alternatif grafik yang lebih aman dan tidak terlalu dapat dipercaya.

Otentikasi tanpa pengetahuan membantu pengguna membawa data off-chain atau informasi identitas ke dalam blockchain. Setelah pengautentikasi memverifikasi data ini secara off-chain, bukti tanpa pengetahuan dibuat untuk data tersebut dan ditempatkan di blockchain.

Pembelajaran mesin tanpa pengetahuan memungkinkan penalaran on-chain. Penyedia komputasi melakukan komputasi ML secara off-chain, menghasilkan bukti tanpa pengetahuan untuk itu, dan kemudian menerbitkan bukti tersebut ke blockchain.

Jembatan tanpa pengetahuan adalah versi jembatan lintas rantai yang lebih aman. Ini menghasilkan bukti penyimpanan atau bahkan bukti konsensus untuk rantai sumber dan menempatkannya pada rantai target. Ini mungkin menggantikan jembatan lintas rantai saat ini.

Apa istimewanya jaringan bukti terdesentralisasi?

Dalam industri blockchain, desentralisasi adalah narasi paling populer. Desentralisasi membawa banyak manfaat:

• keamanan
• Resistensi sensor
• Privasi

Bukti tanpa pengetahuan berbeda dari perhitungan umum lainnya. ZK pada dasarnya aman. Siapa pun dapat dengan mudah dan cepat memverifikasi suatu bukti, memastikan kejujuran pembuktian. Di bidang ZK, desentralisasi bukanlah prasyarat keamanan.

Bukti tanpa pengetahuan berfokus pada detail tingkat rendah yang kompleks, yang disusun menjadi sirkuit. Meskipun konten dalam sirkuit ini sangat sulit untuk disensor, penyensoran masih dapat diterapkan secara efektif dengan menghasilkan pemohon berdasarkan bukti ZK.

Privasi dapat menjadi masalah bagi jaringan pembuktian karena pengguna mengirimkan masukan pribadi ke jaringan pembuktian. Solusi idealnya adalah menghasilkan bukti secara lokal untuk mencegah kebocoran data. Hal ini akan menantang kinerja lokal. Solusi lain mungkin berupa protokol komputasi multi-pihak tanpa pengetahuan baru atau menghasilkan bukti dalam lingkungan eksekusi yang tepercaya. Jaringan bukti yang terdesentralisasi tidak dapat memberikan lebih banyak privasi.

Selain narasinya, penolakan terhadap sensor mungkin merupakan alasan utama untuk membangun jaringan bukti yang terdesentralisasi. Teknologi tanpa pengetahuan masih dalam tahap awal, dan sejauh ini kita belum melihat adanya sensor dalam bentuk apa pun di bidang ini. Namun, tantangan utama yang menghambat pengembangan bukti tanpa pengetahuan adalah kinerja. Pengenalan jaringan bukti terdesentralisasi dapat menyebabkan peningkatan persyaratan komputasi untuk menghasilkan bukti.

Kesimpulannya

Penerapan bukti tanpa pengetahuan berkembang pesat dan memiliki cakupan aplikasi yang luas. Kami berharap untuk melihat bukti tanpa pengetahuan diintegrasikan ke dalam tumpukan teknologi yang berbeda. Kita telah melihat ZK layer1, jaringan ZK 2-layer, ZKML, ZKVM, ZK-Email. Pengembang juga membangun oracle ZK, sumber data ZK, dan database ZK. Kami sedang dalam perjalanan menuju “ZKifying everything”. Overhead komputasi yang diperkenalkan oleh ZK memaksa pengembang untuk menyebarkan sirkuit mereka di server kelas atas. Oleh karena itu, kami memperkirakan permintaan akan infrastruktur cloud ZK proof akan meningkat untuk membantu pengembang menghindari kerumitan pengoperasian infrastruktur ini.

Di bidang ini, wawasan kami meliputi:

• Proof Markets dan Proof Networks adalah dua pendekatan utama yang dapat membantu pengembang ZK dApp menghindari kompleksitas infrastruktur.
• Kami mengantisipasi akan ada pendekatan hibrida yang menggabungkan jaringan bukti dan mekanisme pasar bukti.
• Tidak semua pengembang ZK dApp cocok menggunakan infrastruktur cloud ZK. Proyek berukuran sedang dengan lalu lintas stabil dapat menghosting sendiri server untuk mengurangi biaya.
• Pemimpin dalam infrastruktur cloud ZK adalah proyek-proyek yang memiliki kebutuhan untuk menghasilkan bukti ZK dalam jumlah besar, seperti ZKRU yang terkemuka. Mereka memiliki insentif finansial untuk melakukan bisnis ini.
• Desentralisasi adalah narasi dominan di dunia kripto karena desentralisasi membawa sifat-sifat seperti privasi, ketahanan terhadap sensor, dan keamanan. ZK ternyata sudah memiliki beberapa fitur tersebut. Saat ini, nilai jual dari pasar bukti terdesentralisasi adalah resistensi sensor. **
• Popularitas infrastruktur Cloud ZK proof berkaitan erat dengan jumlah ZK dApps yang saat ini ada di pasaran. Meskipun beberapa proyek pada awalnya menyoroti infrastruktur cloud ZK-proof sebagai fitur utama, banyak proyek yang pada akhirnya akan fokus pada narasi baru lainnya.