W @ziskvm teraz udowadniamy bloki Ethereum w czasie rzeczywistym — open source i działające na coraz bardziej wydajnej infrastrukturze. To wczesny, ale znaczący kamień milowy. Dołącz do mnie dzisiaj o 13:00 na EthCC, Redford Stage, aby dowiedzieć się więcej. #EthCC #ZK #Ethereum #zkVM @eth_proofs

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

🤯 Udowadnianie w czasie rzeczywistym jest już dostępne 🤯 Bloki EVM sieci głównej sprawdzone w mniej niż 1 slocie Ethereum (12s). Gęsia skórka. Succinct udowadnia każdy blok Ethereum L1: → 94% w <12 s → 99% w <13 s → 99,9% w <12 sekund, wkrótce™ Wczoraj RISC Zero zaprezentował domowy klaster GPU o wartości 120 tys. USD - dowody spodziewane za 9,25 s. Brevis, OpenVM, Snarkify, ZisK, ZKM dzielą tygodnie od dołączenia do klubu czasu rzeczywistego. Wkrótce™ mój walidator zweryfikuje bloki EVM na Rasberry Pi Pico - płytce za 5 USD, która zużywa <1 W. Porzucę mojego klienta EL na rzecz zkEL. Brak 1 TB NVMe. Żegnaj Geth, witaj zkReth. Bezstanowa i bezramowa weryfikacja w ciągu milisekund na jednym rdzeniu procesora. Dzięki udowadnianiu w czasie rzeczywistym, 1 gigagaz/s (10K TPS) jest w zasięgu ręki, bez uszczerbku dla decentralizacji walidatora. Od teraz spodziewaj się regularnych podwyżek limitu gazu. 10% stawki już głosuje za limitem 60 mln – Twoi walidatorzy też mogą. Złośliwy mainnet zamienia Ethereum L1 w pierwszy oparty i natywny rollup. Etap 2. Bez błędów. Zdecentralizowane sekwencjonowanie. Nie ma rady bezpieczeństwa. Brak zarządzania. L1 będzie dawać przykład. W najbliższy piątek świętujemy. Dołącz do nas na rozmowie Ethproofs #2, 23 maja o 14:00 UTC. 25 prelegentów, 2 godziny treści. Połączenia są otwarte – wiadomość na czacie @corcoranwill o zaproszenie z kalendarza. Jesteśmy świadkami historii. Uwierz w coś prawdziwego. Uwierz w dowodzenie w czasie rzeczywistym.

Twórcy ETH Core nie tweetują zbyt wiele o tym, jak ciężka jest praca, którą wykonują, więc porozmawiajmy o tym: 1. Każda linka kodu, którą scalają, może przesunąć więcej pieniędzy, niż większość banków przetwarza w ciągu kwartału. Nie ma do tego serwera pomostowego. 2. zamieniają logikę konsensusu na gospodarkę 400 miliardów + dolarów bez planowania przestojów. kiedykolwiek. 3. Koordynują setki badaczy, audytorów i zespołów klientów w różnych strefach czasowych, kulturach i filozofiach, a mimo to działają jak jeden umysł. 4. Robią to wszystko publicznie, a każda decyzja jest analizowana przez najgłośniejszą galerię orzeszków ziemnych w Internecie, a mimo to utrzymują atmosferę współpracy. 5. Projektują dla napastników, którzy mają dziewięciocyfrowe zachęty i nieskończoną cierpliwość. Potem i tak śpią. 6. Utrzymują sześciu niezależnych klientów w doskonałej synchronizacji, dzięki czemu ten sam blok znajduje się na tej samej wysokości dla każdego węzła na świecie. 7. Przekształcają najnowocześniejsze badania w kod produkcyjny, zachowując jednocześnie kompatybilność wsteczną dla maszyn, które pojawiły się w Internecie, zanim DeFi miało jeszcze nazwę. 8. Debugują problemy, które zdarzają się tylko raz w roku w jednym węźle archiwum, ponieważ ktoś gdzieś będzie polegał na tym skrajnym przypadku. 9. Piszą kryptografię, która musi pozostać nieprzerwana przez dziesięciolecia, podczas gdy sama matematyka ewoluuje pod ich stopami. 10. Gdy ulepszenie wyląduje gładko, świat zewnętrzny wzrusza ramionami. Wiemy, że w Ethereum był to mały cud. Każdy udany fork dowodzi, że zdecentralizowana koordynacja może przewyższyć najlepsze hierarchie na świecie i pokazuje, że otwarte internetowe rynki kapitałowe są obecnie domyślne. Dziękuję, naprawdę. Jesteśmy Ci winni wszystko.

skonfigurował mój walidator dla limitu ⛽ gazu 60 M → 66% wzrost z 36 mln jest bezpieczny po Pectra → walidatorzy ustalają limit – głosuj swoim → instrukcje na stronie PumpTheGas[.]Org 1 gigagaz/s (10K TPS) na Ethereum L1? → potrzebuje dowodów zkEVM do urządzeń konsumenckich → Ethproofs call #2: Udowadnianie w czasie rzeczywistym → Ethproofs dzwoni #3: gigagas L1 wierzyć w coś

Uproszczenie L1

Przedstawiamy Ethereum R1 — neutralny rollup zbudowany dla Ethereum Brak tokena. Zakaz sprzedaży prywatnej. Żadnego kultu rządzenia. Tylko wartości Ethereum, finansowanie publiczne i kontrola społeczności. 🧵 Dlaczego R1 ma znaczenie i jak możesz dołączyć:

1 gigagas/s (10 tys. TPS) na Ethereum L1 z maszynami wirtualnymi zkVM Bez kompromisów: → sprzęt konsumencki (zkVMs) → internet domowy (DAS) → Odporność na cenzurę (FOCIL) → 100% czasu sprawności (różnorodność klientów) → węzłów konsensusu 8K Stworzony z myślą o finansach internetowych. Uwierz w coś prawdziwego.

trzy nowe zkVM zaprezentowane na Ethproofs call #1 → Ix (Lean 4) przez @argumentxyz → StarkV (RISC-V) przez @StarkWareLtd → zCray (inspirowany RISC-V) autorstwa @IrreducibleHW

LIVE NOW - Strategiczny zwrot Ethereum: plan przywrócenia dominacji @ethereumfndn badacze @dankrad i @adietrichs łączą siły @TrustlessState i @MikeIppolito_, aby porozmawiać o kryzysie tożsamości @ethereum i o tym, jak zmienia on oblicze statku. Omawiają wyzwania kulturowe i organizacyjne Ethereum, zwrot w kierunku rozwoju L1 oraz ewoluującą rolę Fundacji Ethereum pod nowym przywództwem. Rozmowa dotyczy przyszłości podstawowych i natywnych pakietów zbiorczych, dostosowania L2 oraz tego, dlaczego unikalne wartości Ethereum nadal mają znaczenie w konkurencyjnym krajobrazie. -------------- SYGNATURY CZASOWE 0:00 Wstęp 5:42 Najważniejsze problemy z Ethereum 12:33 Brak wzrostu w Ethereum Layer 1 27:49 Dylemat mapy drogowej Ethereum 38:08 Postęp skalowania warstwy 1 39:08 Propozycja wartości Ethereum L1 dla L2s 48:44 Wyjaśnienie podstawowych i natywnych pakietów zbiorczych 57:25 Kanoniczny EVM w świecie rollupów 1:01:26 Wizja Vitalika dotycząca skalowania L1 1:05:59 Skalowanie ZK staje się rzeczywistością 1:08:12 Szybkie czasy bloków i DeFi 1:16:59 Ewoluująca kultura rdzenia Ethereum 1:22:38 Inne interesujące zmiany 1:26:41 Kierunek Ethereum wydaje się teraz inny 1:30:09 Zamknięcie i ujawnienie