Willkommen zur dritten Ausgabe von ETH2 schnelles Update.
TLDR;
- Härten -Gabel -Auswahlverteidigung als Reaktion auf Audits
- Einführung Herausforderungen.Thereum.org
- Herumi Grant für eine superschnelle BLS-Implementierung
Gabelauswahlverteidigung
Diese Woche haben wir die Verteidigung der Phase 0 -Gabelauswahlregel gehärtet. Ein Großteil unserer Zeit wird für die Analyse von ETH2 aufgewendet, um sicherzustellen, dass das System auch unter unerwünschten Bedingungen stabil bleiben kann (z. B. ein großer Angreifer, ein großer Netzwerkausfall oder eine Trennwand usw.). Bei jedem großen Ingenieurprojekt ist es das Ziel, vor der Veröffentlichung so viele potenzielle Probleme zu finden und gegen diese Szenarien zu härten. Aus diesem Grund haben wir uns mit vielen externen Teams und Forschern beschäftigen, um Audits, wirtschaftliche Analysen und formale Überprüfung von ETH2 durchzuführen. Gleichzeitig müssen wir wachsam und flexibel bleiben, um auf unvorhergesehene Angriffe in der Produktion zu reagieren (z. B. die Shanghai -DOS -Angriffe von 2016).
Mit dieser Bemühungen hat ein Konsensforscher, Ryuya Nakamura, den Konsensalgorithmus des ETH2 (Casper FFG) und die Fork Choice Rule (LMD Ghost) analysiert, um besser zu bestimmen, wie diese beiden Teile des Protokolls in einigen Szenarien ausgenutzt werden können. Er hat eine Reihe hervorragender Artikel auf ethresearch.ch In detaillierten Diskussionen einige Angriffsvektoren und empfohlene Lösungen. Kasse Dekoy-Flop-Flop-Angriff auf den LMD GhostAnwesend Analyse des Sprungangriffs auf FFGUnd Verhinderung des Begrenzungsangriffs auf FFG Für einige informative und lustige Lesungen.
Glücklicherweise sind die empfohlenen Lösungen für die Decoy-Flop-Flop und die Sprungangriffe sowohl einfache Modifikationen zur Fork Choice-Spezifikation von Phase 0. Der Dekoy-Flip-Flop Hinzufügen Bezugsbedenken für die Auswahl der Gabel. Sie können sehen, dass die PR diese Änderung zur Spezifikation vornimmt Hier. Der Bounce -Angriff wird gelöst, indem der neueste gerechtfertigte Checkpoint innerhalb der Fork -Wahl während der ersten nur aktualisiert wird k Slots einer Epoche. Nach k Slots, Sie verschieben die Einbeziehung eines neuen gerechtfertigten Kontrollpunkts in die Fork -Wahl bis zur nächsten Epochegrenze. Sie können diese Änderung überprüfen Hier.
Eine Reihe anderer Komponenten der Phase -0 -Spezifikation sind derzeit für die Prüfung ausgeführt. Obwohl wir nichts Großes erwarten, erwarten wir eine kleine Anzahl zusätzlicher nach dem Audit vorgeschlagener Änderungen, um es in den kommenden Monaten zu PRs zu schaffen.
Herausforderungen.Thereum.org
Wir haben gerade veröffentlicht Herausforderungen.Thereum.org. Diese Website ist eine einzige Quelle für alle aktuellen Prämien, die von der Ethereum Foundation veranstaltet werden und/oder sich auf die Ethereum -Forschung und -entwicklung beziehen. Die Prämien reichen von der Suche nach Schwachstellen in der bestehenden Ethereum -Infrastruktur bis hin zur Suche nach Kollisionen in neuen Hash -Funktionen. Für jeden etwas dabei 🙂
Wir werden in den kommenden Monaten weiterhin das Kopfgeldprogramm von EF aufbauen. Schauen Sie also nach mehr Möglichkeiten vorbei.
Herumi BLS Grant
Wir haben Shigeo Mitsunari, dem Betreuer des superschnellen Herumi, ein Stipendium gegeben Paarbibliothek Und BLS Signature Library. Mit diesem Stipendium soll die Bibliotheken mit dem neuen BLS -Standard auf die Spezifikation gebracht werden (Neue Hash-zu-G2konstante Zeitunterzeichnung usw.) sowie dazu beitragen, einige praktische Artikel für die ETH2-Benutzerfreundlichkeit (Rostintegration, Fuzzing-Arbeit usw.) zu erreichen.
Zusätzlich zur Feature -Komponente des Zuschusses gibt es auch eine Leistungskomponente. Die Herumi-Bibliothek ist bereits 2-3x schneller als die nächstbeste BLS-Option. Da die Signaturüberprüfung jedoch eine der Haupttgpässe in ETH2 ist, wären hier zusätzliche Gewinne hervorragend, sodass ETH2 unter noch höherer Last und in unerwünschteren Szenarien laufen kann. Shigeo wird zusätzliche Zeit und Mühe verbringen, die Bibliothek weiter zu optimieren, um sicherzustellen, dass sie ausgeführt wird so schnell wie möglich 🚀.
