Hash-gebaseerde SNARKs worden centraal in de post-kwantum roadmap van Ethereum, maar hoe veilig zijn ze eigenlijk? In deze aflevering (deel 3 van de @leanEthereum miniserie) praat @nico_mnbl met @GiacomoFenzi en @asanso om de theorie en veiligheid van post-kwantum SNARKs te onderzoeken. Ze behandelen: – De SNARK-stack achter LeanVM (multilineaire arithmetisering + som-controle) – De $1M Proximity Gap Prize en de golf van nieuw onderzoek die het heeft getriggerd – Hoe recente resultaten de veiligheidsmarges voor hash-gebaseerde bewijs systemen beïnvloeden – Waarom Ethereum zich richt op bewijsbare veiligheidsregimes voor de lange termijn protocolveiligheid Ze verkennen ook open problemen in coderingstheorie, lijstdecodering en hash-gebaseerde bewijs systemen. Luister naar de volledige aflevering —----- TIJDCODES 02:24 – Waarom Ethereum post-kwantum SNARKs nodig heeft 03:30 – De LeanVM SNARK-stack (multilineair + som-controle) 04:53 – De $1M Proximity Gap Prize 12:04 – De golf van nieuwe onderzoeksdocumenten 12:52 – Johnson-grens vs capaciteitgrens 21:24 – Nieuwe aanvalsanalyse op geïmplementeerde STARKs 27:07 – Waarom de 128-bits veiligheidsdrempel belangrijk is 30:26 – Open onderzoeksvragen in post-kwantum SNARKs