🎥 Ny peissamtale: Inne i SP1 med @tamirhemo, leder for kryptografi hos @SuccinctLabs. Vi går i dybden på SP1s arkitektur, ytelsesgjennombrudd og hva som kreves for å sikre produksjonskvalitets ZK-VM-er. Tidsstempler: 0:00 Hva er SP1 og Succincts oppdrag 2:31 Hvorfor ZK-VM-er er mer generelle enn skreddersydde ZK-kretser 3:30 Hypercube og sanntidsbevis i EthProofs 4:30 Designbeslutninger bak SP1s ytelsesforbedringer 7:36 Avveininger mellom teori og aritmetisering 10:19 SP1 angrepsflater og avbøtende tiltak 14:04 Interaktive teorembevisere vs SMT-verktøy (Picus) 15:36 Verktøyintegrasjon og hva som fortsatt mangler 18:18 Forhåndskompileringer: når de skal legges til og sikkerhetspåvirkning 20:24 Er «kompilasjon-til-krets» en nyttig dual til ZK-VM-er? 21:12 Prover-garantier, utrulling og personvernrisiko 24:04 Inkrementell bevis: lokal + serverbevis 26:14 Bevis vs formodninger og kryptografisk prioritering 29:23 Ny kryptografi og hva som begeistrer Tamir mest 32:01 Applikasjoner som bygger på SP1 34:45 Prover-nettverk vs private provingtjenester 36:55 Tidslinje for hjemmeprøving for 99 % av blokkene 39:34 Den vanskeligste 1%: 12-sekunders flaskehalser 42:08 Adversarielle blokkeringer og "prover-killer" opkoder 43:18 Beyond Ethereum: andre SP1-arbeidsbelastninger 45:16 Hva skjer videre for SP1 47:15 Avslutningsord Ledet av @bensepanski fra @VeridiseInc, filmet i Buenos Aires, 17. november 2025 🇦🇷 Videooppsummering nedenfor 🧵 1/5

Tamir forklarer hvorfor Succinct gikk fra skreddersydde ZK-kretser til en generell ZK-VM, og hvorfor SP1 er prekompileringssentrert: optimaliserte kretser der det gjelder, fleksible programmer overalt ellers. Målet er ikke å bevise hver syklus — SP1 beviser programmets lovede oppførsel. 2/5

🚀 Fremføringshøydepunkter SP1 Hypercube beviser nå at ~99,7 % av Ethereum blokkerer under 12 med ~16 GPU-er — og når terskelen for forbrukermaskinvare. Nøkkellåser: multilineære polynomer, bedre aritmetiseringsfrihet og fjerning av rekursjonsflaskehalser. 3/5

Sikkerheten er i sentrum. Tamir går gjennom hvordan angrepsflater dempes, prover-killer opkoder, og hvorfor formell verifisering er essensiell for ZK-VM-er. @SuccinctLabs samarbeider med @VeridiseInc for formelt å verifisere SP1-kretser ved hjelp av Picus for å eliminere feil før de sendes. 4/5