Hashbaserade SNARK:er blir allt mer centrala i Ethereums post-kvantfärdsplan, men hur säkra är de egentligen? I detta avsnitt (del 3 av miniserien @leanEthereum) pratar @nico_mnbl med @GiacomoFenzi och @asanso för att undersöka teorin och säkerheten bakom postkvant-SNARKs. De täcker: – SNARK-stacken bakom LeanVM (multilinjär aritmetisering + summekontroll) – Det 1 miljon dollar stora Proximity Gap Prize och den våg av ny forskning det utlöste – Hur de senaste resultaten påverkar säkerhetsmarginaler för hashbaserade bevissystem – Varför Ethereum rör sig mot bevisbara säkerhetsregimer för långsiktig protokollsäkerhet De utforskar också öppna problem inom kodningsteori, listavkodning och hashbaserade bevissystem. Lyssna på hela avsnittet —----- TIDSKODER 02:24 – Varför Ethereum behöver post-kvant-SNARKs 03:30 – LeanVM SNARK-stacken (multilinjär + summekontroll) 04:53 – Priset på 1 miljon dollar i Proximity Gap 12:04 – Vågen av nya forskningsartiklar 12:52 – Johnson på väg mot full kapacitet 21:24 – Ny attackanalys på utplacerade STARK-enheter 27:07 – Varför 128-bitars säkerhetströskeln är viktig 30:26 – Öppna forskningsfrågor i postkvant-SNARKs