Apa itu Axiom? Solusi ZK Coprocessor yang Didanai oleh Paradigm

Seiring dengan meningkatnya kebutuhan data on-chain, Axiom muncul sebagai protokol koprosesor ZK yang dirancang khusus, memberdayakan kontrak pintar untuk melakukan query dan perhitungan atas seluruh keadaan historis Ethereum dengan bukti nol-pengetahuan. Didukung oleh pendanaan Seri A sebesar $20 juta dari Paradigm dan investor terkemuka lainnya, Axiom menjanjikan untuk membuka kasus penggunaan on-chain baru—berkisar dari analitik DeFi yang canggih hingga logika pemerintahan yang kompleks—tanpa asumsi kepercayaan atau biaya tambahan dari layanan off-chain. Sebagai pembuat konten di Gate, berikut adalah pengantar komprehensif Anda tentang Axiom: apa itu, bagaimana cara kerjanya, mengapa koprosesor ZK-nya penting, dan siapa yang ada di balik proyek ini.

Apa itu Axiom?

Axiom adalah protokol tanpa izin yang berfungsi sebagai koprosesor ZK untuk Ethereum. Alih-alih bergantung pada pengindeks terpusat atau oracle eksternal, pengembang membangun sirkuit Axiom—program zero-knowledge kustom—yang secara spesifik menentukan data dan perhitungan on-chain yang dibutuhkan. Ketika kontrak pintar mengajukan kueri di on-chain, Axiom menjalankan sirkuit terhadap status arsip Ethereum, menghasilkan bukti ZK yang ringkas dari eksekusi yang benar, dan mengembalikan hasil yang terverifikasi ke kontrak. Pendekatan ini memungkinkan tim dApp mengakses segala sesuatu mulai dari header blok historis hingga tanda terima transaksi dengan biaya gas yang jauh lebih rendah dan tanpa mempercayai penyedia data pihak ketiga.

Bagaimana Axiom Bekerja

Di balik layar, Axiom beroperasi dalam tiga tahap:

1. Pengajuan
Pengembang membuat sirkuit Axiom menggunakan Axiom Type_script_ SDK, mendefinisikan data dan logika on-chain yang diperlukan. Sirkuit tersebut dikerahkan pada kontrak Query Axiom, dan pengguna memanggilnya dengan mengirimkan transaksi dengan parameter kueri.

2. Pemenuhan
Node Axiom mengambil data historis yang diminta—header blok, Ethereum entri trie status, dan tanda terima transaksi—dari node arsip. Mereka menghitung hasil di luar rantai dan menghasilkan bukti ZK yang membuktikan kebenaran baik pengambilan data maupun perhitungan.

3. Verifikasi & Callback
Setelah bukti diteruskan di on-chain, kontrak pintar Axiom memverifikasinya dalam satu eksekusi on-chain. Jika valid, Axiom memanggil kembali kontrak pintar asli dengan hasil yang dihitung, memungkinkan akses tanpa kepercayaan dan efisien gas ke wawasan mendalam di on-chain.

Model ini memastikan bahwa setiap hasil membawa jaminan kriptografi dari Ethereum, sambil secara drastis mengurangi kebutuhan komputasi dan penyimpanan di blockchain.

Manfaat ZK Coprocessor Axiom

Desain Axiom membawa beberapa keuntungan dibandingkan solusi pengindeksan data tradisional:

• Akses Historis Penuh: Tanyakan status atau riwayat transaksi dari blok mana pun tanpa menjalankan node arsip Anda sendiri.
• Integritas Data Zero-Trust: Bukti ZK menghilangkan ketergantungan pada oracle terpusat—hasil dapat diverifikasi di on-chain.
• Efisiensi Gas: Dengan memindahkan komputasi berat dan pencarian data ke luar rantai, Axiom mengurangi biaya gas untuk kueri kompleks hingga 90%.
• Integrasi Kontrak Pintar yang Mulus: Kontrak berinteraksi dengan Axiom melalui API Query yang sederhana, memerlukan perubahan kode yang minimal.
• Desain Komposable: Beberapa sirkuit dapat digabungkan untuk membangun aplikasi on-chain yang lebih kaya, mulai dari alat audit otomatis hingga strategi DeFi yang canggih.

Tim riset Gate memanfaatkan kemampuan ini untuk memprototipe dApps analitik DeFi baru, dan kami terus memantau setiap acara airdrop Axiom untuk memberikan penghargaan kepada anggota komunitas awal.

Tim dan Investor

1. Tim Inti
Axiom didirikan oleh Jonathan Wang dan Yi Sun, keduanya mantan akademisi dengan keahlian mendalam dalam bukti nol-pengetahuan dan sistem terdistribusi. Jonathan, seorang PhD dalam ilmu komputer dari MIT, fokus pada desain protokol dan kriptografi. Yi, dengan latar belakang mengajar di Chicago dan Cambridge, memimpin pengalaman pengembang dan arsitektur SDK.

2. Investor dan Pendanaan
Putaran Series A senilai $20 juta proyek ini dipimpin oleh Paradigm, dengan partisipasi dari Standard Crypto, Polychain, dan beberapa investor malaikat. Modal ini akan mempercepat peluncuran mainnet Axiom, memperluas jaringan validator, dan mendanai hibah ekosistem untuk integrasi ZK coprocessor.

Proyek Serupa

Sementara Axiom mengkhususkan diri dalam koproses ZK on-chain, ada beberapa solusi terkait yang ada:

• Brevis: Berfokus pada komputasi off-chain berbasis ZK untuk data Ethereum, dengan arsitektur prover proprietary.
• Bonsai: Menawarkan bukti berbasis zkVM untuk komputasi on-chain dan off-chain, dikembangkan oleh Risk Zero.

Setiap proyek menargetkan trade-off yang berbeda dalam desain sistem bukti, tetapi integrasi ketat Axiom dengan status arsip Ethereum dan SDK yang ramah pengembang membedakannya.

Axiom mewakili langkah besar ke depan dalam ketersediaan data terdesentralisasi dan komputasi. Seiring Gate terus memantau inovasi ZK, kami akan membawa Anda tutorial tentang pembangunan dengan sirkuit Axiom, pembaruan tentang pengumuman airdrop Axiom, dan analisis lebih dalam tentang kasus penggunaan yang dapat mendefinisikan ulang aplikasi on-chain. Tetap ikuti blog kami untuk yang terbaru tentang Axiom dan protokol blockchain mutakhir lainnya.