SNARKs vs STARKs, tanpa mistisisme. SNARK memerlukan setup terpercaya: upacara satu kali yang menghasilkan keacakan rahasia "limbah beracun" yang harus dihancurkan. Jika satu salinan tetap ada, bukti dapat dipalsukan. ZK rollup besar di era pertama, zkSync Era, Scroll, Polygon zkEVM, semuanya menggunakan pembuktian berbasis SNARK. Semuanya menjalankan upacara setup 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 limbah beracun, tidak ada yang harus dihancurkan, tidak ada yang perlu dipercaya. Keamanan 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. Taruhan 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 upacara, Anda sedang mempercayai manusia, bukan matematika. @0xMiden VM berbasis STARK. Anda mempercayai fungsi hash. Itu seluruh daftarnya.