[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"article-zk-proofs-melampaui-rollups-inferensi-ai-terverifikasi-ethereum":3},{"article":4,"author":51},{"id":5,"category_id":6,"title":7,"slug":8,"excerpt":9,"content_md":10,"content_html":11,"locale":12,"author_id":13,"published":14,"published_at":15,"meta_title":7,"meta_description":16,"focus_keyword":17,"og_image":18,"canonical_url":18,"robots_meta":19,"created_at":15,"updated_at":15,"tags":20,"category_name":30,"related_articles":31},"d0000000-0000-0000-0000-000000000595","a0000000-0000-0000-0000-000000000022","ZK Proofs Melampaui Rollups: Inferensi AI Terverifikasi di Ethereum","zk-proofs-melampaui-rollups-inferensi-ai-terverifikasi-ethereum","Zero-knowledge proofs bukan lagi sekadar alat penskalaan. Pada 2026, zkML memungkinkan inferensi AI terverifikasi on-chain, ZK coprocessor memindahkan komputasi berat off-chain dengan verifikasi on-chain, dan sistem pembuktian baru seperti SP1 dan Jolt menjadikannya praktis.","## Apa yang Dimungkinkan ZK Proofs di Luar Penskalaan\n\nZero-knowledge proofs telah identik dengan penskalaan blockchain sejak 2021. zkSync, StarkNet, Scroll, dan Polygon zkEVM menggunakannya untuk mengompres ribuan transaksi menjadi satu bukti yang diverifikasi di Ethereum L1. Tetapi penskalaan hanyalah aplikasi pertama. Kekuatan nyata ZK proofs adalah **komputasi terverifikasi** — kemampuan membuktikan bahwa program sembarang dieksekusi dengan benar tanpa menjalankannya ulang.\n\nPembingkaian ini penting: ZK bukan teknologi penskalaan yang kebetulan memiliki kegunaan lain. ZK adalah **teknologi komputasi terverifikasi serbaguna** yang kebetulan menemukan pasar skala besar pertamanya di penskalaan blockchain.\n\nPada 2026, aplikasi ZK yang paling menarik bukan rollup. Aplikasi tersebut adalah:\n\n- **zkML** — membuktikan bahwa model machine learning menghasilkan output tertentu tanpa mengungkapkan bobot model\n- **ZK coprocessor** — menjalankan komputasi berat off-chain dan memposting bukti ringkas on-chain\n- **Kredensial terverifikasi** — membuktikan atribut identitas (usia, kewarganegaraan, skor kredit) tanpa mengungkapkan data yang mendasarinya\n- **Perlindungan MEV** — mengenkripsi niat transaksi dan membuktikan validitas tanpa mengungkapkan detail ke block builder\n\n## zkML: Inferensi AI Terverifikasi\n\nPersilangan kecerdasan buatan dan blockchain kebanyakan hanya hype hingga saat ini. Tetapi zkML — menerapkan zero-knowledge proofs ke inferensi machine learning — memecahkan masalah nyata: **bagaimana Anda mempercayai bahwa model AI menghasilkan output tertentu?**\n\n### Masalah Kepercayaan\n\nBayangkan protokol peminjaman DeFi yang menggunakan model AI untuk penilaian kredit. Model mengambil riwayat on-chain peminjam dan mengembalikan skor kredit yang menentukan rasio agunan mereka. Tiga masalah kepercayaan muncul:\n\n1. **Integritas model** — Bagaimana peminjam tahu protokol menggunakan model yang diklaim dan bukan yang berbeda yang mendiskriminasi mereka?\n2. **Integritas input** — Bagaimana protokol membuktikan ia menggunakan data on-chain yang benar sebagai input, bukan data palsu?\n3. **Integritas eksekusi** — Bagaimana siapa pun memverifikasi komputasi dilakukan dengan benar?\n\nTanpa ZK proofs, jawabannya adalah \"percaya operator protokol.\" Dengan zkML, jawabannya menjadi: \"verifikasi buktinya.\"\n\n### Cara Kerja zkML\n\nSistem zkML mengonversi inferensi jaringan saraf ke sirkuit aritmetik, lalu menghasilkan ZK proof dari eksekusi yang benar:\n\n```\n1. Kuantisasi model: Konversi bobot floating-point ke fixed-point\n   (misalnya float32 → int8 atau int16)\n\n2. Kompilasi sirkuit: Terjemahkan setiap lapisan jaringan saraf ke\n   batasan aritmetik:\n   - Lapisan linear → sirkuit perkalian matriks\n   - Aktivasi ReLU → sirkuit perbandingan\n   - Softmax → sirkuit tabel lookup\n\n3. Pembuatan witness: Eksekusi model dengan input aktual,\n   mencatat semua nilai antara\n\n4. Pembuatan bukti: Gunakan sistem pembuktian (Halo2, Plonky3, SP1)\n   untuk menghasilkan bukti ringkas bahwa sirkuit dieksekusi dengan benar\n\n5. Verifikasi: Smart contract di Ethereum memverifikasi bukti\n   dalam waktu O(1), terlepas dari ukuran model\n```\n\n### Batasan Saat Ini dan Batas Praktis\n\nzkML pada 2026 nyata tetapi terbatas:\n\n| Ukuran Model | Waktu Pembuktian | Ukuran Bukti | Gas Verifikasi | Praktis? |\n|-------------|-----------------|-------------|----------------|----------|\n| Kecil (100K params) | 5-30 detik | 256 bytes | ~300K gas | Ya |\n| Sedang (1M params) | 1-5 menit | 256 bytes | ~300K gas | Ya, untuk tugas async |\n| Menengah (10M params) | 15-60 menit | 256 bytes | ~300K gas | Layak dengan GPU prover |\n| Besar (100M+ params) | Berjam-jam hingga berhari-hari | 256 bytes | ~300K gas | Riset saja |\n| Skala LLM (1B+ params) | Tidak praktis | — | — | Belum |\n\nWawasan kunci: **ukuran bukti dan biaya verifikasi konstan** terlepas dari ukuran model. Hanya waktu pembuktian yang berskala dengan kompleksitas komputasi.\n\n### Kasus Penggunaan zkML dalam Produksi\n\n**1. Penilaian kredit on-chain**\n\nProtokol DeFi menjalankan model penilaian kredit pada riwayat transaksi on-chain peminjam. ZK proof dari zkML menjamin: model yang benar digunakan, data input yang benar digunakan, dan komputasi dilakukan dengan benar.\n\n**2. Moderasi konten terverifikasi**\n\nPlatform media sosial terdesentralisasi menggunakan classifier AI untuk mendeteksi konten berbahaya. zkML membuktikan classifier diterapkan secara konsisten pada semua postingan — tanpa penyensoran selektif, tanpa bias tersembunyi.\n\n**3. Machine learning privat**\n\nProtokol kesehatan membuktikan bahwa model diagnostik menghasilkan hasil tertentu untuk data pasien — tanpa mengungkapkan data pasien maupun bobot model.\n\n## ZK Coprocessor: Komputasi Off-Chain, Verifikasi On-Chain\n\nSmart contract di Ethereum sengaja dibatasi dalam komputasi. Biaya gas membuat logika kompleks sangat mahal. ZK coprocessor memecahkan ini dengan memindahkan komputasi off-chain sambil menjaga verifikasi on-chain.\n\n### Arsitektur\n\n```\n+------------------+     +-------------------+     +------------------+\n| Smart Contract   |---->| ZK Coprocessor    |---->| Proof Verifier   |\n| (Permintaan)     |     | (Off-chain)       |     | (On-chain)       |\n+------------------+     +-------------------+     +------------------+\n| 1. Emit event    |     | 2. Baca state     |     | 4. Verifikasi    |\n| dengan query     |     | 3. Eksekusi program|    |    bukti         |\n|                  |     |    Buat bukti     |     | 5. Simpan hasil  |\n+------------------+     +-------------------+     +------------------+\n```\n\n### Mengapa Bukan Oracle Saja?\n\nOracle (Chainlink, API3) menyediakan data off-chain ke smart contract, tetapi memerlukan kepercayaan pada operator oracle. ZK coprocessor menyediakan **komputasi tanpa kepercayaan**:\n\n| Properti | Oracle | ZK Coprocessor |\n|----------|--------|----------------|\n| Model kepercayaan | Percaya operator | Percaya matematika (verifikasi bukti) |\n| Sumber data | API eksternal | State blockchain (terverifikasi) |\n| Komputasi | Agregasi sederhana | Program sembarang |\n| Biaya | Biaya per permintaan | Gas verifikasi bukti |\n| Latensi | Detik | Menit (waktu pembuktian) |\n\n### Proyek ZK Coprocessor Terkemuka\n\n**Axiom** — ZK coprocessor pertama untuk Ethereum, fokus pada kueri state historis.\n\n**Brevis** — ZK coprocessor serbaguna yang mendukung komputasi kustom atas data blockchain.\n\n**Lagrange** — spesialisasi dalam bukti state lintas-chain.\n\n## Perbandingan Sistem Pembuktian: SP1 vs RISC Zero vs Jolt\n\nPilihan sistem pembuktian menentukan pengalaman pengembang, kinerja, dan keamanan aplikasi ZK.\n\n### SP1 (Succinct)\n\nSP1 adalah zkVM yang membuktikan eksekusi program RISC-V sembarang. Pengembang menulis kode Rust standar, mengompilasinya ke RISC-V, dan SP1 menghasilkan ZK proof dari eksekusi yang benar.\n\n### RISC Zero\n\nRISC Zero adalah perintis pendekatan zkVM RISC-V. Ia menggunakan sistem pembuktian berbasis STARK dan menawarkan ekosistem tooling paling matang.\n\n### Jolt (a16z)\n\nJolt menggunakan pendekatan pembuktian berbasis lookup baru (Lasso + Surge) yang menghindari sirkuit aritmetik kompleks yang digunakan oleh SNARK dan STARK.\n\n### Tabel Perbandingan\n\n| Fitur | SP1 | RISC Zero | Jolt |\n|-------|-----|-----------|------|\n| ISA | RISC-V | RISC-V | RISC-V |\n| Sistem bukti | Plonky3 (STARK) | STARK + Groth16 wrapper | Lasso\u002FSurge (sumcheck) |\n| Bahasa | Rust | Rust | Rust |\n| Gas verifikasi | ~270K | ~250K | ~300K |\n| Kecepatan pembuktian | Cepat (1x) | Sedang (1,5x lebih lambat) | Cepat (0,9x) |\n| Akselerasi GPU | Ya (CUDA) | Ya (CUDA, Metal) | Ya (CUDA) |\n| Kematangan | Produksi (2025+) | Produksi (2024+) | Beta (2025+) |\n\n## Pertanyaan yang Sering Diajukan\n\n### Apa perbedaan antara ZK proofs dan ZK rollups?\n\nZK rollups adalah satu aplikasi dari ZK proofs — menggunakan ZK proofs untuk memverifikasi eksekusi transaksi batch untuk penskalaan blockchain. ZK proofs sendiri adalah alat kriptografi umum untuk komputasi terverifikasi.\n\n### Apakah saya perlu memahami kriptografi untuk membangun dengan ZK?\n\nDengan zkVM modern (SP1, RISC Zero, Jolt), tidak. Anda menulis kode Rust standar, dan zkVM menangani pembuatan bukti kriptografi.\n\n### Berapa biaya verifikasi ZK proof di Ethereum?\n\nVerifikasi bukti Groth16 memerlukan biaya sekitar 250-300K gas (~$0,50-1,50 pada harga gas tipikal). Verifikasi STARK lebih mahal (~500K-1M gas) tetapi dapat dikurangi melalui komposisi bukti.\n\n### Bisakah ZK proofs menjamin keamanan AI?\n\nTidak. ZK proofs menjamin integritas komputasional — bahwa program berjalan dengan benar. Mereka tidak menjamin bahwa program (atau model) itu sendiri aman, tidak bias, atau selaras dengan nilai-nilai manusia.\n\n### Kapan ZK proofs akan bekerja untuk large language model?\n\nTidak pada 2026. zkVM saat ini dapat menangani model hingga ~10M parameter dalam waktu yang wajar. LLM memiliki miliaran parameter. Akselerasi hardware (ASIC) dan perbaikan algoritmik mungkin membuat pembuktian LLM berukuran sedang layak pada 2028-2029.","\u003Ch2 id=\"apa-yang-dimungkinkan-zk-proofs-di-luar-penskalaan\">Apa yang Dimungkinkan ZK Proofs di Luar Penskalaan\u003C\u002Fh2>\n\u003Cp>Zero-knowledge proofs telah identik dengan penskalaan blockchain sejak 2021. zkSync, StarkNet, Scroll, dan Polygon zkEVM menggunakannya untuk mengompres ribuan transaksi menjadi satu bukti yang diverifikasi di Ethereum L1. Tetapi penskalaan hanyalah aplikasi pertama. Kekuatan nyata ZK proofs adalah \u003Cstrong>komputasi terverifikasi\u003C\u002Fstrong> — kemampuan membuktikan bahwa program sembarang dieksekusi dengan benar tanpa menjalankannya ulang.\u003C\u002Fp>\n\u003Cp>Pembingkaian ini penting: ZK bukan teknologi penskalaan yang kebetulan memiliki kegunaan lain. ZK adalah \u003Cstrong>teknologi komputasi terverifikasi serbaguna\u003C\u002Fstrong> yang kebetulan menemukan pasar skala besar pertamanya di penskalaan blockchain.\u003C\u002Fp>\n\u003Cp>Pada 2026, aplikasi ZK yang paling menarik bukan rollup. Aplikasi tersebut adalah:\u003C\u002Fp>\n\u003Cul>\n\u003Cli>\u003Cstrong>zkML\u003C\u002Fstrong> — membuktikan bahwa model machine learning menghasilkan output tertentu tanpa mengungkapkan bobot model\u003C\u002Fli>\n\u003Cli>\u003Cstrong>ZK coprocessor\u003C\u002Fstrong> — menjalankan komputasi berat off-chain dan memposting bukti ringkas on-chain\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Kredensial terverifikasi\u003C\u002Fstrong> — membuktikan atribut identitas (usia, kewarganegaraan, skor kredit) tanpa mengungkapkan data yang mendasarinya\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Perlindungan MEV\u003C\u002Fstrong> — mengenkripsi niat transaksi dan membuktikan validitas tanpa mengungkapkan detail ke block builder\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"zkml-inferensi-ai-terverifikasi\">zkML: Inferensi AI Terverifikasi\u003C\u002Fh2>\n\u003Cp>Persilangan kecerdasan buatan dan blockchain kebanyakan hanya hype hingga saat ini. Tetapi zkML — menerapkan zero-knowledge proofs ke inferensi machine learning — memecahkan masalah nyata: \u003Cstrong>bagaimana Anda mempercayai bahwa model AI menghasilkan output tertentu?\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Ch3>Masalah Kepercayaan\u003C\u002Fh3>\n\u003Cp>Bayangkan protokol peminjaman DeFi yang menggunakan model AI untuk penilaian kredit. Model mengambil riwayat on-chain peminjam dan mengembalikan skor kredit yang menentukan rasio agunan mereka. Tiga masalah kepercayaan muncul:\u003C\u002Fp>\n\u003Col>\n\u003Cli>\u003Cstrong>Integritas model\u003C\u002Fstrong> — Bagaimana peminjam tahu protokol menggunakan model yang diklaim dan bukan yang berbeda yang mendiskriminasi mereka?\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Integritas input\u003C\u002Fstrong> — Bagaimana protokol membuktikan ia menggunakan data on-chain yang benar sebagai input, bukan data palsu?\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Integritas eksekusi\u003C\u002Fstrong> — Bagaimana siapa pun memverifikasi komputasi dilakukan dengan benar?\u003C\u002Fli>\n\u003C\u002Fol>\n\u003Cp>Tanpa ZK proofs, jawabannya adalah “percaya operator protokol.” Dengan zkML, jawabannya menjadi: “verifikasi buktinya.”\u003C\u002Fp>\n\u003Ch3>Cara Kerja zkML\u003C\u002Fh3>\n\u003Cp>Sistem zkML mengonversi inferensi jaringan saraf ke sirkuit aritmetik, lalu menghasilkan ZK proof dari eksekusi yang benar:\u003C\u002Fp>\n\u003Cpre>\u003Ccode>1. Kuantisasi model: Konversi bobot floating-point ke fixed-point\n   (misalnya float32 → int8 atau int16)\n\n2. Kompilasi sirkuit: Terjemahkan setiap lapisan jaringan saraf ke\n   batasan aritmetik:\n   - Lapisan linear → sirkuit perkalian matriks\n   - Aktivasi ReLU → sirkuit perbandingan\n   - Softmax → sirkuit tabel lookup\n\n3. Pembuatan witness: Eksekusi model dengan input aktual,\n   mencatat semua nilai antara\n\n4. Pembuatan bukti: Gunakan sistem pembuktian (Halo2, Plonky3, SP1)\n   untuk menghasilkan bukti ringkas bahwa sirkuit dieksekusi dengan benar\n\n5. Verifikasi: Smart contract di Ethereum memverifikasi bukti\n   dalam waktu O(1), terlepas dari ukuran model\n\u003C\u002Fcode>\u003C\u002Fpre>\n\u003Ch3>Batasan Saat Ini dan Batas Praktis\u003C\u002Fh3>\n\u003Cp>zkML pada 2026 nyata tetapi terbatas:\u003C\u002Fp>\n\u003Ctable>\u003Cthead>\u003Ctr>\u003Cth>Ukuran Model\u003C\u002Fth>\u003Cth>Waktu Pembuktian\u003C\u002Fth>\u003Cth>Ukuran Bukti\u003C\u002Fth>\u003Cth>Gas Verifikasi\u003C\u002Fth>\u003Cth>Praktis?\u003C\u002Fth>\u003C\u002Ftr>\u003C\u002Fthead>\u003Ctbody>\n\u003Ctr>\u003Ctd>Kecil (100K params)\u003C\u002Ftd>\u003Ctd>5-30 detik\u003C\u002Ftd>\u003Ctd>256 bytes\u003C\u002Ftd>\u003Ctd>~300K gas\u003C\u002Ftd>\u003Ctd>Ya\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Sedang (1M params)\u003C\u002Ftd>\u003Ctd>1-5 menit\u003C\u002Ftd>\u003Ctd>256 bytes\u003C\u002Ftd>\u003Ctd>~300K gas\u003C\u002Ftd>\u003Ctd>Ya, untuk tugas async\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Menengah (10M params)\u003C\u002Ftd>\u003Ctd>15-60 menit\u003C\u002Ftd>\u003Ctd>256 bytes\u003C\u002Ftd>\u003Ctd>~300K gas\u003C\u002Ftd>\u003Ctd>Layak dengan GPU prover\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Besar (100M+ params)\u003C\u002Ftd>\u003Ctd>Berjam-jam hingga berhari-hari\u003C\u002Ftd>\u003Ctd>256 bytes\u003C\u002Ftd>\u003Ctd>~300K gas\u003C\u002Ftd>\u003Ctd>Riset saja\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Skala LLM (1B+ params)\u003C\u002Ftd>\u003Ctd>Tidak praktis\u003C\u002Ftd>\u003Ctd>—\u003C\u002Ftd>\u003Ctd>—\u003C\u002Ftd>\u003Ctd>Belum\u003C\u002Ftd>\u003C\u002Ftr>\n\u003C\u002Ftbody>\u003C\u002Ftable>\n\u003Cp>Wawasan kunci: \u003Cstrong>ukuran bukti dan biaya verifikasi konstan\u003C\u002Fstrong> terlepas dari ukuran model. Hanya waktu pembuktian yang berskala dengan kompleksitas komputasi.\u003C\u002Fp>\n\u003Ch3>Kasus Penggunaan zkML dalam Produksi\u003C\u002Fh3>\n\u003Cp>\u003Cstrong>1. Penilaian kredit on-chain\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Cp>Protokol DeFi menjalankan model penilaian kredit pada riwayat transaksi on-chain peminjam. ZK proof dari zkML menjamin: model yang benar digunakan, data input yang benar digunakan, dan komputasi dilakukan dengan benar.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>2. Moderasi konten terverifikasi\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Cp>Platform media sosial terdesentralisasi menggunakan classifier AI untuk mendeteksi konten berbahaya. zkML membuktikan classifier diterapkan secara konsisten pada semua postingan — tanpa penyensoran selektif, tanpa bias tersembunyi.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>3. Machine learning privat\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Cp>Protokol kesehatan membuktikan bahwa model diagnostik menghasilkan hasil tertentu untuk data pasien — tanpa mengungkapkan data pasien maupun bobot model.\u003C\u002Fp>\n\u003Ch2 id=\"zk-coprocessor-komputasi-off-chain-verifikasi-on-chain\">ZK Coprocessor: Komputasi Off-Chain, Verifikasi On-Chain\u003C\u002Fh2>\n\u003Cp>Smart contract di Ethereum sengaja dibatasi dalam komputasi. Biaya gas membuat logika kompleks sangat mahal. ZK coprocessor memecahkan ini dengan memindahkan komputasi off-chain sambil menjaga verifikasi on-chain.\u003C\u002Fp>\n\u003Ch3>Arsitektur\u003C\u002Fh3>\n\u003Cpre>\u003Ccode>+------------------+     +-------------------+     +------------------+\n| Smart Contract   |---->| ZK Coprocessor    |---->| Proof Verifier   |\n| (Permintaan)     |     | (Off-chain)       |     | (On-chain)       |\n+------------------+     +-------------------+     +------------------+\n| 1. Emit event    |     | 2. Baca state     |     | 4. Verifikasi    |\n| dengan query     |     | 3. Eksekusi program|    |    bukti         |\n|                  |     |    Buat bukti     |     | 5. Simpan hasil  |\n+------------------+     +-------------------+     +------------------+\n\u003C\u002Fcode>\u003C\u002Fpre>\n\u003Ch3>Mengapa Bukan Oracle Saja?\u003C\u002Fh3>\n\u003Cp>Oracle (Chainlink, API3) menyediakan data off-chain ke smart contract, tetapi memerlukan kepercayaan pada operator oracle. ZK coprocessor menyediakan \u003Cstrong>komputasi tanpa kepercayaan\u003C\u002Fstrong>:\u003C\u002Fp>\n\u003Ctable>\u003Cthead>\u003Ctr>\u003Cth>Properti\u003C\u002Fth>\u003Cth>Oracle\u003C\u002Fth>\u003Cth>ZK Coprocessor\u003C\u002Fth>\u003C\u002Ftr>\u003C\u002Fthead>\u003Ctbody>\n\u003Ctr>\u003Ctd>Model kepercayaan\u003C\u002Ftd>\u003Ctd>Percaya operator\u003C\u002Ftd>\u003Ctd>Percaya matematika (verifikasi bukti)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Sumber data\u003C\u002Ftd>\u003Ctd>API eksternal\u003C\u002Ftd>\u003Ctd>State blockchain (terverifikasi)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Komputasi\u003C\u002Ftd>\u003Ctd>Agregasi sederhana\u003C\u002Ftd>\u003Ctd>Program sembarang\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Biaya\u003C\u002Ftd>\u003Ctd>Biaya per permintaan\u003C\u002Ftd>\u003Ctd>Gas verifikasi bukti\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Latensi\u003C\u002Ftd>\u003Ctd>Detik\u003C\u002Ftd>\u003Ctd>Menit (waktu pembuktian)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003C\u002Ftbody>\u003C\u002Ftable>\n\u003Ch3>Proyek ZK Coprocessor Terkemuka\u003C\u002Fh3>\n\u003Cp>\u003Cstrong>Axiom\u003C\u002Fstrong> — ZK coprocessor pertama untuk Ethereum, fokus pada kueri state historis.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>Brevis\u003C\u002Fstrong> — ZK coprocessor serbaguna yang mendukung komputasi kustom atas data blockchain.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>Lagrange\u003C\u002Fstrong> — spesialisasi dalam bukti state lintas-chain.\u003C\u002Fp>\n\u003Ch2 id=\"perbandingan-sistem-pembuktian-sp1-vs-risc-zero-vs-jolt\">Perbandingan Sistem Pembuktian: SP1 vs RISC Zero vs Jolt\u003C\u002Fh2>\n\u003Cp>Pilihan sistem pembuktian menentukan pengalaman pengembang, kinerja, dan keamanan aplikasi ZK.\u003C\u002Fp>\n\u003Ch3>SP1 (Succinct)\u003C\u002Fh3>\n\u003Cp>SP1 adalah zkVM yang membuktikan eksekusi program RISC-V sembarang. Pengembang menulis kode Rust standar, mengompilasinya ke RISC-V, dan SP1 menghasilkan ZK proof dari eksekusi yang benar.\u003C\u002Fp>\n\u003Ch3>RISC Zero\u003C\u002Fh3>\n\u003Cp>RISC Zero adalah perintis pendekatan zkVM RISC-V. Ia menggunakan sistem pembuktian berbasis STARK dan menawarkan ekosistem tooling paling matang.\u003C\u002Fp>\n\u003Ch3>Jolt (a16z)\u003C\u002Fh3>\n\u003Cp>Jolt menggunakan pendekatan pembuktian berbasis lookup baru (Lasso + Surge) yang menghindari sirkuit aritmetik kompleks yang digunakan oleh SNARK dan STARK.\u003C\u002Fp>\n\u003Ch3>Tabel Perbandingan\u003C\u002Fh3>\n\u003Ctable>\u003Cthead>\u003Ctr>\u003Cth>Fitur\u003C\u002Fth>\u003Cth>SP1\u003C\u002Fth>\u003Cth>RISC Zero\u003C\u002Fth>\u003Cth>Jolt\u003C\u002Fth>\u003C\u002Ftr>\u003C\u002Fthead>\u003Ctbody>\n\u003Ctr>\u003Ctd>ISA\u003C\u002Ftd>\u003Ctd>RISC-V\u003C\u002Ftd>\u003Ctd>RISC-V\u003C\u002Ftd>\u003Ctd>RISC-V\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Sistem bukti\u003C\u002Ftd>\u003Ctd>Plonky3 (STARK)\u003C\u002Ftd>\u003Ctd>STARK + Groth16 wrapper\u003C\u002Ftd>\u003Ctd>Lasso\u002FSurge (sumcheck)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Bahasa\u003C\u002Ftd>\u003Ctd>Rust\u003C\u002Ftd>\u003Ctd>Rust\u003C\u002Ftd>\u003Ctd>Rust\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Gas verifikasi\u003C\u002Ftd>\u003Ctd>~270K\u003C\u002Ftd>\u003Ctd>~250K\u003C\u002Ftd>\u003Ctd>~300K\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Kecepatan pembuktian\u003C\u002Ftd>\u003Ctd>Cepat (1x)\u003C\u002Ftd>\u003Ctd>Sedang (1,5x lebih lambat)\u003C\u002Ftd>\u003Ctd>Cepat (0,9x)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Akselerasi GPU\u003C\u002Ftd>\u003Ctd>Ya (CUDA)\u003C\u002Ftd>\u003Ctd>Ya (CUDA, Metal)\u003C\u002Ftd>\u003Ctd>Ya (CUDA)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003Ctr>\u003Ctd>Kematangan\u003C\u002Ftd>\u003Ctd>Produksi (2025+)\u003C\u002Ftd>\u003Ctd>Produksi (2024+)\u003C\u002Ftd>\u003Ctd>Beta (2025+)\u003C\u002Ftd>\u003C\u002Ftr>\n\u003C\u002Ftbody>\u003C\u002Ftable>\n\u003Ch2 id=\"pertanyaan-yang-sering-diajukan\">Pertanyaan yang Sering Diajukan\u003C\u002Fh2>\n\u003Ch3 id=\"apa-perbedaan-antara-zk-proofs-dan-zk-rollups\">Apa perbedaan antara ZK proofs dan ZK rollups?\u003C\u002Fh3>\n\u003Cp>ZK rollups adalah satu aplikasi dari ZK proofs — menggunakan ZK proofs untuk memverifikasi eksekusi transaksi batch untuk penskalaan blockchain. ZK proofs sendiri adalah alat kriptografi umum untuk komputasi terverifikasi.\u003C\u002Fp>\n\u003Ch3 id=\"apakah-saya-perlu-memahami-kriptografi-untuk-membangun-dengan-zk\">Apakah saya perlu memahami kriptografi untuk membangun dengan ZK?\u003C\u002Fh3>\n\u003Cp>Dengan zkVM modern (SP1, RISC Zero, Jolt), tidak. Anda menulis kode Rust standar, dan zkVM menangani pembuatan bukti kriptografi.\u003C\u002Fp>\n\u003Ch3 id=\"berapa-biaya-verifikasi-zk-proof-di-ethereum\">Berapa biaya verifikasi ZK proof di Ethereum?\u003C\u002Fh3>\n\u003Cp>Verifikasi bukti Groth16 memerlukan biaya sekitar 250-300K gas (~$0,50-1,50 pada harga gas tipikal). Verifikasi STARK lebih mahal (~500K-1M gas) tetapi dapat dikurangi melalui komposisi bukti.\u003C\u002Fp>\n\u003Ch3 id=\"bisakah-zk-proofs-menjamin-keamanan-ai\">Bisakah ZK proofs menjamin keamanan AI?\u003C\u002Fh3>\n\u003Cp>Tidak. ZK proofs menjamin integritas komputasional — bahwa program berjalan dengan benar. Mereka tidak menjamin bahwa program (atau model) itu sendiri aman, tidak bias, atau selaras dengan nilai-nilai manusia.\u003C\u002Fp>\n\u003Ch3 id=\"kapan-zk-proofs-akan-bekerja-untuk-large-language-model\">Kapan ZK proofs akan bekerja untuk large language model?\u003C\u002Fh3>\n\u003Cp>Tidak pada 2026. zkVM saat ini dapat menangani model hingga ~10M parameter dalam waktu yang wajar. LLM memiliki miliaran parameter. Akselerasi hardware (ASIC) dan perbaikan algoritmik mungkin membuat pembuktian LLM berukuran sedang layak pada 2028-2029.\u003C\u002Fp>\n","id","b0000000-0000-0000-0000-000000000001",true,"2026-03-28T10:44:44.358370Z","zkML, ZK coprocessor, dan komputasi terverifikasi pada 2026. Perbandingan SP1 vs RISC Zero vs Jolt. Kasus penggunaan praktis: penilaian kredit, identitas, perlindungan MEV.","ZK proofs inferensi AI terverifikasi",null,"index, follow",[21,26],{"id":22,"name":23,"slug":24,"created_at":25},"c0000000-0000-0000-0000-000000000013","Security","security","2026-03-28T10:44:21.513630Z",{"id":27,"name":28,"slug":29,"created_at":25},"c0000000-0000-0000-0000-000000000009","Web3","web3","Blockchain",[32,38,45],{"id":33,"title":34,"slug":35,"excerpt":36,"locale":12,"category_name":30,"published_at":37},"d0000000-0000-0000-0000-000000000596","Lapisan Interoperabilitas Ethereum: Bagaimana 55+ L2 Menjadi Satu Chain","lapisan-interoperabilitas-ethereum-bagaimana-55-l2-menjadi-satu-chain","Ethereum memiliki 55+ rollup Layer 2, memecah likuiditas dan pengalaman pengguna. Lapisan Interoperabilitas Ethereum — menggabungkan pesan lintas-rollup, shared sequencer, dan based rollup — bertujuan menyatukan mereka menjadi satu jaringan yang dapat dikomposisi.","2026-03-28T10:44:44.364342Z",{"id":39,"title":40,"slug":41,"excerpt":42,"locale":12,"category_name":43,"published_at":44},"d0000000-0000-0000-0000-000000000594","Membangun di TON pada 2026: Pembayaran Kripto di Telegram Mini Apps dengan TON Pay SDK","membangun-di-ton-2026-pembayaran-kripto-telegram-mini-apps-ton-pay-sdk","Ekosistem TON telah berkembang hingga 500M+ pengguna aktif bulanan Mini App, 3600+ aplikasi, dan 400M+ dompet. Panduan ini membahas integrasi TON Pay SDK untuk pembayaran kripto di Telegram Mini Apps, dari autentikasi dompet hingga transfer Jetton.","Telegram","2026-03-28T10:44:44.340210Z",{"id":46,"title":47,"slug":48,"excerpt":49,"locale":12,"category_name":30,"published_at":50},"d0000000-0000-0000-0000-000000000572","EIP-7702 dalam Praktik: Membangun Alur Akun Pintar Setelah Pectra","eip-7702-dalam-praktik-membangun-alur-akun-pintar-setelah-pectra","EIP-7702 memungkinkan EOA Ethereum mana pun untuk sementara bertindak sebagai kontrak pintar dalam satu transaksi. Berikut cara mengimplementasikan transaksi batch, sponsorship gas, dan social recovery menggunakan primitif account abstraction baru.","2026-03-28T10:44:42.816894Z",{"id":13,"name":52,"slug":53,"bio":54,"photo_url":18,"linkedin":18,"role":55,"created_at":56,"updated_at":56},"Open Soft Team","open-soft-team","The engineering team at Open Soft, building premium software solutions from Bali, Indonesia.","Engineering Team","2026-03-28T08:31:22.226811Z"]