Hash-basierte SNARKs werden zentral für Ethereums Post-Quantum-Fahrplan, aber wie sicher sind sie wirklich? In dieser Episode (Teil 3 der @leanEthereum-Miniserie) spricht @nico_mnbl mit @GiacomoFenzi und @asanso über die Theorie und Sicherheit von Post-Quantum-SNARKs. Sie behandeln: – Der SNARK-Stack hinter LeanVM (multilineare Arithmetisierung + Sum-Check) – Der $1M Proximity Gap Prize und die Welle neuer Forschung, die er ausgelöst hat – Wie aktuelle Ergebnisse die Sicherheitsmargen für hash-basierte Beweissysteme beeinflussen – Warum Ethereum sich in Richtung nachweisbarer Sicherheitsregime für die langfristige Protokollsicherheit bewegt Sie erkunden auch offene Probleme in der Codierungstheorie, List-Decodierung und hash-basierten Beweissystemen. Hören Sie sich die gesamte Episode an —----- ZEITKODES 02:24 – Warum Ethereum Post-Quantum-SNARKs benötigt 03:30 – Der LeanVM SNARK-Stack (multilinear + Sum-Check) 04:53 – Der $1M Proximity Gap Prize 12:04 – Die Welle neuer Forschungsarbeiten 12:52 – Johnson-Bound vs. Kapazitätsgrenze 21:24 – Neue Angriffsanalysen auf implementierte STARKs 27:07 – Warum die 128-Bit-Sicherheitsgrenze wichtig ist 30:26 – Offene Forschungsfragen zu Post-Quantum-SNARKs