Udowadnianie w czasie rzeczywistym :) pytań i odpowiedzi Co to? ELI12. O: Armia nerdów właśnie rozwiązała problem science-fiction: udowodniła każdy blok mainnetu Ethereum w czasie rzeczywistym. Te dowody zk są wykładniczo tańsze do zweryfikowania niż ponowne wykonanie transakcji - zaledwie kilka milisekund, bez względu na użyty gaz. Bloki Thicc, maleńkie walidatory. Decentralizacja maxis się raduj. Czy udowodnienie w czasie rzeczywistym matematyki księżycowej nie było niemożliwe? O: Tak było. Pięć lat temu dzieliło nas pięć rzędów wielkości. Ale technologia rozwijała się 10 razy rocznie, a teraz jesteśmy tutaj. Nie zanikaj wykładników. Również na wykładnikach: → nie blakną komputery kwantowe łamiące ECDSA → nie blakną halvingi łamiąc bezpieczeństwo Bitcoina W jaki sposób Ethereum L1 staje się "opartym i natywnym rollupem"? O: Przeanalizujmy to. → podstawie: Proponenci L1 zlecają transakcje. Ethereum L1 jest warstwą podstawową — jest oparta tautologicznie. → natywny: L1 wykonuje transakcje za pośrednictwem zapisanej funkcji przejścia stanu EVM. Z definicji Ethereum L1 jest natywny. Zawsze tak będzie. → rollup: Rollup zawiera dane onchain i wykonanie poza łańcuchem. Poprzez przejęcie blokad EVM w mainnecie, Ethereum L1 zamienia się w rollup zk. Rollupy odblokowują duże limity gazu. Baza wynosi już 35 megagazów/s – 20x Ethereum L1. Baza dąży do 1 gigagazu/s, Ethereum L1 też może tam dotrzeć. Wen gigagas L1? O: Rozmowa #3 Ethproofs będzie poświęcona gigagazowi L1 - dołączcie do nas. Z EIP-9698 Dankrad proponuje ~3x/rok podwyżki gazu, lub ~10x co 2 lata. To 1,000 razy w ciągu 6 lat. Szacowne liczby, ale wciąż żółtodzioby. Moje optymistyczne podejście? Teraz, gdy zkVM są zgodne z wydajnością EVM, limity gazu mogą śledzić ulepszenia zkVM. Jeśli będziemy osiągać 10 razy w roku, to w ciągu 3 lat będzie to 1 gigagaz na sekundę. Pracowałem z Dankradem przez ponad dekadę – rzeczywistość zwykle plasuje się między jego ostrożnością a moim hopium. Czy zkVM nie jest błędny? A co z weryfikacją formalną? O: Formalna weryfikacja jest grą końcową, a nie pierwszym krokiem. Strategia krótkoterminowa: zkVM diversity. Do końca drugiego kwartału kilka maszyn zkVM zostanie uruchomionych w czasie rzeczywistym. Podobnie jak w przypadku klientów CL i EL, zakłada się, że każdy indywidualny klient jest błędny. Bezpieczeństwo bierze się z różnorodności. Czy udowodnienie niskiego opóźnienia można skalować do gigagazów? O: Tak. Udowadnianie SNARK jest w dużym stopniu równoległe. Tylko początkowe wykonanie x86 i fragmentowanie jest sekwencyjne. EIP-7825 proponuje ograniczenie maksymalnej ilości gazu zużywanego na transakcję. Pozwala to na łatwe fragmentowanie na granicach transakcji. Skale równoległości. Opóźnienia pozostają niskie. Jakie jest następne wąskie gardło zkVM? Moc. Wiarygodna żywotność 1-of-n prover oznacza, że domowe testy powinny być dostępne dla entuzjastów. Rozsądny cel może wynosić 10 kW lub mniej na klaster testowy. Jak zwiększyć limit gazu 1,000-krotnie przy budżecie 10 kW? → oprogramowanie: systemy dowodowe, obwody, algorytmy ciągle się kumulują → sprzęt: prawo Moore'a + układy ASIC SNARK → rozproszone udowadnianie: rozłóż ładunek, bez zaufania