zk-STARK
Sebuah zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) adalah sistem bukti kriptografis yang memungkinkan pembukti (prover) meyakinkan pemverifikasi (verifier) tentang kebenaran suatu komputasi tanpa pengaturan terpercaya (trusted setup) atau pengungkapan detail komputasi. Diperkenalkan oleh Ben-Sasson dan kolega pada tahun 2018, zk-STARK mengatasi keterbatasan utama zk-SNARK: yaitu tidak memerlukan fase pra-pemrosesan yang rentan terhadap kerusakan. Sebaliknya, STARK hanya bergantung pada fungsi hash kriptografis, membuatnya lebih sederhana, lebih transparan, dan diyakini aman pasca-kuantum.
Baca metode selengkapnya
Masuk dengan akun gratis untuk membaca bagian ini.
Peta metode
Lingkup metode terkait — pilih sebuah simpul untuk menjelajah.
Sumber
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
Cara menyitasi halaman ini
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/id/cryptography/zk-stark
Metode yang mana?
Letakkan metode ini berdampingan dengan kerabat terdekatnya dan baca secara bersisian — pustaka menata bukunya di atas meja; pilihan ada di tangan Anda.
- Kriptografi Berbasis KisiKriptografi↔ bandingkan
- Kriptografi Pasca-Kuantum (Kyber)Kriptografi↔ bandingkan
- zk-SNARKKriptografi↔ bandingkan
Dirujuk oleh
Menemukan masalah di halaman ini? Laporkan atau usulkan perbaikan →