Gli SNARK basati su hash stanno diventando centrali nella roadmap post-quantistica di Ethereum, ma quanto sono sicuri, davvero? In questo episodio (parte 3 della miniserie @leanEthereum), @nico_mnbl chiacchiera con @GiacomoFenzi e @asanso per esaminare la teoria e la sicurezza degli SNARK post-quantistici. Trattano di: – Lo stack SNARK dietro LeanVM (aritmetizzazione multilineare + somma di controllo) – Il premio Proximity Gap da $1M e l'ondata di nuova ricerca che ha innescato – Come i risultati recenti influenzano i margini di sicurezza per i sistemi di prova basati su hash – Perché Ethereum si sta muovendo verso regimi di sicurezza dimostrabile per la sicurezza a lungo termine del protocollo Esplorano anche problemi aperti nella teoria del coding, decodifica delle liste e sistemi di prova basati su hash. Ascolta l'episodio completo —----- TIMECODES 02:24 – Perché Ethereum ha bisogno di SNARK post-quantistici 03:30 – Lo stack SNARK di LeanVM (multilineare + somma di controllo) 04:53 – Il premio Proximity Gap da $1M 12:04 – L'ondata di nuovi articoli di ricerca 12:52 – Limite di Johnson vs limite di capacità 21:24 – Nuova analisi degli attacchi sugli STARK distribuiti 27:07 – Perché la soglia di sicurezza a 128 bit è importante 30:26 – Domande di ricerca aperte sugli SNARK post-quantistici