Crypto Gloss

Recursive Proofs

Recursive proofs adalah zero-knowledge proof yang mengambil ZK proof lain sebagai input dan membuktikan validitasnya — memungkinkan komposisi proof hierarkis di mana “pernyataan yang dibuktikan” adalah “kumpulan proof ini valid,” menciptakan kompresi eksponensial: alih-alih menyelesaikan 100 proof secara individual di Ethereum (100 × 200.000 gas = 20M gas), buat satu recursive proof yang membuktikan semua 100 valid dan selesaikan satu proof tersebut (1 × 200.000 gas = 200.000 gas — 100× lebih murah).

Mengapa Rekursi Dibutuhkan

Tanpa rekursi:

  • 1.000 transaksi L2 → 1.000 proof individual → 1.000 × 200K gas = 200M gas (mahal sekali)

Dengan rekursi:

  • 1.000 transaksi → 1 proof agregat → 1 × 200K gas = 200K gas
  • 1.000.000 transaksi: tetap 200K gas! (melalui pohon rekursif)

Arsitektur Proving Rekursif

Pohon Rekursif (sederhana):

“`

Proof₁ + Proof₂ → Proof₁₂ (membuktikan keduanya valid)

Proof₁₂ + Proof₃₄ → Proof₁₂₃₄

… berlanjut hingga satu root proof

“`

Folding Scheme (Nova):

  • Lipat dua instance proof menjadi satu “running instance”
  • Mengurangi separuh ukuran pernyataan pada setiap lipatan
  • Memungkinkan rekursi SNARK yang efisien tanpa sirkuit verifier yang besar

Sistem Rekursif Produksi

Sistem Metode Digunakan Oleh Throughput
SHARP Recursive STARK StarkNet, StarkEx Multiple apps
Plonky2 Recursive PLONK Polygon Zero 170ms/proof
Boojum Recursive PLONK zkSync Era Dioptimalkan GPU
Halo2 Akumulasi IPA Scroll, Zcash Trustless
Nova Folding Penelitian, Lurk Folding tercepat

Nova dan Folding Schemes

Nova (Microsoft Research, 2021) memperkenalkan folding schemes — pendekatan yang secara fundamental berbeda:

  • Lipat dua instance relasi NP menjadi satu instance “relaxed”
  • Instance relaxed secara terbukti ekuivalen dengan membuktikan kedua instance asli
  • Setelah banyak lipatan: satu proof kecil (IVC — Incrementally Verifiable Computation)
  • Nova sangat cepat untuk pola komputasi yang berulang (seperti transisi state rollup)

SHARP StarkWare

SHARP (Shared Prover) adalah sistem proving rekursif produksi StarkWare:

  • Mengagregasi proof dari beberapa aplikasi (StarkEx exchanges, StarkNet) menjadi satu
  • Proof STARK dihasilkan untuk setiap batch transaksi
  • Proof digabungkan melalui proving pohon rekursif
  • Satu proof STARK diselesaikan di Ethereum L1 (dari ribuan transaksi aplikasi)
  • Biaya penyelesaian dibagi di antara semua aplikasi yang menggunakan SHARP

Kritik

Proving rekursif menambahkan overhead komputasi yang signifikan — sirkuit verifier itu sendiri besar (100.000–1.000.000 constraint). Ini berarti proof rekursif memerlukan hardware canggih dan waktu komputasi yang signifikan, meskipun secara agregat jauh lebih efisien.

Sentimen Media Sosial

  • X/Twitter: Recursive proofs dibahas di komunitas ZK; topik teknis; lebih banyak peneliti dan developer daripada investor yang mengikuti.
  • r/ethereum: Dipahami sebagai komponen kunci scalability ZK rollup jangka panjang.
  • Komunitas kripto Indonesia: Sangat teknis; dikenal dalam kalangan developer blockchain; investor umum lebih mengenal zkRollup daripada mekanisme rekursi.

Terakhir diperbarui: 2026-04

Istilah Terkait

Lihat Juga

Sumber

  • “Recursive Proof Composition Without Trusted Setup” — Bowe, Grigg, Hopwood (Zcash ECC, 2019). Paper Halo — memperkenalkan komposisi proof rekursif berbasis akumulasi yang menghilangkan kebutuhan trusted setup.
  • “Nova: Recursive Zero-Knowledge Arguments from Folding Schemes” — Kothapalli, Setty, Tzialla (Microsoft Research, 2021). Paper Nova — memperkenalkan skema IVC yang efisien berdasarkan folding relasi NP.
  • Dokumentasi SHARP StarkWare (https://starkware.co/sharp/) — Dokumentasi sistem proving rekursif produksi yang mengagregasi proof dari beberapa aplikasi StarkWare.