🎥 Nový rozhovor u krbu: Inside SP1 s @tamirhemo, vedoucím kryptografie ve @SuccinctLabs. Hlouběji se ponoříme do architektury SP1, průlomů ve výkonu a toho, co je potřeba k zajištění produkčních ZK-VM. Časová razítka: 0:00 Jaká je mise SP1 a Succinct 2:31 Proč jsou ZK-VM obecnější než speciální ZK obvody 3:30 Hypercube a dokazování v reálném čase v EthProofs 4:30 Designová rozhodnutí za výkonnostními nárůsty SP1 7:36 Kompromisy mezi teorií a aritmetizací 10:19 SP1 povrchy útoků a zmírnění 14:04 Interaktivní dokazovače vět vs SMT nástroje (Picus) 15:36 Integrace nástrojů a co ještě chybí 18:18 Předkompilace: kdy je přidat a dopad na bezpečnost 20:24 Je "kompilace do obvodu" užitečná dvojka ZK-VM? 21:12 Záruky Proveru, nasazení a rizika ochrany soukromí 24:04 Postupné dokazování: lokální + serverové důkazy 26:14 Důkazy vs domněnky a kryptografická prioritizace 29:23 Nová kryptografie a co Tamira nejvíc nadchne 32:01 Aplikace stavějící na SP1 34:45 Síť proverů vs soukromé služby dokazování 36:55 Časová osa pro domácí kysání u 99 % bloků 39:34 Nejtěžší 1 %: 12sekundová úzká místa 42:08 Bloky protivníků a "prover-killer" opcodes 43:18 Beyond Ethereum: další SP1 pracovní zátěže 45:16 Co čeká SP1 dál 47:15 Závěrečné poznámky Moderováno @bensepanski from @VeridiseInc, natáčeno v Buenos Aires, 17. listopadu 2025 🇦🇷 Video shrnutí níže 🧵 1/5

Tamir vysvětluje, proč Succinct přešel od zakázkových ZK obvodů k univerzálnímu ZK-VM a proč je SP1 zaměřený na předkompilaci: optimalizované obvody tam, kde to záleží, flexibilní programy všude jinde. Cílem není dokazovat každý cyklus — SP1 dokazuje slibované chování programu. 2/5

🚀 Vrcholy výkonu SP1 Hypercube nyní dokazuje, že ~99,7 % bloků Etherea pod 12 sekund má ~16 GPU — což dosahuje hranice pro spotřebitelský hardware. Odemknutí klíčů: multilineární polynomy, větší volnost aritmetizace a odstranění úzkých míst v rekurzi. 3/5

Bezpečnost je na prvním místě. Tamir vysvětluje, jak jsou zmírňovány povrchy útoků, prover-killer opcode a proč je formální ověřování nezbytné pro ZK-VM. @SuccinctLabs spolupracuje s @VeridiseInc na formálním ověření SP1 obvodů pomocí Picusu, aby odstranil chyby před jejich odesláním. 4/5