Hash-baserte SNARK-er blir sentrale i Ethereums post-kvante-veikart, men hvor sikre er de egentlig? I denne episoden (del 3 av miniserien @leanEthereum) snakker @nico_mnbl med @GiacomoFenzi og @asanso for å undersøke teorien og sikkerheten bak post-kvantum SNARKs. De dekker: – SNARK-stakken bak LeanVM (multilineær aritmetisering + summer-sjekk) – Nærhetsgap-prisen på 1 million dollar og bølgen av ny forskning den utløste – Hvordan nylige resultater påvirker sikkerhetsmarginer for hashbaserte bevissystemer – Hvorfor Ethereum beveger seg mot bevisbare sikkerhetsregimer for langsiktig protokollsikkerhet De utforsker også åpne problemer innen kodeteori, listedekoding og hash-baserte bevissystemer. Hør hele episoden —----- TIDSKODER 02:24 – Hvorfor Ethereum trenger post-quantum SNARKs 03:30 – LeanVM SNARK-stakken (multilineær + sumsjekk) 04:53 – Nærhetsgap-premien på 1 million dollar 12:04 – Bølgen av nye forskningsartikler 12:52 – Johnson på vei mot kapasitet 21:24 – Ny angrepsanalyse på utplasserte STARK-er 27:07 – Hvorfor 128-bits sikkerhetsterskelen er viktig 30:26 – Åpne forskningsspørsmål i post-kvante SNARK-er