SNARK berbasis hash menjadi pusat peta jalan pasca-kuantum Ethereum, tetapi seberapa amankah mereka, sebenarnya? Dalam episode ini (bagian 3 dari miniseri @leanEthereum), @nico_mnbl mengobrol dengan @GiacomoFenzi dan @asanso untuk memeriksa teori dan keamanan SNARK pasca-kuantum. Mereka meliputi: – Tumpukan SNARK di belakang LeanVM (aritmetisasi multilinier + cek jumlah) – Hadiah Kesenjangan Kedekatan $1 juta dan gelombang penelitian baru yang dipicunya – Bagaimana hasil terbaru memengaruhi margin keamanan untuk sistem bukti berbasis hash – Mengapa Ethereum bergerak menuju rezim keamanan yang dapat dibuktikan untuk keamanan protokol jangka panjang Mereka juga mengeksplorasi masalah terbuka dalam teori pengkodean, decoding daftar, dan sistem pembuktian berbasis hash. Dengarkan episode lengkapnya —----- KODE WAKTU 02:24 – Mengapa Ethereum membutuhkan STARK pasca-kuantum 03:30 – Tumpukan LeanVM SNARK (multilinear + sum-check) 04:53 – Hadiah Kesenjangan Kedekatan $1 juta 12:04 – Gelombang makalah penelitian baru 12:52 – Johnson terikat vs kapasitas terikat 21:24 – Analisis serangan baru pada STARK yang dikerahkan 27:07 – Mengapa ambang keamanan 128-bit penting 30:26 – Pertanyaan penelitian terbuka di STARK pasca-kuantum