SNARK-urile bazate pe hash devin centrale în foaia de parcurs post-cuantică a Ethereum, dar cât de sigure sunt, de fapt? În acest episod (partea 3 a miniseriei @leanEthereum), @nico_mnbl discută cu @GiacomoFenzi și @asanso pentru a examina teoria și securitatea SNARK-ilor post-cuantic. Acestea acoperă: – Stiva SNARK din spatele LeanVM (aritmeticizare multiliniară + verificare a sumei) – Premiul Proximity Gap de 1 milion de dolari și valul de cercetări noi pe care l-a declanșat – Cum afectează rezultatele recente marjele de securitate pentru sistemele de demonstrație bazate pe hash – De ce Ethereum se îndreaptă spre regimuri de securitate dovedite pentru siguranța pe termen lung a protocolelor De asemenea, explorează probleme deschise din teoria codării, decodarea listelor și sistemele de demonstrație bazate pe hash. Ascultă episodul complet —----- CODURI TEMPORALE 02:24 – De ce Ethereum are nevoie de SNARK-uri post-cuantice 03:30 – Stack-ul LeanVM SNARK (multiliniar + verificare sumă) 04:53 – Premiul pentru Diferența de Proximitate de 1 milion de dolari 12:04 – Valul de noi lucrări de cercetare 12:52 – Johnson bound vs capacity bound 21:24 – Analiză nouă de atac asupra STARK-urilor desfășurate 27:07 – De ce contează pragul de securitate de 128 de biți 30:26 – Întrebări deschise de cercetare în SNARK-urile post-cuantice