Die letzten anderthalb Monate haben große Fortschritte bei der Ethereum -Forschung erzielt, und wir freuen uns, dass sich das Protokoll immer näher an den Punkt bewegt, an dem es für die Mainstream -Akzeptanz bereit ist. Fortschritte bei Konsensalgorithmen, Datenschutz, Null -Wissensnachweise und formale Überprüfung erfolgen mit zunehmender Geschwindigkeit, und unsere Forschungs- und Entwicklungsteams wachsen erheblich.
Es wurde eine große Menge an Fortschritten auf Casper gemacht. Sie finden einige mittlere Beiträge, die den Algorithmus hier beschreiben:
Und ein paar Blog -Beiträge von Yoichi beweisen formell Korrektheit:
Und auf “Vlad Casper”:
Und es ist nicht nur Theorie:
Weitere Fortschritte bei Casper und Sharding werden weiterhin veröffentlicht, sobald es sich so weit stabilisiert, dass es sinnvoll ist, die laufenden Arbeiten in einem Dokument zu schreiben. Die Details auf hoher Ebene stehen nun kurz vor dem Abschluss, aktuelle Diskussionen haben mehr mit den feineren Details des Designs des Casper-Vertrags zu tun.
Und einige andere Blog -Beiträge von Vlad:
Einige Fehler wurden im ENS -Code entdeckt, was zu einer Verzögerung des Starts führte. Ein Sicherheitsaudit wurde in Auftrag gegeben, und das Audit ist jetzt abgeschlossen und bringt uns einen Schritt näher am letzten Starttag:
Aktualisierungen zu formellen Beweisen:
Metropolis Fortschritte und die Kernentwicklungsteams machen weiterhin Fortschritte bei der vollständigen Einigung auf die Spezifikation. Tests für einige der EIPs sind bereits verfügbar, und weitere Tests werden kontinuierlich geschrieben.
