USD
Cara Kerja ZK-STARK
ZK‑STARK memiliki dua peran: prover (pihak yang menjalankan komputasi) dan verifier (pihak yang ingin memastikan hasilnya benar). Alih-alih menjalankan ulang komputasi, verifier cukup memeriksa sebuah bukti.
Secara garis besar, STARK mengubah pertanyaan "apakah program ini dieksekusi dengan benar?" menjadi aljabar. Prover melakukan aritmetisasi pada komputasi, yaitu menulis ulang perilaku program langkah demi langkah sebagai batasan aljabar.
Langkah-langkah tersebut membentuk execution trace (catatan transisi status). Trace ini dikodekan menjadi polinomial, dan kebenaran komputasi berubah menjadi klaim bahwa hubungan polinomial tertentu berlaku (sering disebut sebagai identitas polinomial atau pemeriksaan pembagian).
Agar verifikasi tetap efisien, STARK menggunakan teknik bergaya interactive-oracle-proof dan low-degree testing untuk menunjukkan bahwa data yang dikodekan berperilaku seperti polinomial berderajat rendah. Banyak sistem STARK menggunakan FRI (Fast Reed-Solomon IOP of Proximity) sebagai uji kedekatan utama.
"Transparan" berarti keacakan/parameter protokol dapat diturunkan secara publik, sehingga tidak ada "trapdoor" rahasia yang tercipta dari sebuah seremoni setup.
Contoh
Jika memeriksa pekerjaan rumah matematika yang panjang baris demi baris ibarat mengeksekusi ulang sebuah program, maka ZK‑STARK seperti sertifikat singkat yang dapat diperiksa untuk membuktikan bahwa pekerjaan tersebut mengikuti aturan, tanpa menunjukkan catatan pribadi si murid.
Mengapa Penting
ZK‑STARK digunakan untuk bukti yang menjaga privasi dan untuk skalabilitas, karena memungkinkan blockchain memverifikasi komputasi besar tanpa memproses seluruh data yang mendasarinya. ZK‑STARK juga sering dianggap lebih "aman secara sistemik" dibandingkan banyak implementasi ZK‑SNARK karena menghindari risiko trusted setup.
Dibandingkan ZK‑SNARK, STARK umumnya memiliki ukuran bukti yang lebih besar dan bisa lebih lambat diverifikasi dalam banyak implementasi nyata, tetapi menawarkan transparansi dan umumnya dianggap lebih ramah terhadap komputasi pasca-kuantum karena tidak terlalu bergantung pada asumsi berbasis pairing.
Risiko atau Keterbatasan
Istilah "aman pasca-kuantum" bersifat kontekstual: keamanan di dunia nyata tetap bergantung pada parameter konkret, kekuatan fungsi hash, dan implementasi yang benar.
Tidak setiap bukti STARK otomatis bersifat zero-knowledge; sebagian implementasi hanya membuktikan integritas, dan penambahan privasi dapat memerlukan langkah masking ekstra serta overhead tambahan.
Istilah Terkait
- Zero-Knowledge Proof (ZKP)
- ZK-SNARK
- Trusted Setup
- zkVM
- Arithmetization
