🎥 Nouvelle discussion au coin du feu : À l'intérieur de SP1 avec @tamirhemo, Responsable de la Cryptographie chez @SuccinctLabs. Nous plongeons profondément dans l'architecture de SP1, les percées en matière de performance et ce qu'il faut pour sécuriser des ZK-VMs de qualité production. Horodatages : 0:00 Qu'est-ce que SP1 et quelle est la mission de Succinct 2:31 Pourquoi les ZK-VMs sont plus générales que les circuits ZK sur mesure 3:30 Hypercube et preuve en temps réel dans EthProofs 4:30 Décisions de conception derrière les gains de performance de SP1 7:36 Théorie vs compromis d'arithmétisation 10:19 Surfaces d'attaque de SP1 et atténuations 14:04 Proveurs de théorèmes interactifs vs outils SMT (Picus) 15:36 Intégration des outils et ce qui manque encore 18:18 Précompilations : quand les ajouter et impact sur la sécurité 20:24 Le « compile-to-circuit » est-il un dual utile aux ZK-VMs ? 21:12 Garanties du prouveur, déploiement et risques de confidentialité 24:04 Preuve incrémentale : preuves locales + serveurs 26:14 Preuves vs conjectures et priorisation cryptographique 29:23 Nouvelle cryptographie et ce qui excite le plus Tamir 32:01 Applications construisant sur SP1 34:45 Réseau de prouveurs vs services de preuve privés 36:55 Chronologie pour la preuve à domicile pour 99 % des blocs 39:34 Le 1 % le plus difficile : goulets d'étranglement de 12 secondes 42:08 Blocs adversariaux et opcodes « tueur de prouveur » 43:18 Au-delà d'Ethereum : autres charges de travail SP1 45:16 Quelle est la suite pour SP1 47:15 Remarques de clôture Animé par @bensepanski de @VeridiseInc, filmé à Buenos Aires, le 17 novembre 2025 🇦🇷 Récapitulatif vidéo ci-dessous 🧵 1/5

Tamir explique pourquoi Succinct est passé de circuits ZK sur mesure à un ZK-VM polyvalent, et pourquoi SP1 est centré sur les précompilations : des circuits optimisés là où cela compte, des programmes flexibles ailleurs. L'objectif n'est pas de prouver chaque cycle — SP1 prouve le comportement promis du programme. 2/5

🚀 Points forts de performance SP1 Hypercube prouve maintenant ~99,7 % des blocs Ethereum en moins de 12s avec ~16 GPU — atteignant le seuil pour du matériel grand public. Déblocages clés : polynômes multilinaires, meilleure liberté d'arithmétisation et suppression des goulets d'étranglement de récursion. 3/5

La sécurité est au premier plan. Tamir explique comment les surfaces d'attaque sont atténuées, les opcodes prover-tueur, et pourquoi la vérification formelle est essentielle pour les ZK-VMs. @SuccinctLabs collabore avec @VeridiseInc pour vérifier formellement les circuits SP1 en utilisant Picus afin d'éliminer les bugs avant leur expédition. 4/5