Halten Sie es kommen
TLDR;
Überprüfung der Laufzeitüberprüfung und Überprüfung des Einzahlungsvertrags
Laufzeitüberprüfung hat kürzlich ihre Prüfung abgeschlossen und formelle Überprüfung der ETH2 -Einzahlungsvertrag Bytecode. Dies ist ein erheblicher Meilenstein, der uns näher an das ETH2 -Phase -0 -Hauptnetz bringt. Nachdem diese Arbeit abgeschlossen ist, bitte ich um eine Überprüfung und einen Kommentar der Community. Wenn in der formalen Spezifikation Lücken oder Fehler vorhanden sind, geben Sie bitte ein Problem auf der ETH2 Specs Repo.
Die in der angegebene formale Semantik K Framework Definieren Sie die genauen Verhaltensweisen, die der EVM -Bytecode extremen sollte und beweist, dass diese Verhaltensweisen gilt. Dazu gehören Eingabevalidierungen, Aktualisierungen des iterativen Merkle -Baums, Protokolle und mehr. Schauen Sie sich an Hier Für eine (semi-) hochrangige Diskussion über das, was angegeben ist, und tiefer ausgraben Hier Für die vollständige formale K -Spezifikation.
Ich möchte Daejun Park (Laufzeitüberprüfung) für die Führung der Bemühungen und Martin Lundfall und Carl Beekhuizen für viel Feedback und Überprüfung danken.
Wenn dieses Zeug Ihre Tasse Tee ist, ist es jetzt an der Zeit, Input und Feedback zur formellen Überprüfung bereitzustellen – bitte schauen Sie sich an.
Das Wort des Monats ist “Optimierung”
Im vergangenen Monat drehte sich alles um Optimierungen.
Obwohl hier eine 10 -fache Optimierung und eine 100 -fache Optimierung dort für die Ethereum -Community heute nicht so greifbar anfühlt, ist diese Entwicklungsphase genauso wichtig wie jede andere, um uns in die Ziellinie zu bringen.
Optimierungen der Beacon -Kette sind kritisch
(Warum können wir unsere Maschinen nicht einfach mit der Beacon -Kette maximieren)
Die Beacon -Kette – der Kern von ETH2 – ist eine erforderliche Komponente für den Rest des Sharded -Systems. Synchronisieren Sie einen Scherben muss Synchronisieren Sie die Beacon -Kette. Um die Beacon -Kette und eine Handvoll Scherben auf einer Verbrauchermaschine ausführen zu können, ist es von größter Bedeutung, dass die Beacon -Kette relativ gering im Ressourcenverbrauch hat, selbst wenn die Teilnahme von hohem Validator (~ 300K+ Validatoren).
Zu diesem Zweck hat sich ein Großteil der Bemühungen der ETH2 -Kundenteams im vergangenen Monat für Optimierungen gewidmet – die Ressourcenanforderungen in Phase 0, der Beacon -Kette, verringert.
Ich freue mich zu berichten, dass wir fantastische Fortschritte sehen. Was folgt, ist nicht umfassend, aber stattdessen Nur ein Blick um Ihnen eine Vorstellung von der Arbeit zu geben.
Lighthouse läuft 100.000 Validatoren wie eine Kinderspiele
Der Leuchtturm hat vor ein paar Wochen ihr ~ 16K -Validator -Test für die Bescheinigungsbescheinigungsbescheinigungsbescheinigte Relais -Schleife niedergeschlagen, um die Knoten im Wesentlichen selbst auszudämmen. Sigma Prime hat diesen Fehler schnell gepatcht und nach größeren und besseren Dingen gesucht – dh ein 100 -km -Validator -Testnet! Die letzten zwei Wochen haben sich den Optimierungen gewidmet, um dieses reale Maßstab zu verwirklichen.
Ein Ziel jedes progressiven Lighthouse -TestNetzes ist es, sicherzustellen, dass Tausende von Validatoren auf einem kleinen VPS mit 2 CPUs und 8 GB RAM problemlos ausgeführt werden können. Erste Tests mit 100K -Validatoren sahen, wie Kunden eine konsistente 8 GB RAM verwendeten, aber nach einigen Tagen der Optimierungen konnte Paul dies auf stetige 2,5 GB mit einigen Ideen reduzieren, um es bald noch niedriger zu machen. Lighthouse erzielte auch 70% Gewinne im Hashing von Staat, was zusammen mit der BLS -Signaturüberprüfung als Haupttargung bei ETH2 -Clients als Haupt -Rechenumfang erweist.
Der neue Lighthouse TestNet -Start ist unmittelbar bevorsteht. In einsteigen ihre Zwietracht Fortschritt folgen
Das Prysmatische Testnet tuckerte immer noch massiv verbessert
Vor ein paar Wochen das aktuelle Prysm -Testnet feierte ihren 100.000. Slot mit über 28K -Validatoren validieren. Heute hat das TestNet Slot 180K bestanden und über 35.000 aktive Validatoren verfügt. Ein öffentliches Testnetz zu halten und gleichzeitig Updates, Optimierungen, Stabilitätspatches usw. zu erstellen, ist eine ziemliche Aufgabe.
In Prysm gibt es eine Menge materieller Fortschritte. Ich habe in den letzten Monaten mit einer Reihe von Validatoren gesprochen und aus seiner Sicht verbessert sich der Kunde weiter. Ein besonders aufregender Artikel ist eine verbesserte Synchronisierungsgeschwindigkeit. Das prysmatische Team optimierte seine Kundensynchronisierung von ~ 0,3 Blöcken/Sekunde auf mehr als 20 Blöcke/Sekunde. Dies verbessert den Validator UX erheblich und ermöglicht es ihnen, eine Verbindung herzustellen und zum Netzwerk viel schneller beizutragen.
Eine weitere aufregende Ergänzung zum Prysm -Testnet ist Alethio neuer ETH2 -Knotenmonitor – Eth2Stats.io. Dies ist ein Opt-In-Dienst, mit dem Knoten Statistiken an einem einzelnen Ort aggregieren können. Dies ermöglicht es uns, den Stand der Testnetze und letztendlich ETH2 Mainnet besser zu verstehen.
Vertraue mir nicht! Ziehen Sie es nach unten und probieren Sie es selbst aus.
Jeder liebt proto_array
Das Core ETH2 Spec häufig (wissentlich) legt das erwartete Verhalten nicht optimal fest. Der Spezifikationscode wird stattdessen eher für die Lesbarkeit der Absicht als für die Leistung optimiert.
Eine Spezifikation beschreibt das richtige Verhalten eines Systems, während ein Algorithmus ein Verfahren zur Ausführung eines bestimmten Verhaltens ist. Viele verschiedene Algorithmen können dieselbe Spezifikation treu umsetzen. Daher ermöglicht die ETH2 -Spezifikation eine Vielzahl verschiedener Implementierungen jeder Komponente, wenn Kundenteams eine beliebige Anzahl verschiedener Kompromisse berücksichtigen (z. B. Computerkomplexität, Speicherverbrauch, Implementierungskomplexität usw.).
Ein solches Beispiel ist das Gabelauswahl – Die Spezifikation, mit der der Kopf der Kette ermittelt wurde. Die ETH2 -Spezifikation gibt das Verhalten anhand eines naiven Algorithmus an, um die beweglichen Teile und Randfälle klar anzuzeigen – z. Stattdessen müssen Kundenteams im Kontext ihres Kundenbetriebs tiefer über die rechnerischen Kompromisse nachdenken und einen komplexeren Algorithmus implementieren, um diese Anforderungen zu erfüllen.
Glück für Kundenteams, vor etwa 12 Monaten protolambda implementiert Eine Reihe verschiedener GabelauswahlalgorithmenDokumentieren Sie die Vorteile und Kompromisse der einzelnen. Kürzlich beobachtete Paul von Sigma Prime einen großen Engpass im Fork Choice -Algorithmus von Lighthouse und ging einkaufen für etwas Neues. Er entdeckte proto_array in Protos alter Liste.
Es dauerte einige Arbeit zum Hafen proto_array zu der neuesten Spezifikation einzubauen, aber einmal integriert, proto_array erwies sich als “Größenordnungsaufträge weniger Zeit und maßgeblich weniger Datenbank liest”. Nach der ersten Integration in den Leuchtturm wurde es auch schnell von Prysmatic aufgenommen und ist in ihrer jüngsten Veröffentlichung erhältlich. Mit den klaren Vorteilen dieses Algorithmus gegenüber Alternativen, proto_array Wird schnell zum Favoriten, und ich erwarte voll und ganz, dass einige andere Teams es bald abholen!
Laufende Phase -2 -Forschung – Quilt, Ewasm und jetzt TXRX
Phase 2 von ETH2 ist die Zugabe von Zustand und Ausführung in das Sharded Eth2 -Universum. Obwohl einige Kernprinzipien relativ definiert sind (z. B. Kommunikation zwischen Scherben über Vernetzungen und Merkle -Proofs), ist die Phase -2 -Designlandschaft noch relativ weit offen. Quilt (Consensys Research Team) und ewasm (EF -Forschungsteam) haben im vergangenen Jahr einen Großteil ihrer Bemühungen aufgewendet, diesen weit offenen Designraum parallel zu den laufenden Arbeiten zu recherchieren und besser zu definieren, um die Phasen 0 und 1 zu spezifizieren und zu bauen.
Zu diesem Zweck gab es eine Flut von jüngsten Aktivitäten öffentlicher Anrufe, Diskussionen und ethresear.ch -Beiträge. Es gibt einige großartige Ressourcen, um das Land zu bekommen. Das Folgende ist nur ein kleines Beispiel:
Zusätzlich zu Quilt und Ewasm die neu gebildete Txu (Consensys Research Team) widmen einen Teil ihrer Bemühungen auch für Phase-2-Forschung und konzentriert sich zunächst auf das bessere Verständnis der Komplexität der Cross-Shard-Transaktion sowie auf die Erforschung und Prototyping möglicher Wege für die Integration von ETH1 in ETH2.
Die gesamte F & E -Phase -2 -F & E ist ein relativ grünes Feld. Hier gibt es eine große Chance, tief zu graben und Wirkung zu erzielen. Erwarten Sie in diesem Jahr mehr konkrete Spezifikationen sowie Entwicklerspielplätze, in die sich Ihre Zähne einbringen können.
Whiteblock veröffentlicht LIBP2P -Klatschsub -Testergebnisse
Diese Woche, Whiteblock veröffentlicht libp2p Testergebnisse des Klatschsubs als Höhepunkt eines Zuschuss Konsensys und die Ethereum Foundation. Diese Arbeit zielt darauf ab, den Klatsch -Algorithmus für die Verwendung von ETH2 zu validieren und Einblicke in die Grenzen der Leistung zu geben, um Follow -up -Tests und algorithmische Verbesserungen zu unterstützen.
Das TL; DR ist, dass die Ergebnisse dieser Testwelle solide aussehen, aber weitere Tests sollten durchgeführt werden, um besser zu beobachten, wie sich die Meldungsmörderung mit Netzwerkgröße skaliert. Schauen Sie sich das an Vollständiger Bericht Detaillierung ihrer Methodik, Topologie, Experimente und Ergebnisse!
Stapeler Frühling!
Dieser Frühling ist mit aufregenden Konferenzen, Hackathons, ETH2 Bounties und mehr gestapelt! Bei jedem dieser Veranstaltungen wird es eine Gruppe von ETH2 -Forschern und -ingenieuren geben. Bitte komm chatten! Wir würden gerne mit Ihnen über den technischen Fortschritt sprechen, auf Testnets bestätigen, was in diesem Jahr zu erwarten ist, und alles andere, was Sie vielleicht haben könnten.
Jetzt ist eine großartige Zeit, um sich zu engagieren! Viele Clients befinden sich in der TestNet -Phase, sodass alle möglichen Tools erstellt werden können, Experimente zum Ausführen und Spaß haben müssen.
Hier ist ein Blick auf die vielen Ereignisse, die eine solide ETH2 -Darstellung haben sollen:
🚀
