Los SNARKs basados en hash se están convirtiendo en el centro de la hoja de ruta post-cuántica de Ethereum, pero ¿qué tan seguros son realmente? En este episodio (parte 3 de la miniserie @leanEthereum), @nico_mnbl charla con @GiacomoFenzi y @asanso para examinar la teoría y seguridad de los SNARKs post-cuánticos. Cubren: – La pila SNARK detrás de LeanVM (aritmitización multilineal + comprobación de suma) – El Premio Proximity Gap de 1 millón de dólares y la oleada de nuevas investigaciones que desencadenó – Cómo los resultados recientes afectan a los márgenes de seguridad de los sistemas de demostración basados en hash – Por qué Ethereum avanza hacia regímenes de seguridad demostrables para la seguridad a largo plazo de los protocolos También exploran problemas abiertos en teoría de codificación, decodificación de listas y sistemas de demostración basados en hash. Escucha el episodio completo —----- CÓDIGOS DE TIEMPO 02:24 – Por qué Ethereum necesita SNARKs post-cuánticos 03:30 – La pila SNARK de LeanVM (multilineal + comprobación de suma) 04:53 – El premio de 1 millón de dólares por la brecha de proximidad 12:04 – La oleada de nuevos artículos de investigación 12:52 – Johnson en dirección contra en la capacidad 21:24 – Nuevo análisis de ataque en STARKs desplegados 27:07 – Por qué importa el umbral de seguridad de 128 bits 30:26 – Preguntas abiertas de investigación en SNARKs post-cuánticos