🎥 Ny chatt vid eldstaden: Inside SP1 med @tamirhemo, chef för kryptografi på @SuccinctLabs. Vi går på djupet i SP1:s arkitektur, prestandagenombrott och vad som krävs för att säkra produktionsklassade ZK-VM:er. Tidsstämplar: 0:00 Vad är SP1 och Succincts uppdrag 2:31 Varför ZK-VM:er är mer generella än skräddarsydda ZK-kretsar 3:30 Hypercube & realtidsbevis i EthProofs 4:30 Designbeslut bakom SP1:s prestandaförbättringar 7:36 Teori kontra aritmetisering avvägningar 10:19 SP1 attackytor och åtgärder 14:04 Interaktiva satsbevisare vs SMT-verktyg (Picus) 15:36 Verktygsintegration och vad som fortfarande saknas 18:18 Förkompileringar: när man ska lägga till dem och säkerhetspåverkan 20:24 Är "compile-to-circuit" en användbar dual till ZK-VM:er? 21:12 Prover-garantier, utrullning och integritetsrisker 24:04 Inkrementell bevisning: lokal + serverbevis 26:14 Bevis vs förmodanden & kryptografisk prioritering 29:23 Ny kryptografi och vad som entusiasmerar Tamir mest 32:01 Applikationer som bygger på SP1 34:45 Provernätverk vs privata provtjänster 36:55 Tidslinje för hemmaprovning för 99 % av blocken 39:34 Den svåraste 1%: 12-sekunders flaskhalsar 42:08 Adversarial blockeringar och "prover-killer" opkoder 43:18 Bortom Ethereum: andra SP1-arbetsbelastningar 45:16 Vad händer härnäst för SP1 47:15 Avslutande anmärkningar Programledare är @bensepanski från @VeridiseInc, inspelad i Buenos Aires, 17 november 2025 🇦🇷 Videosammanfattning nedan 🧵 1/5

Tamir förklarar varför Succinct gick från skräddarsydda ZK-kretsar till en allmän ZK-VM, och varför SP1 är prekompileringscentrerad: optimerade kretsar där det är viktigt, flexibla program överallt annars. Målet är inte att bevisa varje cykel — SP1 bevisar programmets utlovade beteende. 2/5

🚀 Höjdpunkter på framträdanden SP1 Hypercube bevisar nu att ~99,7 % av Ethereum blockerar under 12 med ~16 GPU:er — vilket når tröskeln för konsumenthårdvara. Nyckelupplåsningar: multilinjära polynom, bättre aritmetiseringsfrihet och att ta bort rekursionsflaskhalsar. 3/5

Säkerheten är i centrum. Tamir går igenom hur attackytor motverkas, bevisar dödande opkoder och varför formell verifiering är avgörande för ZK-VM:er. @SuccinctLabs samarbetar med @VeridiseInc för att formellt verifiera SP1-kretsar med hjälp av Picus för att eliminera buggar innan de skickas. 4/5