Wczoraj Ethereum obchodziło 10. urodziny. Dziś, lean Ethereum jest ujawniane jako wizja — i osobista misja — na następne 10 lat. Stojimy u progu nowej ery. Miliony TPS. Kwantowi przeciwnicy. Jak Ethereum łączy ekstremalną wydajność z nieugiętą bezpieczeństwem i decentralizacją? TLDR: kryptografia nowej generacji jest kluczowa dla wygrania zarówno w ofensywie, jak i defensywie. Zastrzeżenie: To jest spojrzenie Drake'a™ skierowane do szerokiej publiczności. Wkrótce nastąpi techniczna analiza podpisów post-kwantowych opartych na haszach i SNARKów. Oczekuje się i witamy zdrową różnorodność poglądów w całym Protokołu, EF i szerszej społeczności Ethereum. To nas wzmacnia. defensywa — fort mode Ethereum jest wyjątkowe. 100% dostępności od początku. Niezrównana różnorodność klientów. 130 miliardów dolarów w zabezpieczeniu ekonomicznym (35,7 mln ETH stakowanych × 3,7 tys. dolarów) — może wkrótce 1 bilion dolarów. Ethereum jest gotowe stać się fundamentem internetu wartości, zabezpieczając setki bilionów przez dekady, a nawet wieki. Ethereum musi przetrwać wszystko: państwa narodowe, komputery kwantowe. Cokolwiek przyjdzie. Nazwij to fort mode. Jeśli internet działa, Ethereum działa. Jeśli świat jest online, świat jest onchain. offensywa — beast mode Ethereum jest głodne. „Skaluj L1, skaluj bloby” to strategiczna pilność w klastrze Protokołu EF. Oczekuj łatwych do osiągnięcia zysków wydajności w ciągu następnych 6–12 miesięcy. Długoterminowo? Myśl o gigagas L1, teragas L2. Nazwij to beast mode. → 1 gigagas/sek na L1: 10K TPS, ambitna pionowa skala → 1 teragas/sek na L2: 1M TPS, rozległa pozioma skala Skala vs decentralizacja? Dlaczego nie obie. Matematyka księżyca, której potrzebujemy, jest teraz okiełznana: → zkVM w czasie rzeczywistym dla lekkiej egzekucji → próbkowanie dostępności danych (DAS) dla lekkich danych Pyszna wisienka na torcie: pełna weryfikacja łańcucha w każdej przeglądarce, portfelu, telefonie. lean upgrades Lean Ethereum proponuje odważne aktualizacje we wszystkich trzech podwarstwach L1: → lean consensus to beacon chain 2.0: wzmocnione dla ostatecznego bezpieczeństwa i decentralizacji, plus finalność w kilka sekund; wcześniej znane jako „beam chain” → lean data to blobs 2.0: post-kwantowe bloby, plus granularne rozmiary blobów dla doświadczenia dewelopera podobnego do calldata → lean execution to EVM 2.0: minimalny, przyjazny SNARK-om zestaw instrukcji (prawdopodobnie RISC-V; wymawiane „ryzyko pięć”), zwiększający wydajność przy zachowaniu kompatybilności EVM i jej efektów sieciowych Warstwa konsensusu (CL), warstwa danych (DL), warstwa egzekucji (EL) zostały przemyślane od podstaw. Razem odblokowują fort mode i beast mode. Cel: obfitość wydajności pod warunkiem niepodlegającej negocjacjom ciągłości, maksymalnej twardości i odświeżającej prostoty. lean cryptography Kryptografia oparta na haszach staje się idealnym fundamentem dla lean Ethereum. Oferuje przekonującą, zjednoczoną odpowiedź na dwa megatrendy kształtujące ekosystem: → eksplozja SNARKów → nadchodzące zagrożenie kwantowe Wyobraź sobie najcieńszy cegiełkę kryptograficzną — funkcję haszującą — która samodzielnie napędza L1: → CL: haszowe agregatowe podpisy aktualizują podpisy BLS → DL: haszowe zobowiązania DAS aktualizują zobowiązania KZG → EL: haszowe zkVM w czasie rzeczywistym aktualizują ponowną egzekucję EVM Kryptograficzny klejnot w każdym z lean CL, lean DL, lean EL. lean craft Lean Ethereum to więcej niż plan na wzmocnienie i skalowanie Ethereum. Więcej niż tylko podwajanie bezpieczeństwa, decentralizacji i nowoczesnej kryptografii. To estetyka. Forma sztuki. Rzemiosło. Pomyśl o Jiro w „Sny o sushi”. Kiedy możemy zrobić coś ekstra, robimy to. Minimalizm. Modułowość. Enkapsulowana złożoność. Formalna weryfikacja. Dowodowe bezpieczeństwo. Dowodowa optymalność. To subtelne, ale ważne kwestie techniczne. Bądź na bieżąco z postem na temat kryptografii post-kwantowej, który uczyni je explicite. lean legacy Po 10 fantastycznych latach, lean Ethereum to pokoleniowa przysięga. Aby utrzymać Ethereum online bez względu na wszystko. Aby skalować je bez kompromisów. Aby uczynić je godnym tych, którzy przyjdą następni. To jest o dziedzictwie. Jesteśmy budowniczymi, jesteśmy misjonarzami. Jesteśmy Ethereum. Mam nadzieję, że do nas dołączysz.

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