Les SNARKs basés sur le hachage deviennent centraux dans la feuille de route post-quantique d'Ethereum, mais à quel point sont-ils vraiment sécurisés ? Dans cet épisode (partie 3 de la mini-série @leanEthereum), @nico_mnbl discute avec @GiacomoFenzi et @asanso pour examiner la théorie et la sécurité des SNARKs post-quantiques. Ils abordent : – La pile SNARK derrière LeanVM (arithmétisation multilinéaire + vérification de somme) – Le prix de 1 million de dollars pour le Proximity Gap et la vague de nouvelles recherches qu'il a déclenchées – Comment les résultats récents affectent les marges de sécurité pour les systèmes de preuve basés sur le hachage – Pourquoi Ethereum se dirige vers des régimes de sécurité prouvable pour la sécurité à long terme des protocoles Ils explorent également les problèmes ouverts en théorie du codage, décodage de liste et systèmes de preuve basés sur le hachage. Écoutez l'épisode complet —----- HORAIRES 02:24 – Pourquoi Ethereum a besoin de SNARKs post-quantiques 03:30 – La pile SNARK de LeanVM (multilinéraire + vérification de somme) 04:53 – Le prix de 1 million de dollars pour le Proximity Gap 12:04 – La vague de nouveaux articles de recherche 12:52 – Limite de Johnson vs limite de capacité 21:24 – Nouvelle analyse d'attaque sur les STARKs déployés 27:07 – Pourquoi le seuil de sécurité de 128 bits est important 30:26 – Questions de recherche ouvertes sur les SNARKs post-quantiques