SNARKs vs STARKs, tanpa mistisisme. SNARK memerlukan pengaturan tepercaya: satu acara saja yang menghasilkan keacakan rahasia "sisa beracun" yang harus dimusnahkan. Jika satu salinan masih tersisa, bukti dapat dipalsukan. ZK rollup besar pada era pertama, zkSync Era, Scroll, Polygon zkEVM, semuanya meluncurkan pembuktian berbasis SNARK. Semuanya menjalani upacara pengaturan yang harus Anda percayai. Ritual multi-pihak mengurangi risiko ("aman selama satu peserta jujur"). Asumsi ini tidak pernah hilang. STARK tidak memerlukan upacara. Tidak ada sisa beracun, tidak ada yang perlu dimusnahkan, tidak ada yang perlu dipercayai. Keamanannya direduksi menjadi fungsi hash tahan tabrakan, primitif yang sama yang sudah Anda andalkan di dompet Anda. Dan tanpa pasangan kurva eliptik dalam prosesnya, STARK secara masuk akal tahan terhadap komputer kuantum. Alasan jujur mengapa SNARK menang di era pertama: bukti lebih kecil, lebih murah untuk diverifikasi di Ethereum. Pertaruhan Miden: verifikasi akan berpindah ke perangkat Anda anyway, di mana ukuran bukti hampir tidak penting tetapi asumsi kepercayaan sangat penting. Satu pertanyaan yang harus diajukan pada sistem ZK apa pun: apa yang perlu Anda percayai dari bukti ini? Jika jawabannya mencakup sebuah upacara, Anda sedang mempercayai manusia, bukan matematika. @0xMiden VM berbasis STARK. Anda percaya pada fungsi hash. Itu seluruh daftarnya.