Penulis: Peneliti Modal YBB Zeke
TLDR
ZK Coprocessor dapat dianggap sebagai plug-in komputasi off-chain yang berasal dari konsep modular. Fungsinya mirip dengan GPU di komputer tradisional kita yang berbagi tugas komputasi grafis untuk CPU, yaitu untuk berbagi komputasi dalam skenario tertentu. pemroses tugas;
Dapat digunakan untuk memproses perhitungan yang rumit dan data yang berat, mengurangi biaya bahan bakar, dan memperluas fungsi kontrak pintar;
Perbedaan dari Rollup: Koprosesor ZK tidak memiliki kewarganegaraan, dapat digunakan di seluruh rantai, dan cocok untuk skenario komputasi yang kompleks;
Koprosesor ZK sulit untuk dikembangkan, memiliki overhead kinerja yang tinggi, dan tidak memiliki standarisasi. Perangkat kerasnya membutuhkan banyak biaya. Meskipun treknya jauh lebih matang dibandingkan tahun lalu, ini masih dalam tahap awal;
Setelah infrastruktur memasuki era modular ekspansi fraktal, blockchain telah terjerumus ke dalam berbagai masalah seperti kurangnya likuiditas, pengguna yang tersebar, kurangnya inovasi dan interoperabilitas lintas rantai, dan telah membentuk paradoks dengan L1 ekspansi vertikal. Di masa depan, koprosesor ZK mungkin dapat memberikan penguatan yang baik untuk keduanya, memungkinkan mereka keluar dari masalah, memberikan dukungan kinerja untuk aplikasi lama dan aplikasi baru dan penting, serta menghadirkan narasi yang lebih segar.
1. Cabang lain dari infrastruktur modular, koprosesor ZK
1.1 Ikhtisar koprosesor ZK
ZK Coprocessor dapat dianggap sebagai plug-in komputasi off-chain yang berasal dari konsep modular. Fungsinya mirip dengan GPU di komputer tradisional kita yang berbagi tugas komputasi grafis untuk CPU, yaitu untuk berbagi komputasi dalam skenario tertentu. Pemroses tugas. Di bawah kerangka desain ini, tugas "data berat" dan "logika penghitungan kompleks" yang tidak dapat dilakukan dengan baik oleh rantai publik dapat dihitung melalui koprosesor ZK. Rantai hanya perlu menerima hasil penghitungan yang dikembalikan, dan kebenarannya Dijamin oleh bukti ZK , perhitungan off-chain yang tepercaya untuk tugas-tugas kompleks akhirnya terwujud.
Saat ini, aplikasi populer seperti AI, SocialFi, DEX, dan GameFi memiliki kebutuhan mendesak akan kinerja tinggi dan pengendalian biaya. Dalam solusi tradisional, "aplikasi berat" yang memerlukan kinerja tinggi ini sering kali memilih bentuk aset on-chain + off-chain aplikasi, atau, Rancang rantai aplikasi secara terpisah untuk aplikasi tersebut. Namun, keduanya memiliki beberapa masalah yang melekat, misalnya, yang pertama memiliki kotak hitam, dan yang kedua memiliki masalah seperti biaya pengembangan yang tinggi, pemisahan dari ekologi rantai asli, dan fragmentasi likuiditas. Selain itu, mesin virtual rantai utama juga memiliki keterbatasan besar dalam pengembangan dan pengoperasian aplikasi tersebut (seperti kurangnya standar lapisan aplikasi dan bahasa pengembangan yang kompleks).
Keberadaan koprosesor ZK adalah untuk mengatasi masalah tersebut. Untuk memberikan contoh yang lebih rinci, kita dapat menganggap blockchain sebagai terminal yang tidak dapat terhubung ke Internet (ponsel, komputer, dll.). beberapa aplikasi yang lebih sederhana, seperti aplikasi DeFi seperti Uniswap, dapat berjalan sepenuhnya secara on-chain. Namun ketika aplikasi yang lebih kompleks muncul, seperti menjalankan aplikasi seperti ChatGPT, kinerja dan penyimpanan rantai publik tidak akan mencukupi, dan Gas akan meledak. Dalam kasus Web2, hal yang sama berlaku ketika kita menjalankan ChatGPT. Terminal umum itu sendiri tidak dapat menangani model bahasa besar seperti GPT-4o. Kita perlu mengkomunikasikan masalahnya ke server OpenAI melalui Internet , kami akan Menerima jawaban secara langsung. Koprosesor ZK mirip dengan server jarak jauh dari blockchain. Namun, untuk jenis proyek yang berbeda, desain proyek koprosesor yang berbeda mungkin memiliki sedikit penyimpangan, tetapi logika yang mendasarinya tidak akan jauh berbeda perhitungan + bukti ZK atau bukti Penyimpanan. Mengambil contoh penerapan Bonsai Rise Zero, kita dapat melihat bahwa logika arsitektur ini sangat sederhana. Proyek ini terintegrasi dengan mulus ke dalam zkVM milik Rise Zero. Pengembang hanya memerlukan dua langkah sederhana untuk menggunakan Bonsai sebagai langkah co-prosesor.
Tulis aplikasi zkVM untuk menangani logika aplikasi;
Tulis kontrak Soliditas yang meminta Bonsai menjalankan aplikasi zkVM Anda dan memproses hasilnya.
1.2 Apa perbedaan antara Rollup dan Rollup?
Dalam definisi di atas, kita akan menemukan bahwa Rollup tampaknya memiliki tingkat tumpang tindih yang tinggi dengan koprosesor ZK terlepas dari logika atau tujuan implementasinya. Namun nyatanya, Rollup lebih mirip versi multi-core dari rantai utama. Perbedaan spesifik antara keduanya adalah sebagai berikut:
1. Tujuan utama:
Rollup: Meningkatkan throughput transaksi blockchain dan mengurangi biaya transaksi.
Koprosesor ZK: Memperluas kekuatan komputasi kontrak pintar sehingga dapat memproses logika yang lebih kompleks dan jumlah data yang lebih besar.
2. Prinsip kerja:
Rollup: Ringkas transaksi dalam rantai dan bawa ke rantai utama, melalui bukti penipuan atau bukti ZK.
Koprosesor ZK: mirip dengan ZK Rollup, hanya saja skenario penerapan keduanya berbeda. ZK Rollup dibatasi oleh bentuk dan aturan rantai dan tidak cocok untuk kerja koprosesor ZK.
3. Manajemen status:
Rollup: Perlu mempertahankan statusnya sendiri dan melakukan sinkronisasi dengan rantai utama secara teratur.
Koprosesor ZK: tidak mempertahankan status persisten, setiap perhitungan tidak memiliki kewarganegaraan.
4. Skenario aplikasi:
Rollup: Terutama untuk sisi C, cocok untuk perdagangan frekuensi tinggi.
Koprosesor ZK: terutama untuk sisi-B, cocok untuk skenario yang memerlukan perhitungan rumit, seperti model keuangan tingkat lanjut, analisis data besar, dll.
5. Hubungan dengan rantai utama:
Rollup: dapat dilihat sebagai perpanjangan dari rantai utama, biasanya berfokus pada jaringan blockchain tertentu.
Koprosesor ZK: Dapat menyediakan layanan untuk banyak blockchain dan tidak terbatas pada rantai utama tertentu, sehingga juga dapat menyediakan layanan untuk Rollup.
Oleh karena itu, keduanya tidak saling eksklusif, dan bahkan saling melengkapi. Bahkan jika Rollup ada dalam bentuk rantai aplikasi, koprosesor ZK tetap dapat menyediakan layanan.
1.3 Kasus penggunaan
Secara teoritis, koprosesor ZK memiliki jangkauan aplikasi yang sangat luas dan pada dasarnya dapat mencakup proyek di berbagai jalur blockchain. Keberadaan koprosesor ZK dapat mendekatkan fungsi Dapp dengan fungsi aplikasi terpusat Web2. Berikut adalah beberapa kasus penggunaan demonstrasi yang dikumpulkan dari Internet:
Pengembangan DApp berbasis data
Koprosesor ZK memungkinkan pengembang membuat DApps berbasis data yang memanfaatkan data historis dari seluruh rantai dan melakukan penghitungan kompleks tanpa asumsi kepercayaan tambahan. Hal ini membawa kemungkinan yang belum pernah terjadi sebelumnya pada pengembangan DApp, seperti:
Analisis data tingkat lanjut: Fungsi analisis data on-chain mirip dengan Dune Analytics.
Logika bisnis yang kompleks: Menerapkan algoritma kompleks dan logika bisnis dalam aplikasi terpusat tradisional.
Aplikasi lintas rantai: Bangun DApps lintas rantai berdasarkan data multi-rantai.
Program Pedagang VIP DEX
Skenario penerapan yang umum adalah menerapkan program diskon biaya berdasarkan volume perdagangan di bursa terdesentralisasi (DEX), yaitu "Program Loyalitas Pedagang VIP". Skema jenis ini umum terjadi di bursa terpusat (CEX) tetapi jarang terjadi di DEX.
Menggunakan koprosesor ZK, DEX dapat:
Lacak volume transaksi historis pengguna
Hitung level VIP pengguna
Sesuaikan biaya transaksi secara dinamis berdasarkan level
Fitur ini dapat membantu DEX meningkatkan retensi pengguna, meningkatkan likuiditas, dan pada akhirnya meningkatkan pendapatan.
Peningkatan data untuk kontrak pintar
Koprosesor ZK dapat berfungsi sebagai middleware yang kuat untuk menyediakan layanan pengambilan data, penghitungan, dan verifikasi untuk kontrak pintar, sehingga mengurangi biaya dan meningkatkan efisiensi. Hal ini memungkinkan kontrak pintar untuk:
Akses dan proses data historis dalam jumlah besar
Lakukan penghitungan off-chain yang rumit
Menerapkan logika bisnis yang lebih maju
Teknologi jembatan lintas rantai
Beberapa teknologi jembatan lintas rantai berbasis ZK, seperti Herodotus dan Lagrange, juga dapat dianggap sebagai penerapan koprosesor ZK. Teknologi ini terutama berfokus pada ekstraksi dan verifikasi data, sehingga menyediakan basis data tepercaya untuk komunikasi lintas rantai.
Koprosesor 1.4 ZK tidak sempurna
Meskipun kami telah menyebutkan banyak keuntungan, tahap koprosesor ZK saat ini belum sempurna dan masih harus menghadapi banyak masalah. Saya pribadi merangkum poin-poin berikut:
1. Pengembangan: Konsep ZK sulit dipahami oleh banyak pengembang. Pengembangan juga memerlukan pengetahuan kriptografi yang relevan dan penguasaan bahasa dan alat pengembangan tertentu;
2. Biaya perangkat keras tinggi: Perangkat keras ZK yang digunakan untuk komputasi off-chain harus sepenuhnya ditanggung oleh proyek itu sendiri. Perangkat keras ZK mahal dan masih mengalami pengembangan dan iterasi yang cepat, dan perangkat keras tersebut kemungkinan akan menjadi usang kapan saja. Apakah hal ini dapat membentuk lingkaran tertutup dalam logika bisnis juga merupakan pertanyaan yang patut dipertimbangkan;
3. Jalurnya ramai: Faktanya, tidak akan ada perbedaan besar dalam implementasi teknis. Pada akhirnya, kemungkinan besar akan serupa dengan pola Layer 2 saat ini. Ada beberapa proyek yang belum terselesaikan, namun sebagian besar diabaikan;
4. Sirkuit ZK: Menjalankan perhitungan off-chain di koprosesor ZK memerlukan konversi program komputer tradisional menjadi sirkuit ZK. Menulis sirkuit yang disesuaikan untuk setiap aplikasi sangatlah rumit. Menggunakan zkvm untuk menulis sirkuit di mesin virtual menghasilkan model komputasi yang berbeda .
2. Potongan puzzle kunci yang mengarah pada penerapan skala besar
(Bab ini sangat subjektif dan hanya mewakili pandangan pribadi penulis)
Siklus ini didominasi oleh infrastruktur modular. Jika jalur modularisasi benar, maka siklus ini mungkin merupakan langkah terakhir menuju penerapan skala besar. Namun, pada tahap saat ini, kita semua memiliki perasaan yang sama. Mengapa kita hanya melihat beberapa anggur lama dengan aplikasi baru? Mengapa ada lebih banyak rantai daripada aplikasi? Mengapa standar token baru seperti prasasti bisa disebut sebagai inovasi terbesar dalam hal ini bulat?
Alasan kurangnya narasi baru adalah karena infrastruktur modular yang ada saat ini tidak cukup untuk mendukung aplikasi super, terutama kurangnya beberapa prasyarat (interoperabilitas rantai penuh, ambang batas pengguna, dll.), yang berkontribusi terhadap terbesarnya. perkembangan dalam sejarah blockchain yang menyamarkan pemisahan. Rollup, sebagai inti dari era modular, cepat, tetapi juga membawa banyak masalah. Artinya, fragmentasi likuiditas, penyebaran pengguna, rantai atau mesin virtual itu sendiri yang telah kami tekankan berulang kali di atas masih membatasi inovasi aplikasi. Di sisi lain, Celestia, "orang penting" lain dalam modularitas, telah memelopori gagasan bahwa DA tidak perlu berada di Ethereum. Entah itu dimulai dari ideologi atau biaya DA, hasilnya adalah BTC terpaksa melakukan DA, dan rantai publik lainnya harus melakukan DA yang lebih hemat biaya lusinan proyek Lapisan 2 di setiap rantai publik. Terakhir, semua pihak proyek infrastruktur dan ekologi telah mempelajari secara mendalam gameplay naga pembunuh poin (OpenSea) yang dipelopori oleh Blur (Tieshun), yang mengharuskan pengguna untuk menjanjikan Token dalam proyek tersebut. untuk paus Atau munculnya model BTC dan Token gratis), yang semakin menekan likuiditas pada rantai.
Di pasar bullish masa lalu, dana hanya akan mengalir di beberapa hingga selusin rantai publik, dan bahkan bisa dikatakan terkonsentrasi hanya di Ethereum. Namun dana saat ini tersebar di ratusan rantai publik dan dijanjikan dalam ribuan proyek yang semuanya sama. Kemakmuran dalam rantai tersebut sudah tidak ada lagi, dan bahkan Ethereum tidak memiliki aktivitas on-chain. Jadi pemain Timur tidak punya pilihan selain menggunakan PVP di ekosistem BTC, dan pemain Barat tidak punya pilihan selain menggunakan PVP di Solana. Oleh karena itu, yang paling saya khawatirkan secara pribadi saat ini adalah bagaimana mendorong agregasi likuiditas di seluruh rantai dan bagaimana mendukung lahirnya gameplay baru dan aplikasi super. Dalam jalur interoperabilitas rantai penuh, beberapa proyek tradisional terkemuka sebenarnya memiliki kinerja yang buruk. Proyek-proyek tersebut masih lebih mirip jembatan lintas rantai tradisional. Solusi interoperabilitas baru juga telah dibahas dalam laporan penelitian kami sebelumnya, terutama dengan menggabungkan beberapa rantai menjadi satu rantai. Saat ini, kami sedang mengerjakan AggLayer, Superchain, Elastic Chain, JAM, dll., yang tidak akan dibahas di sini.
Secara keseluruhan, agregasi seluruh rantai merupakan rintangan yang harus diatasi dalam struktur modular, namun rintangan ini masih akan memakan waktu lama. Koprosesor ZK adalah potongan puzzle yang lebih kritis pada tahap saat ini. Selain memperkuat Layer 2, juga dapat memperkuat Layer 1. Apakah mungkin untuk sementara waktu melepaskan diri dari dua masalah rantai penuh dan paradoks segitiga? , bisa jadi sebagian Haruskah kita mengimplementasikan dulu beberapa aplikasi saat ini pada Layer 1 atau Layer 2 yang memiliki likuiditas luas? Bagaimanapun, narasi aplikasi blockchain saat ini sangat kurang. Di sisi lain, untuk mencapai diversifikasi gameplay, kontrol gas, munculnya aplikasi skala besar, dan bahkan lintas rantai, menurunkan ambang batas pengguna, solusi co-prosesor terintegrasi akan menjadi solusi yang lebih ideal daripada mengandalkan sentralisasi.
3. Daftar Proyek
Jalur koprosesor ZK pada dasarnya muncul sekitar tahun 2023 dan relatif matang pada tahap saat ini. Menurut klasifikasi Messari, proyek yang ada di jalur ini dapat dibagi menjadi tiga bidang vertikal utama (komputasi umum, interoperabilitas dan lintas rantai, AI dan pelatihan mesin), dengan 18 proyek. Sebagian besar proyek ini didukung oleh VC terkemuka. Kami memilih beberapa proyek di bidang vertikal berbeda untuk dijelaskan di bawah.
3.1 Manusia
Giza adalah protokol zkML (zero-knowledge machine learning) yang diterapkan di Starknet dan secara resmi didukung oleh StarkWare, dengan fokus untuk memungkinkan model kecerdasan buatan agar dapat digunakan secara terverifikasi dalam kontrak pintar blockchain. Pengembang dapat menerapkan model AI ke jaringan Giza, yang kemudian memverifikasi kebenaran alasan model tersebut melalui bukti tanpa pengetahuan dan memberikan hasilnya untuk digunakan oleh kontrak pintar dengan cara yang tidak dapat dipercaya. Hal ini memungkinkan pengembang untuk membangun aplikasi on-chain yang menggabungkan kemampuan AI sambil mempertahankan desentralisasi dan verifikasi blockchain.
Giza menyelesaikan alur kerja dengan melakukan tiga langkah berikut:
Konversi model: Giza mengubah model AI format ONNX yang umum digunakan menjadi format yang dapat dijalankan dalam sistem tanpa bukti pengetahuan. Hal ini memungkinkan pengembang untuk melatih model menggunakan alat yang sudah dikenal dan kemudian menyebarkannya ke jaringan Giza.
Inferensi off-chain: Ketika kontrak pintar meminta inferensi model AI, Giza melakukan penghitungan aktual di luar rantai. Hal ini menghindari tingginya biaya menjalankan model AI yang kompleks langsung di blockchain.
Verifikasi tanpa pengetahuan: Giza menghasilkan bukti ZK untuk setiap inferensi model untuk membuktikan bahwa penghitungan dilakukan dengan benar. Bukti-bukti ini diverifikasi secara on-chain, memastikan kebenaran hasil inferensi tanpa harus mengulangi seluruh proses perhitungan secara on-chain.
Pendekatan Giza memungkinkan model AI berfungsi sebagai sumber masukan tepercaya untuk kontrak pintar tanpa bergantung pada oracle terpusat atau lingkungan eksekusi tepercaya. Hal ini membuka kemungkinan baru untuk aplikasi blockchain seperti manajemen aset berbasis AI, deteksi penipuan, dan penetapan harga dinamis. Ini adalah salah satu dari sedikit proyek loop tertutup logis di Web3 x AI saat ini, dan ini juga merupakan penggunaan pemrosesan bersama yang luar biasa di bidang AI.
3.2 Pemanasan Nol
Risc Zero adalah proyek co-processor yang didukung oleh beberapa VC terkemuka dan merupakan pemimpin di bidangnya. Proyek ini berfokus pada memungkinkan komputasi sewenang-wenang dieksekusi secara terverifikasi dalam kontrak pintar blockchain. Pengembang dapat menulis program di Rust dan menyebarkannya ke jaringan RISC Zero. RISC Zero kemudian memverifikasi kebenaran eksekusi program melalui bukti tanpa pengetahuan dan memberikan hasilnya ke kontrak pintar dengan cara yang tidak dapat dipercaya. Hal ini memungkinkan pengembang untuk membangun aplikasi on-chain yang kompleks sambil mempertahankan desentralisasi dan verifikasi blockchain.
Kami telah membahas secara singkat tentang penerapan dan proses kerja di atas, dan di sini kami akan membahas dua komponen utama secara mendetail:
Bonsai: Bonsai dari RISC Zero adalah komponen co-prosesor dalam proyek ini. Ini terintegrasi dengan mulus ke dalam zkVM arsitektur set instruksi RISC-V, memungkinkan pengembang untuk dengan cepat mengintegrasikan bukti tanpa pengetahuan berkinerja tinggi ke dalam Ethereum dan L1 dalam sebuah beberapa hari. Blockchain, rantai aplikasi Cosmos, rollup L2, dan dApps menyediakan panggilan langsung ke kontrak pintar, perhitungan off-chain yang dapat diverifikasi, interoperabilitas lintas rantai, dan fungsi rollup universal, sambil mengadopsi desain arsitektur terdistribusi pertama yang terdesentralisasi, dikombinasikan dengan fitur rekursif. bukti, kompiler sirkuit khusus, kelanjutan status, dan algoritme pembuktian yang terus ditingkatkan, memungkinkan siapa pun menghasilkan bukti tanpa pengetahuan berkinerja tinggi untuk berbagai aplikasi.
zKVM: zkVM adalah komputer yang dapat diverifikasi yang bekerja seperti mikroprosesor RISC-V yang tertanam. Mesin virtual ini didasarkan pada arsitektur set instruksi RISC-V, memungkinkan pengembang untuk menggunakan beberapa bahasa pemrograman seperti Rust, C++, Solidity, Go dan bahasa pemrograman tingkat tinggi lainnya untuk menulis program yang dapat menghasilkan zero-knowledge. proofs. Ini mendukung lebih dari 70% peti Rust yang populer. Ini mencapai kombinasi sempurna antara komputasi umum dan bukti tanpa pengetahuan, dan dapat menghasilkan bukti tanpa pengetahuan yang efisien untuk penghitungan kompleksitas apa pun, dengan tetap menjaga privasi proses penghitungan dan verifikasi hasil. zkVM menggunakan STARK dan SNARK, termasuk teknologi ZK yang mewujudkan pembuatan bukti dan verifikasi yang efisien melalui komponen seperti Recursion Prover dan STARK-to-SNARK Prover, yang mendukung mode eksekusi off-chain dan verifikasi on-chain.
Risc Zero telah terintegrasi dengan beberapa seri ETH Layer 2 dan mendemonstrasikan beberapa kasus penggunaan Bonsai, yang lebih menarik adalah Bonsai Pay. Demo ini menggunakan zkVM dan bukti layanan Bonsai RISC Zero untuk memungkinkan pengguna mengirim atau menarik ETH dan token di Ethereum menggunakan akun Google. Hal ini menunjukkan bagaimana RISC Zero dapat dengan mulus mengintegrasikan aplikasi on-chain dengan OAuth2.0 (standar yang digunakan oleh penyedia identitas utama seperti Google), sebuah kasus penggunaan integrasi yang menurunkan hambatan masuk bagi pengguna Web3 dibandingkan aplikasi Web2 tradisional, selain Ada contoh berdasarkan aplikasi seperti DAO.
3,3 = nihil;
=nil; Ini diinvestasikan oleh proyek dan institusi terkenal seperti Mina, Polychain, Starkware, dan Blockchain Capital. Perlu dicatat bahwa pihak proyek dengan teknologi zk mutakhir seperti Mina dan Starkware juga termasuk di antara mereka. pengakuan teknis proyek ini masih tinggi. =nil; Ini juga merupakan proyek yang disebutkan dalam laporan penelitian kami "Computing Power Market". Pada saat itu, fokus utamanya adalah pada Pasar Bukti =nil; (pasar pembuatan bukti terdesentralisasi). Proyek ini sebenarnya juga memiliki sub-produk, zkLLVM.
zkLLVM adalah kompiler sirkuit inovatif yang dikembangkan oleh =nil; Ini dapat secara otomatis mengubah kode aplikasi yang ditulis dalam bahasa pengembangan utama seperti C++ dan Rust menjadi sirkuit yang dapat dibuktikan secara efisien di Ethereum tanpa menggunakan bidang khusus tanpa pengetahuan (). DSL), sehingga sangat menyederhanakan proses pengembangan dan menurunkan ambang batas pengembangan. Pada saat yang sama, ini meningkatkan kinerja dengan tidak melibatkan zkVM (mesin virtual tanpa pengetahuan). Ini mendukung akselerasi perangkat keras untuk mempercepat pembuatan bukti , jembatan lintas rantai, Berbagai skenario aplikasi ZK seperti oracle, pembelajaran mesin, dan permainan, dan terintegrasi erat dengan =nil; Foundation's Proof Market untuk memberikan dukungan menyeluruh kepada pengembang mulai dari pembuatan sirkuit hingga pembuatan bukti.
3.4 Singkatan
Proyek ini adalah sub-proyek dari Celer Network. Bervis adalah ko-prosesor cerdas tanpa pengetahuan (ZK) untuk blockchain yang memungkinkan dApps mengakses, menghitung, dan memanfaatkan berbagai blockchain dengan cara yang sepenuhnya tidak dapat dipercaya. Seperti co-processor lainnya, Brevis juga memiliki beragam kasus penggunaan, seperti DeFi berbasis data, zkBridges, akuisisi pengguna on-chain, zkDID, dan abstraksi akun sosial.
Arsitektur Brevis terutama terdiri dari tiga bagian:
zkFabric: zkFabric adalah repeater untuk arsitektur Brevis. Tugas utamanya adalah mengumpulkan dan menyinkronkan informasi header blok dari semua blockchain yang terhubung, dan akhirnya menghasilkan bukti konsensus untuk setiap header blok yang dikumpulkan melalui sirkuit klien ringan ZK.
zkQueryNet: zkQueryNet adalah pasar mesin kueri ZK terbuka yang dapat langsung menerima kueri data dari kontrak pintar di rantai, dan juga dapat menghasilkan hasil kueri dan sertifikat kueri ZK yang sesuai melalui sirkuit mesin kueri ZK. Mesin ini berkisar dari yang sangat terspesialisasi (seperti menghitung volume transaksi pada DEX selama periode waktu tertentu) hingga abstraksi indeks data yang sangat umum dan bahasa kueri tingkat tinggi yang memenuhi berbagai kebutuhan aplikasi.
zkAggregatorRollup: Bertindak sebagai lapisan agregasi dan penyimpanan untuk zkFabric dan zkQueryNet. Ini memverifikasi bukti dari kedua komponen, menyimpan data yang dibuktikan, dan melakukan root status ZK-proof ke semua blockchain yang terhubung, memungkinkan dApps untuk secara langsung mengakses logika bisnis hasil pencarian kontrak pintar on-chain mereka yang dibuktikan secara langsung.
Melalui arsitektur modular ini, Brevis dapat menyediakan metode akses yang tidak dapat dipercaya, efisien dan fleksibel untuk kontrak pintar di semua rantai publik yang didukung. Proyek ini juga diadopsi dalam UNI versi V4 dan terintegrasi dengan Hooks dalam protokol (sebuah sistem yang mengintegrasikan logika khusus untuk berbagai pengguna) untuk memfasilitasi pembacaan data historis blockchain, mengurangi biaya bahan bakar, dan memastikan properti terpusat. Ini adalah contoh koprosesor zk yang menggerakkan DEX.
3.5 Keterlambatan
Lagrange adalah protokol ko-prosesor zk yang dapat dioperasikan yang dipimpin oleh 1kx dan Founders Fund. Tujuan utama dari protokol ini adalah untuk menyediakan interoperabilitas lintas rantai yang tidak dapat dipercaya dan mendukung inovasi aplikasi yang memerlukan penghitungan data besar yang rumit. Tidak seperti jembatan simpul tradisional, interoperabilitas lintas rantai Lagrange terutama dicapai melalui mekanisme ZK Big Data dan Komite Negara yang inovatif.
ZK Big Data: Produk ini adalah inti dari Langrange dan terutama bertanggung jawab untuk memproses dan memverifikasi data lintas rantai dan menghasilkan sertifikat ZK yang relevan. Komponen ini berisi Koprosesor ZK yang sangat paralel untuk melakukan penghitungan off-chain yang kompleks dan menghasilkan bukti tanpa pengetahuan. Basis data yang dapat diverifikasi yang dirancang khusus mendukung slot penyimpanan tak terbatas dan kueri SQL langsung untuk kontrak pintar. Mekanisme pembaruan dinamis hanya memperbarui titik data yang diubah untuk dikurangi Fungsionalitas terintegrasi dan waktu untuk membuktikan yang memungkinkan pengembang mengakses data historis menggunakan kueri SQL langsung dari kontrak pintar tanpa menulis sirkuit yang rumit, bersama-sama membentuk sistem pemrosesan dan verifikasi data blockchain berskala besar.
Komite Negara: Komponen ini adalah jaringan verifikasi terdesentralisasi yang terdiri dari beberapa node independen, setiap node menjaminkan ETH sebagai jaminan. Node ini berfungsi sebagai klien ringan ZK dan didedikasikan untuk memverifikasi status rollup spesifik yang dioptimalkan. Komite Negara berintegrasi dengan AVS EigenLayer, menggunakan mekanisme janji berat untuk meningkatkan keamanan, mendukung partisipasi node dalam jumlah tidak terbatas, dan mencapai pertumbuhan keamanan super-linear. Ini juga menyediakan "mode cepat" yang memungkinkan pengguna melakukan operasi lintas rantai tanpa menunggu jendela tantangan, sehingga sangat meningkatkan pengalaman pengguna. Kombinasi kedua teknologi ini memungkinkan Lagrange memproses data berskala besar secara efisien, melakukan penghitungan kompleks, serta mengirimkan dan memverifikasi hasil dengan aman di antara berbagai blockchain, memberikan dukungan untuk pengembangan aplikasi lintas rantai yang kompleks.
Lagrange saat ini telah terintegrasi dengan EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, dll., dan juga akan dihubungkan dalam ekosistem Ethereum sebagai ZK AVS pertama.
Referensi:
1.ABCDE：Mendalami Koprosesor ZK dan Masa Depannya：https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2.Hanya “ZK” yang Anda Butuhkan：https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c52
3.Risc nol：https://www.risczero.com/bonsai
4.Lagrange：https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.AxiomBlog：https://blog.axiom.xyz/
6. Nitrogen bertambah cepat! Bagaimana koprosesor ZK memecahkan hambatan data kontrak pintar: https://foresightnews.pro/article/detail/48239
