Los SNARKs basados en hash se están convirtiendo en centrales en la hoja de ruta post-cuántica de Ethereum, pero ¿qué tan seguros son, realmente? En este episodio (parte 3 de la miniserie de @leanEthereum), @nico_mnbl charla con @GiacomoFenzi y @asanso para examinar la teoría y la seguridad de los SNARKs post-cuánticos. Cubren: – La pila de SNARKs detrás de LeanVM (aritmetización multilineal + verificación de suma) – El Premio Proximity Gap de $1M y la ola de nueva investigación que desencadenó – Cómo los resultados recientes afectan los márgenes de seguridad para los sistemas de prueba basados en hash – Por qué Ethereum se está moviendo hacia regímenes de seguridad demostrable para la seguridad a largo plazo del protocolo También exploran problemas abiertos en teoría de códigos, decodificación de listas y sistemas de prueba 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 de SNARKs de LeanVM (multilineal + verificación de suma) 04:53 – El Premio Proximity Gap de $1M 12:04 – La ola de nuevos artículos de investigación 12:52 – Límite de Johnson vs límite de capacidad 21:24 – Nuevo análisis de ataques en STARKs desplegados 27:07 – Por qué el umbral de seguridad de 128 bits es importante 30:26 – Preguntas de investigación abiertas en SNARKs post-cuánticos