🎥 Nowa rozmowa przy kominku: Wewnątrz SP1 z @tamirhemo, szefem kryptografii w @SuccinctLabs. Zagłębiamy się w architekturę SP1, przełomy wydajnościowe i co jest potrzebne do zabezpieczenia produkcyjnych ZK-VM. Czasomierze: 0:00 Czym jest SP1 i misja Succinct 2:31 Dlaczego ZK-VM są bardziej ogólne niż dostosowane obwody ZK 3:30 Hiperkostka i dowodzenie w czasie rzeczywistym w EthProofs 4:30 Decyzje projektowe dotyczące zysków wydajnościowych SP1 7:36 Teoria vs kompromisy arytmetyzacji 10:19 Powierzchnie ataku SP1 i środki zaradcze 14:04 Interaktywne dowody twierdzeń vs narzędzia SMT (Picus) 15:36 Integracja narzędzi i co wciąż brakuje 18:18 Prekompilacje: kiedy je dodać i wpływ na bezpieczeństwo 20:24 Czy „kompilacja do obwodu” jest użytecznym odpowiednikiem ZK-VM? 21:12 Gwarancje dowodzenia, wdrożenie i ryzyka prywatności 24:04 Dowodzenie inkrementalne: lokalne + serwerowe dowody 26:14 Dowody vs przypuszczenia i priorytetyzacja kryptograficzna 29:23 Nowa kryptografia i co najbardziej ekscytuje Tamira 32:01 Aplikacje budujące na SP1 34:45 Sieć dowodząca vs prywatne usługi dowodzenia 36:55 Harmonogram dowodzenia w domu dla 99% bloków 39:34 Najtrudniejsze 1%: 12-sekundowe wąskie gardła 42:08 Bloki adwersarialne i opkody „zabójca dowodzącego” 43:18 Poza Ethereum: inne obciążenia SP1 45:16 Co dalej z SP1 47:15 Uwagi końcowe Prowadzone przez @bensepanski z @VeridiseInc, nagrane w Buenos Aires, 17 listopada 2025 🇦🇷 Podsumowanie wideo poniżej 🧵 1/5

Tamir wyjaśnia, dlaczego Succinct przeszedł z dedykowanych obwodów ZK na ogólnego przeznaczenia ZK-VM oraz dlaczego SP1 koncentruje się na prekompilacjach: zoptymalizowane obwody tam, gdzie to ma znaczenie, elastyczne programy wszędzie indziej. Celem nie jest udowadnianie każdego cyklu — SP1 udowadnia obiecane zachowanie programu. 2/5

🚀 Najważniejsze osiągnięcia wydajności SP1 Hypercube teraz udowadnia ~99,7% bloków Ethereum w czasie poniżej 12s przy użyciu ~16 GPU — osiągając próg dla sprzętu konsumenckiego. Kluczowe odblokowania: wieloliniowe wielomiany, lepsza swoboda arytmetyzacji oraz usunięcie wąskich gardeł rekurencji. 3/5

Bezpieczeństwo jest na pierwszym planie. Tamir omawia, jak ogranicza się powierzchnie ataku, operatory prover-killer oraz dlaczego formalna weryfikacja jest niezbędna dla ZK-VM-ów. @SuccinctLabs współpracuje z @VeridiseInc, aby formalnie weryfikować obwody SP1 przy użyciu Picus, aby wyeliminować błędy przed ich wysyłką. 4/5