Crypto Gloss

ZK-STARK

ZK-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) adalah sistem proof kriptografis yang memungkinkan verifikasi komputasi tanpa mengungkapkan input privat, tidak memerlukan upacara trusted setup apa pun, dan mendapatkan keamanan sepenuhnya dari fungsi hash — menjadikannya kemungkinan tahan terhadap komputer kuantum; perbedaan paling signifikan dari ZK-SNARK adalah “Transparent” (T): tidak ada trusted setup, parameter publik sepenuhnya transparan dan dapat diaudit, tanpa “limbah beracun” yang harus dihancurkan.

ZK-SNARK vs. ZK-STARK

Properti ZK-SNARK ZK-STARK
Trusted setup Diperlukan (kebanyakan varian) Tidak ada (“transparan”)
Asumsi kriptografis Pasangan kurva eliptis Fungsi hash tahan kolisi
Ukuran proof Sangat kecil (~200B–1,5KB) Lebih besar (~40KB–1MB)
Ketahanan kuantum ❌ Rentan ✅ Kemungkinan tahan
Pengguna utama Sebagian besar ZK rollup StarkNet, StarkEx, Cairo

SHARP: Rekursi SNARK untuk STARK

Kelemahan utama STARK adalah proof yang lebih besar — verifikasi on-chain lebih mahal dalam gas. StarkWare mengatasi ini melalui arsitektur SHARP (Shared Prover): proof STARK besar dibungkus dalam SNARK kecil untuk verifikasi akhir on-chain, menggabungkan keamanan STARK dengan efisiensi verifikasi SNARK.

Cairo dan AIR

STARK membuktikan eksekusi komputasi yang diekspresikan sebagai AIR (Algebraic Intermediate Representation). Cairo adalah bahasa pemrograman StarkWare yang dirancang untuk mengekspresikan komputasi sebagai jejak yang kompatibel AIR. Smart contract StarkNet ditulis dalam Cairo.

Sejarah

  • 2018 — ZK-STARK dikembangkan oleh Eli Ben-Sasson dan tim di StarkWare (publikasi akademis 2018).**
  • 2020–2021 — StarkEx diluncurkan untuk dYdX, Immutable X, Sorare — memproses ratusan juta transaksi.**
  • 2022–2023 — StarkNet diluncurkan sebagai ZK rollup L2 publik yang dapat diprogram.**

Kesalahpahaman Umum

“STARK lebih baik dari SNARK karena tidak memerlukan trusted setup.”

Ini adalah tradeoff, bukan keunggulan yang jelas. STARK memiliki keunggulan nyata (transparansi, ketahanan kuantum) tetapi kelemahan nyata (proof yang jauh lebih besar, biaya verifikasi L1 yang lebih tinggi). Mana yang lebih baik tergantung pada kasus penggunaan: untuk transaksi nilai tinggi di mana transparansi dan keamanan post-quantum penting, STARK bisa lebih baik; untuk aplikasi yang membutuhkan biaya verifikasi on-chain minimal, SNARK bisa lebih baik.

Kritik

  • Ukuran proof yang jauh lebih besar dari SNARK: zk-STARK menghasilkan proof yang jauh lebih besar (10-100x) dibanding zk-SNARK. Ini meningkatkan biaya verifikasi on-chain dan biaya penyimpanan data — trade-off yang signifikan dibanding SNARK untuk aplikasi yang sensitif biaya.
  • Kompleksitas implementasi yang tinggi: Sistem STARK lebih baru dan memiliki lebih sedikit tooling dan library yang mature dibanding SNARK. Ini membuat implementasi lebih sulit dan meningkatkan risiko bug implementasi, terutama untuk tim yang kurang berpengalaman.
  • Quantum resistance yang diperdebatkan sebagai keunggulan praktis: STARK mengklaim quantum resistant karena bergantung pada hash function — tapi komputer kuantum yang cukup kuat untuk mengancam SNARK masih puluhan tahun jauhnya. Mengklaim quantum resistance sebagai keunggulan utama hari ini sering dianggap sebagai marketing yang agak berlebihan.

Sentimen Media Sosial

  • r/ethereum / r/starknet / r/zkproofs: zk-STARK adalah teknologi yang digunakan oleh StarkWare (StarkNet, StarkEx) — salah satu pemain utama di ekosistem ZK. Komunitas StarkNet mendiskusikan keunggulan STARK vs. SNARK dalam konteks scaling Ethereum.
  • X/Twitter: StarkWare aktif mempublikasikan kemajuan teknologi STARK mereka. Perbandingan SNARK vs. STARK mendapat thread panjang dari peneliti ZK dan komunitas Layer 2. Cairo — bahasa pemrograman untuk STARK — mendapat adopsi yang growing.
  • Telegram (komunitas developer Indonesia): zk-STARK dikenal di komunitas developer blockchain Indonesia yang mengeksplorasi StarkNet dan teknologi ZK — relevan untuk memahami fondasi teknologi dari salah satu ekosistem ZK terbesar.

Terakhir diperbarui: 2026-04

Istilah Terkait

Lihat Juga

Sumber