Ekspansi Pasar & Evolusi Teknis

Sektor koprocesor telah mengalami pertumbuhan yang luar biasa sejak 2024, dengan beberapa perkembangan kunci yang membentuk kembali lanskap:

• Adopsi ZK Coprocessor: Integrasi perusahaan dari coprocessor ZK telah meningkat sebesar 215% sejak akhir 2024, dengan lembaga keuangan memimpin implementasi untuk verifikasi transaksi historis
• Fungsionalitas lintas-rantai: Platform utama telah berkembang melebihi fungsionalitas hanya Ethereum, dengan 73% sekarang mendukung verifikasi data multi-rantai
• API Standar: Aliansi Standar Koprocesor yang terbentuk di Q1 2025 telah menetapkan antarmuka yang terpadu, mengurangi kompleksitas integrasi bagi pengembang sekitar 60%

Terobosan Teknis

Kemajuan signifikan telah muncul dalam teknologi inti yang menggerakkan koprosesor:

Evolusi Proyek & Lanskap Kompetitif

Aksiom

Axiom telah mempertahankan kepemimpinan pasar dengan memperkenalkanAxiomOS, sebuah sistem operasi untuk ketersediaan data yang terintegrasi dengan solusi L2 utama. Suite koproses tingkat enterprise mereka kini mendukung streaming data real-time dengan bukti validitas ZK.

Brevis

Setelah berhasil terintegrasi dengan EigenLayer, Brevis telah dikerahkanBrevis Nexus, menghubungkan fungsionalitas koprosesor di seluruh 9 jaringan blockchain utama. Arsitektur pemrosesan paralel mereka kini dapat menangani lebih dari 5.000 permintaan verifikasi simultan.

Herodotus

Herodotus telah memanfaatkan integrasi Starknet-nya untuk membuat Jembatan Waktu, memungkinkan kontrak pintar untuk mengakses data historis lintas rantai dengan biaya 97% lebih rendah dari metode tradisional. Program mitra mereka sekarang termasuk 40+ protokol DeFi utama.

Pemain-pemain yang sedang muncul

Peserta baru telah fokus pada aplikasi vertikal khusus:

• Sistem Data Kuantum: Dioptimalkan untuk verifikasi data perdagangan frekuensi tinggi
• ChronosLabs: Khusus dalam kepatuhan regulasi dan jejak audit historis
• ZKHistory: Menargetkan analisis data historis berkelas institusi dengan fitur keamanan bawaan

Integrasi dengan Infrastruktur Web3

Coprocessors semakin menjadi lapisan fundamental infrastruktur Web3:

• Integrasi dengan sistem abstraksi akun memungkinkan otentikasi lanjutan berdasarkan perilaku pengguna historis
• Protokol DeFi memanfaatkan koprosesor untuk penilaian risiko dinamis berdasarkan aktivitas on-chain historis
• Sistem tata kelola menerapkan mekanisme pemungutan suara yang dapat dipertanggungjawabkan melalui verifikasi partisipasi historis

Ringkasan

Lanskap koprocesor telah berkembang pesat hingga tahun 2025, bertransformasi dari teknologi eksperimental menjadi infrastruktur Web3 yang penting. Peningkatan teknis telah secara dramatis mengurangi biaya sambil memperluas kemampuan, menjadikan akses data historis praktis untuk aplikasi mainstream. Saat upaya standarisasi terus berlanjut dan fungsionalitas lintas-rantai berkembang, koprocesor mulai mendirikan diri sebagai tautan kritis antara keadaan blockchain saat ini dan catatan historisnya, memungkinkan generasi baru aplikasi terdesentralisasi yang cerdas dan berwawasan konteks.

Analisis Jejak Coprocessor 2024

Artikel ini memberikan tinjauan komprehensif tentang pengembangan dan asal-usul koprosesor, menganalisis tumpukan teknis dan keunggulan kompetitif dari berbagai pesaing di lintas saat ini, serta menjelaskan bagaimana koprosesor bekerja menggunakan Axiom sebagai contoh.

Apa itu coprocessor?

Mo Dong, salah satu pendiri Celer Network dan Brevis, percaya bahwa, dengan kata sederhana, sebuah koprosesor adalah alat yang memberikan "kemampuan analitik Dune" pada kontrak pintar.

Secara sederhana, kontrak pintar umum saat ini tidak dapat mengakses data historis. Misalnya, saat bekerja pada Protokol Manajemen Likuiditas, saya memerlukan data harga historis untuk menghitung seberapa sering dan dengan biaya berapa penyedia likuiditas melebihi rentang harga dalam AMM. Kami harus bergantung pada layanan indeks yang di-host oleh rantai seperti API GraphQL The Graph, karena tugas agregasi, pencarian, dan penyaringan tidak dapat dilakukan melalui interaksi kontrak saja. Memang, bahkan mengindeks data transaksi blockchain standar saja sulit, apalagi membaca data yang lebih kompleks daripada informasi dasar.

Mengenai protokol manajemen likuiditas, mengevaluasi kinerja historis dari kolam uji yang ada atau kolam pengguna masih memerlukan penggunaan API layanan indeks yang di-host oleh rantai. Data ini kemudian dihitung secara manual di Excel. Apakah ada layanan yang mampu menyederhanakan proses ini, menyediakan kontrak pintar dapp dengan kemampuan untuk menggabungkan, menyaring, dan menganalisis data ini secara langsung? Coprocessors dirancang untuk memecahkan masalah tersebut.

Mengapa disebut sebagai coprocessor?

Dalam sistem komputer awal, prosesor CPU seringkali hanya dapat melakukan operasi dasar. Itu perlu dipasangkan dengan "koprosesor" khusus untuk melakukan jenis tugas komputasi tertentu, seperti operasi floating-point, untuk meningkatkan kinerja.

Sekarang, kita dapat menganggap Ethereum sebagai superkomputer raksasa. Kontrak pintar di seluruh dunia hanya dapat mengakses data on-chain dari blok saat ini, bukan data historis termasuk catatan transaksi dan perubahan saldo akun. Hal ini karena desain Ethereum tidak menyediakan cara bagi kontrak pintar untuk mengakses data historis ini.

Mengakses data historis untuk memastikan kepercayaannya memerlukan metode kriptografi yang menghubungkan catatan historis ke blok saat ini. Namun, menghitung dan memverifikasi bukti ini secara langsung dalam kontrak pintar bisa memakan waktu dan mahal. Sebagai alternatif, kueri melalui node penyimpanan dapat dilakukan, namun kontrak pintar tidak dapat berinteraksi langsung dengan mereka, dan ada masalah kepercayaan. Jadi, bagaimana kita bisa menyelesaikan masalah kepercayaan ini dan mengaktifkan komputasi yang dapat diverifikasi? Dengan kata lain, bagaimana kita bisa memungkinkan pihak ketiga untuk memverifikasi langsung hasil komputasi untuk kebenaran, tanpa perlu mengeksekusi ulang komputasi itu sendiri? Solusinya mungkin terletak pada koprosesor, yang mirip dengan sistem komputer awal. Mereka dapat memperluas daya komputasi kontrak pintar di Ethereum, memberi mereka kemampuan baru untuk mengakses data historis dan melakukan perhitungan kompleks.

Bagaimana biasanya cara kerja seorang koprocesor?

Secara umum, alur kerja utama dari sebuah koprocessor yang memverifikasi data Ethereum adalah sebagai berikut:

1. Mengambil data historis dan melakukan perhitungan relevan dalam lingkungan di luar rantai melalui layanan;
2. Layanan akan menghasilkan jenis bukti untuk membuktikan bahwa operasinya dapat dipercaya;
3. Dapp pengembang akan berinteraksi dengan kontrak koprosesor yang diterapkan di Ethereum untuk memverifikasi bukti;
4. Setelah berinteraksi dengan kontrak koprosesor dan memverifikasi hasilnya, dapp dapat langsung mengakses data historis yang diperlukan tanpa kepercayaan.

Proyek di Ruang Coprocessor atau Verifiable Computation Space yang Luas

Bagian ini terutama menganalisis tumpukan teknis kunci dan keunggulan kompetitif dari pemain terkemuka di ruang koprocesor.

Aksiom

Sebagai pelopor dalam ruang koprocesor, Axiom sedang membangun infrastruktur data on-chain untuk menyederhanakan interaksi kontrak pintar dengan data on-chain. Axiom juga diakui sebagai pengenalkan konsep koprocesor. Kita akan membahas lebih dalam bagaimana koprocesor mereka bekerja nanti dalam artikel ini menggunakan Axiom sebagai contoh.

Lagrange

Lagrange berfokus pada bukti status lintas-rantai dan teknik pemrosesan paralel. Bukti mereka dapat mencapai verifikasi lintas-rantai tanpa bergantung pada protokol pesan lintas-rantai seperti zkBridge atau IBC. Pembuktian Paralel Lagrange sangat cocok untuk produk yang melibatkan re-staking, memperkuat posisi mereka dalam ekosistem RaaS (Rollup as a Service).

Tidak seperti bukti berurutan, bukti paralel dapat mendistribusikan beban kerjanya di ribuan utas secara bersamaan. Selain itu, restaking pada EigenLayer dapat mengamankannya. Dengan kata lain, pendekatan komputasi paralel dan pembuktian paralel ini memungkinkan skalabilitas horizontal yang lebih baik.

Salah satu kasus penggunaan dunia nyata adalah aplikasi Lagrange pada AltLayer. AltLayer menawarkan layanan verifikasi aktif untuk Restaked Rollup, membantu pengembang mengimplementasikan urutan terdesentralisasi dan memverifikasi kebenaran keadaan Rollup secara efisien. Pada Maret 2024, Lagrange bermitra dengan AltLayer untuk memanfaatkan pembuktian paralel untuk pengolahan bersama Rollup. Hal ini memastikan data on-chain yang dapat diverifikasi dan tanpa kepercayaan serta hasil komputasi untuk pelanggan RaaS AltLayer.

Herodotus

Erat terkait dengan ekosistem Starkware/Starknet, Herodotus bermitra dengan proyek-proyek seperti Snapshot. Mereka menyebut sistem koprosesor mereka “Storage Proof,” yang dapat digabungkan dengan bukti ZK untuk memungkinkan akses data lintas lapisan antara lapisan Ethereum yang berbeda.

Sumber: Situs Herodotus

Sistem bukti penyimpanan terdiri dari tiga komponen:

1. Bukti Inklusi: Konfirmasi data benar-benar ada dalam struktur data Ethereum.
2. Bukti Komputasi: Memverifikasi validitas alur kerja multi-langkah, terutama yang melibatkan konversi data atau operasi lainnya.
3. Bukti ZKMemungkinkan kontrak pintar untuk mengonfirmasi validitas bukti tanpa memproses semua data yang mendasarinya.

Setiap data on-chain dalam node arsip Ethereum dapat dibuktikan menggunakan sistem bukti penyimpanan.

Seperti coprocessor lainnya, sistem bukti penyimpanan dihasilkan di luar rantai dan diverifikasi di dalam rantai, meminimalkan konsumsi sumber daya dalam rantai. Ini juga mengurangi transfer data antara lapisan Ethereum dengan hanya mengirimkan hash blok atau akar akumulator untuk verifikasi.

Pro

Dikembangkan oleh Celer Network, Brevis adalah infrastruktur untuk membangun berbagai layanan data on-chain, termasuk ZK coprocessors. Celer Network, sebuah protokol interoperabilitas yang didirikan oleh Mo Dong dan Qingkai Liang, mengumpulkan $4 juta dalam IEO (Penawaran Pertukaran Awal) pada tahun 2019.

Celer Network telah mendeploy kontrak Brevis on-chain. Kontrak ini memverifikasi bukti dari permintaan koprocesor dan meneruskan hasilnya kembali ke kontrak dapp melalui fungsi panggilan balik. Pengembang dapat memanfaatkan SDK Brevis untuk memungkinkan dapp mengakses data historis on-chain dengan mudah. SDK ini menyembunyikan sirkuit kompleks, menghilangkan kebutuhan bagi pengembang untuk memiliki pengetahuan sebelumnya tentang ZK proofs. SDK Brevis dibangun di atas kerangka gnark yang dikembangkan oleh tim Consensys Linea. Selain itu, Brevis mendukung klien ringan ZK Ethereum, memungkinkannya untuk bekerja dengan data on-chain dari blockchain yang kompatibel dengan Ethereum EVM mana pun.

Sumber: Dokumentasi Brevis

Celer Network saat ini sedang mengembangkan coChain, sebuah blockchain yang berfokus pada ekosistem RaaS, menggunakan Brevis sebagai dasarnya. coChain adalah blockchain berdasarkan algoritma konsensus Proof-of-Stake (PoS) dan dapat menyediakan layanan staking dan slashing Ethereum.

Slashing merujuk pada proses menghukum validator yang melanggar aturan dalam ekosistem Ethereum PoS, termasuk denda dan perubahan status. Secara historis, tingkat slashing dalam ekosistem staking Ethereum sangat rendah, dengan data menunjukkan bahwa hanya sekitar 0,04% validator yang telah di-slash.

Fitur unik coChain adalah mengaitkan generasi hasil koprosesor ke imbalan dan hukuman dari Ethereum staking. Inilah prosesnya:

1. Kontrak pintar mengirimkan permintaan coprocessor, dan mekanisme konsensus PoS menghasilkan hasil coprocessor;
2. Hasil yang dihasilkan oleh PoS diserahkan ke blockchain sebagai “proposal” yang dapat “dipertanyakan” oleh bukti pengetahuan nol (ZK);
3. Jika tantangan bukti ZK berhasil, menunjukkan pelanggaran validator selama staking, taruhan validator yang sesuai dipotong langsung di Ethereum. Sebaliknya, jika hasil yang dihasilkan oleh PoS tetap tidak terbantahkan, dapp dapat langsung menggunakan hasil koprocesor tanpa menimbulkan biaya bukti ZK. Pendekatan "optimis" terhadap tantangan bukti, mirip dengan Optimism, menjaga biaya tetap rendah.

Secara keseluruhan, pendekatan coChain menggabungkan insentif kepercayaan/verifikasi coprocessors dengan ekosistem staking Ethereum. Di masa depan, itu akan terintegrasi dengan EigenLayer untuk mengurangi biaya bukti dari ZK coprocessors.

Nexus

Nexus zkVM memungkinkan verifikasi dari hasil komputasi on-chain apapun. Fitur uniknya adalah kemampuan untuk memverifikasi bukti ZK berdasarkan teknik lipatan. Didirikan pada tahun 2022, Nexus adalah pemain lain di ruang zkVM. Meskipun detailnya belum banyak diungkap, pendiri, Daniel Marin (lulusan Stanford dengan pengalaman sebelumnya di Google), menerbitkan makalah penelitian awal melalui Stanford Blockchain Club.

Teknologi lipat ZK dianggap sebagai cabang yang menjanjikan dalam solusi zkVM. Nexus zkVM mendukung verifikasi kedua bukti lipat dan skema akumulasi. Ini bertujuan untuk menjadi zkVM yang dapat diskalakan, modular, dan sumber terbuka. Tumpukan teknis mereka mencakup mekanisme agregasi bukti yang diparalelkan dalam skala besar berdasarkan Perhitungan Verifikasi Bertahap (IVC) dan berbagai skema lipatan seperti Nova, CycleFold, SuperNova, dan HyperNova. Mereka juga sedang mengembangkan Jaringan Nexus, jaringan penambangan bukti yang diparalelkan dalam skala besar yang dibangun di atas Nexus zkVM.

Sumber: Dokumentasi Nexus, Arsitektur Nexus zkVM

Tabel Perbandingan Pendekatan Teknis dan Keunggulan Bersaing di Jalur Coprosesor

Seperti yang bisa Anda lihat, berbagai proyek telah memilih tumpukan teknis yang berbeda berdasarkan ekosistem yang berbeda (Ethereum EVM, RaaS, lintas-rantai, Ethereum lintas-lapisan), metode bukti yang berbeda (Rollup vs ZK), atau solusi yang berbeda dalam bukti ZK (zk-SNARK, bukti lipatan, skema akumulasi, dll.). Mereka masing-masing memiliki kelebihan dan kelemahan mereka terkait keunggulan kompetitif dan pada akhirnya mempresentasikan bentuk produk yang berbeda: kontrak interaktif on-chain, SDK, dan jaringan yang dirancang untuk berbagai tujuan, seperti jaringan verifikasi staking dan jaringan verifikasi skala besar.

Sumber: Oleh Penulis

Operasi Khusus dari Coprocessors: Kasus Axiom

Mengapa Memilih Axiom?

Axiom adalah koprosesor bukti ZK yang dibuat untuk Ethereum. Ini memungkinkan kontrak pintar untuk mengakses data on-chain historis dan memastikan ketidakpercayaan komputasi off-chain melalui teknologi bukti ZK. Axiom didirikan oleh Jonathan Wang dan Yi Sun pada tahun 2022. Pada 25 Januari 2024, Axiom mengumumkan di Twitter bahwa mereka telah mengumpulkan \$20 juta dalam pendanaan Seri A yang dipimpin oleh Paradigm dan Standard Crypto. Ini adalah proyek pertama yang mengusulkan konsep "koprosesor" dan juga merupakan salah satu proyek yang paling didukung modal ventura di ruang angkasa.

Sumber: Akun Resmi Axiom X

Sejarah Axiom

Pada tahun 2017, Yi Sun meraih gelar PhD dalam matematika dari MIT dan juga bekerja untuk perusahaan perdagangan frekuensi tinggi untuk jangka waktu tertentu. Dia mulai menyelami bidang kriptokurensi dan menyadari bahwa bukti ZK adalah kunci untuk skalabilitas blockchain. Namun, saat itu, dia percaya bahwa teknologi ZK masih dalam tahap awal, sehingga dia memilih untuk terus mengamati ruang tersebut. Barulah pada akhir tahun 2021 teknologi ZK mulai berkembang, dengan infrastruktur dan alat pengembangan secara bertahap matang. Selain itu, Yi Sun menghadapi masalah dalam mengakses data historis dalam kontrak pintar yang dia tulis saat membangun protokol DeFi. Semua faktor ini menyebabkan lahirnya Axiom.

Teknologi Bukti ZK Apa yang Digunakan oleh Axiom?

Axiom saat ini menggunakan sistem bukti SNARK berdasarkan backend Halo2 dan KZG serta alat bukti ZK seperti tabel pencarian (LUT). Di masa lalu, bukti ZK kompleks dan sulit diaudit. Tabel pencarian adalah kumpulan nilai yang telah dihitung sebelumnya yang memungkinkan pihak pembuktian membuktikan dengan lebih efisien kepada pemeriksa bahwa nilai tersebut ada.

Bagaimana Axiom V2 Bekerja

Pada Januari 2024, Axiom V2 diluncurkan di jaringan utama Ethereum, mendukung akses ke transaksi, tanda terima, penyimpanan kontrak, header blok, dan data lain dari kontrak pintar. Ini berarti sekarang mendukung akses ke semua data historis di jaringan utama Ethereum.

Dengan menggunakan alat SDK yang dikembangkan oleh Axiom, pengembang dapat menulis sirkuit Axiom dalam Typescript untuk mengeluarkan permintaan data dan menyesuaikan perhitungan. Axiom unggul karena membuat sangat mudah bagi kontrak pintar untuk mengakses data on-chain:

1. Pengembang menggunakan Axiom Typescript SDK untuk menulis rangkaian Axiom dan mengeluarkan permintaan komputasi verifikasi ZK untuk data historis Ethereum;
2. Axiom melakukan komputasi yang diminta dan menghasilkan bukti ZK, membuktikan kebenaran data dan hasil komputasi;
3. Pengembang mengimplementasikan fungsi panggilan dalam kontrak pintar untuk memverifikasi dan menjalankan data yang dikirim dari Axiom dengan hasil bukti ZK;
4. Axiom melakukan kueri dengan mengirimkan transaksi on-chain, dan hasil yang dikembalikan dienkripsi oleh bukti ZK untuk memastikan keotentikannya.

Namun, berbeda dengan Herodotus, Axiom saat ini tidak mendukung kueri data historis dari jaringan Ethereum EVM lainnya atau jaringan L2 dan hanya fokus pada Ethereum mainnet. Dukungan di masa depan untuk fitur terkait tidak dikecualikan.

Aplikasi dari Axiom V2

Pada lapisan aplikasi, Axiom dapat membantu dapps dalam mengimplementasikan fungsi-fungsi berikut:

• Menyediakan hadiah dan program loyalitas berdasarkan catatan aktivitas on-chain pengguna
• Melaksanakan pertanggungjawaban berdasarkan perilaku pengguna di rantai
• Mendirikan orakel yang dapat disesuaikan sesuai dengan kebutuhan identitas, tata kelola, dan penyelesaian

Kesimpulan

Pemimpin saat ini dalam ruang koprocesor, Axiom, memiliki hubungan saling melengkapi dengan proyek light node seperti Succinct. Succinct berusaha untuk membuktikan konsensus Ethereum itu sendiri, sementara Axiom membuktikan data historis on-chain apa pun berdasarkan konsensus, dengan asumsi hasil konsensus diterima.

Bidang bukti ZK sedang berkembang pesat dengan penemuan inovatif seperti bukti lipatan, skema akumulasi, dan tabel pencarian besar. Pertumbuhan ini telah menarik perhatian pada proyek-proyek seperti Nexus, yang mendukung kemajuan terbaru dalam teknologi bukti ZK. Sementara bukti ZK menjadi mainstream, proyek-proyek lain seperti Lagrange juga mulai diperhatikan karena menyediakan bukti untuk Rollup melalui pembuktian paralel, sehingga mengisi kesenjangan pasar.

Kemajuan teknologi yang sedang berlangsung telah meningkatkan kinerja berbagai bukti pengetahuan, mengecilkan ukuran dan biaya verifikasinya. Dan ini memperluas penggunaan potensial mereka. Dalam konteks ini, fleksibilitas yang diberikan oleh modularisasi semakin diakui, terutama dalam ruang koproresor.