🎥 Uusi takkakeskustelu: Inside SP1 yhdessä @tamirhemo:n kanssa, joka toimii kryptografian johtajana @SuccinctLabs:lla. Sukellamme syvälle SP1:n arkkitehtuuriin, suorituskyvyn läpimurtoihin ja siihen, mitä vaaditaan tuotantotason ZK-VM:ien turvaamiseksi. Aikaleimat: 0:00 Mikä on SP1 ja Succinctin tehtävä 2:31 Miksi ZK-VM:t ovat yleisempiä kuin räätälöidyt ZK-piirit 3:30 Hypercube ja reaaliaikainen todistaminen EthProofsissa 4:30 SP1:n suorituskyvyn parannuksiin liittyvät suunnittelupäätökset 7:36 Teorian ja aritmetisoinnin kompromissit 10:19 SP1-hyökkäyspinnat ja lieventämistoimet 14:04 Interaktiiviset teoreemantodistajat vs SMT-työkalut (Picus) 15:36 Työkalujen integraatio ja mitä vielä puuttuu 18:18 Esikäännökset: milloin ne kannattaa lisätä ja turvallisuusvaikutus 20:24 Onko "compile-to-circuit" hyödyllinen dual ZK-VM:ille? 21:12 Todistajan takuut, käyttöönotto ja yksityisyysriskit 24:04 Inkrementaalinen todistus: paikalliset + palvelintodistukset 26:14 Todistukset vs konjektuurit ja kryptografinen priorisointi 29:23 Uusi kryptografia ja mikä innostaa Tamiria eniten 32:01 Sovellukset, jotka rakentuvat SP1:n päälle 34:45 Todistajaverkko vs yksityiset todistuspalvelut 36:55 Kotitestausaikataulu 99 % lohkoista 39:34 Vaikein 1%: 12 sekunnin pullonkaulat 42:08 Vastustajablokit ja "todistaja-tappaja"-opkoodit 43:18 Ethereumin ulkopuolella: muut SP1-työkuormat 45:16 Mitä seuraavaksi SP1:lle 47:15 Loppupuheenvuoro Juontajana @bensepanski vuodelta @VeridiseInc, kuvattu Buenos Airesissa 17. marraskuuta 2025 🇦🇷 Videoyhteenveto alla 🧵 1/5

Tamir selittää, miksi Succinct siirtyi räätälöidyistä ZK-piireistä yleiskäyttöisiin ZK-VM:iin, ja miksi SP1 on esikäännöskeskeinen: optimoidut piirit siellä, missä sillä on merkitystä, joustavia ohjelmia kaikkialla muualla. Tavoitteena ei ole todistaa jokaista sykliä — SP1 todistaa ohjelman luvattua toimintaa. 2/5

🚀 Suorituksen kohokohdat SP1 Hypercube todistaa nyt ~99,7 % alle 12-vuotiaiden Ethereum-lohkoista ~16 GPU:lla — saavuttaen kuluttajatason laitteiston rajan. Avainavaukset: monilineaariset polynomit, parempi aritmetisoinnin vapaus ja rekursion pullonkauloiden poistaminen. 3/5

Turvallisuus on keskiössä. Tamir käy läpi, miten hyökkäyspintoja hillitään, todistaa tappajatoimintoja ja miksi virallinen varmennus on välttämätöntä ZK-VM:ille. @SuccinctLabs tekee yhteistyötä @VeridiseInc:n kanssa varmistaakseen SP1-piirit virallisesti Picus-järjestelmällä bugien poistamiseksi ennen niiden lähettämistä. 4/5