Pilihan antara SNARK dan STARK adalah salah satu keputusan teknis paling penting dalam desain ZK rollup — kedua sistem memungkinkan prover meyakinkan verifier bahwa komputasi dilakukan dengan benar tanpa mengungkapkan input (properti “zero knowledge”), tetapi mencapai ini dengan konstruksi kriptografi yang berbeda secara fundamental, masing-masing dengan tradeoff yang berbeda: proof SNARK sangat kecil dan murah diverifikasi on-chain tetapi memerlukan upacara “trusted setup”; proof STARK jauh lebih besar tetapi tidak memerlukan trusted setup — keamanannya hanya bergantung pada fungsi hash yang tahan tabrakan (primitif kriptografi yang paling teruji), menjadikannya tahan kuantum.
ZK-SNARK
Succinct Non-Interactive Arguments of Knowledge
- Ukuran proof: ~200-500 byte terlepas dari ukuran komputasi
- Non-interaktif: Satu pesan dari prover ke verifier
- Verifikasi: Sangat cepat (<10ms di Ethereum, ~$0,50-2,00 biaya gas)
- Asumsi kepercayaan: Memerlukan trusted setup (“toxic waste” harus dihancurkan)
Konstruksi SNARK Utama:
| Konstruksi | Ukuran Proof | Catatan |
|---|---|---|
| Groth16 | 192 byte | Terkecil; setup spesifik-sirkuit |
| PLONK | Lebih besar | Setup universal; lebih fleksibel |
| Plonky2 (Polygon) | Variabel | Menggunakan komponen mirip-STARK internal |
ZK-STARK
Scalable Transparent Arguments of Knowledge
- Ukuran proof: Jauh lebih besar (10-200 KB)
- Transparan: Tidak ada trusted setup — menggunakan acak publik saja (dari fungsi hash)
- Tahan kuantum: Ya (fungsi hash) — SNARK tidak tahan kuantum (kurva eliptik)
- Biaya verifikasi on-chain: Lebih mahal (~$10-100 vs. ~$1-2 SNARK)
Perbandingan SNARK vs. STARK
| Aspek | ZK-SNARK | ZK-STARK |
|---|---|---|
| Ukuran proof | ~200-500 byte | 40-200 KB |
| Biaya verifikasi | Sangat murah | Lebih mahal |
| Trusted setup | Diperlukan | Tidak diperlukan |
| Tahan kuantum | Tidak | Ya |
| Kecepatan proving | Moderat | Dapat lebih cepat untuk komputasi besar |
Deployment Dunia Nyata
Pengguna SNARK:
- zkSync Era, Polygon zkEVM, Mina Protocol, Tornado Cash
Pengguna STARK:
- StarkNet / StarkEx (StarkWare), dYdX V3, Immutable X
Istilah Terkait
Lihat Juga
Sumber
- Groth, J. (2016). On the Size of Pairing-Based Non-interactive Arguments. EUROCRYPT 2016.
- Ben-Sasson et al. (2018). Scalable, Transparent, and Post-Quantum Secure Computational Integrity. Cryptology ePrint Archive.
- “SNARK vs STARK: The ZK Proof Trade-offs” — StarkWare Blog (2021). Analisis perbandingan dari pembuat STARK.
Terakhir diperbarui: 2026-04