🎥 Nieuwe fireside chat: Binnen SP1 met @tamirhemo, Hoofd Cryptografie bij @SuccinctLabs. We duiken diep in de architectuur van SP1, prestatie doorbraken en wat er nodig is om productieklare ZK-VM's te beveiligen. Tijdstempels: 0:00 Wat is SP1 en de missie van Succinct 2:31 Waarom ZK-VM's algemener zijn dan op maat gemaakte ZK-circuits 3:30 Hypercube & real-time bewijzen in EthProofs 4:30 Ontwerpbeslissingen achter de prestatieverbeteringen van SP1 7:36 Theorie vs arithmetisatie afwegingen 10:19 Aanvalsvlakken van SP1 & mitigaties 14:04 Interactieve stellingbewijzers vs SMT-tools (Picus) 15:36 Integratie van tooling & wat er nog ontbreekt 18:18 Precompiles: wanneer ze toe te voegen & impact op de beveiliging 20:24 Is "compile-to-circuit" een nuttige tegenhanger van ZK-VM's? 21:12 Bewijsgaranties, implementatie en privacyrisico's 24:04 Incrementeel bewijzen: lokale + serverbewijzen 26:14 Bewijzen vs conjecturen & cryptografische prioritering 29:23 Nieuwe cryptografie & wat Tamir het meest enthousiast maakt 32:01 Toepassingen die op SP1 bouwen 34:45 Bewijzernetwerk vs privé bewijzingsdiensten 36:55 Tijdlijn voor thuisbewijzen voor 99% van de blokken 39:34 De moeilijkste 1%: 12-seconde knelpunten 42:08 Adversariale blokken & "prover-killer" opcodes 43:18 Voorbij Ethereum: andere SP1-werkbelastingen 45:16 Wat is de volgende stap voor SP1 47:15 Afsluitende opmerkingen Gehost door @bensepanski van @VeridiseInc, gefilmd in Buenos Aires, 17 nov 2025 🇦🇷 Videorecap hieronder 🧵 1/5

Tamir legt uit waarom Succinct is overgestapt van op maat gemaakte ZK-circuits naar een algemeen toepasbare ZK-VM, en waarom SP1 gericht is op precompilatie: geoptimaliseerde circuits waar het ertoe doet, flexibele programma's elders. Het doel is niet om elke cyclus te bewijzen — SP1 bewijst het beloofde gedrag van het programma. 2/5

🚀 Prestatiehoogtepunten SP1 Hypercube bewijst nu ~99,7% van de Ethereum-blokken onder de 12 seconden met ~16 GPU's — wat de drempel voor consument-grade hardware bereikt. Belangrijke ontgrendelingen: multilineaire polynomen, betere arithmetisatievrijheid en het verwijderen van recursieknelpunten. 3/5

Beveiliging staat voorop. Tamir legt uit hoe aanvalsvlakken worden gemitigeerd, prover-killer opcodes, en waarom formele verificatie essentieel is voor ZK-VM's. @SuccinctLabs werkt samen met @VeridiseInc om SP1-circuits formeel te verifiëren met behulp van Picus om bugs te elimineren voordat ze worden verzonden. 4/5