Forschung und Entwicklung

better.codes, eine offene Autoresearch-Challenge, die vom Team für Formale Verifikation der Ethereum Foundation in Zusammenarbeit mit Yukon und zkSecurity entwickelt wurde, ist jetzt live. better.codes nimmt ein in sich geschlossenes Problem aus der Proximity Prize-Forschung, das in Lean formalisiert wurde, und setzt dessen Soundness-Grenze auf eine öffentliche Rangliste, die jeder weiter nach oben treiben kann. Solver richten ihre eigenen KI-Agenten darauf aus, die maschinell geprüfte Soundness-Grenze von koalaIRS12 zu erhöhen, einem Reed-Solomon-Proximity-Problem, um moderne prägnante nicht-interaktive Beweissysteme (SNARKs) voranzubringen. Der Lean-Kernel prüft jede Einreichung, und jeder beförderte Beweis hebt die Grenze in Richtung des festen 128-Bit-Ziels an. Die neuen Lemmas, Beweistechniken und Unmöglichkeitsresultate jedes beförderten Beweises werden dann upstream integriert, um den Fortschritt für alle Solver und Agenten voranzutreiben.

Notizen des Protocol-Security-Teams der Ethereum Foundation über den Einsatz koordinierter KI-Agenten gegen echten Protokoll-Code, einschließlich der Art und Weise, wie wir die Arbeit organisieren, was einer genauen Prüfung standhält und was Client-Teams und Sicherheitsforscher daraus mitnehmen können. Dieser Beitrag steht für sich allein; spätere Beiträge werden tiefer auf einzelne Clients eingehen.

Ein halbregelmäßiges Treffen von Ethereum-Core-Entwicklern aus verschiedenen Client-Teams, oder Interop, fand kürzlich in Spitzbergen (Svalbard), Norwegen, statt. Während der einwöchigen Veranstaltung konzentrierten sich die Teams auf die Härtung und Vorbereitung für das nächste Upgrade, Glamsterdam. Aus dieser Woche gingen mehrere wichtige Meilensteine hervor, darunter: Untergrenze von 200M für das Gaslimit festgelegt: Glaubwürdiges Post-Glamsterdam-Ziel, abgeleitet aus der Konvergenz von ePBS, BAL-Optimierungen und der EIP-8037-Preisanpassung (Repricing) ePBS stabilisiert: Multi-Client-Glamsterdam-Devnet läuft mit einer Pipeline für externe Builder, die über fast alle Clients hinweg End-to-End getestet wurde EIP-8037 endgültig: Feste cost\per\state\_byte übernommen; vollständige Repricing-Zahlen wurden bis Freitag auf bal-devnet-6 geliefert Grundstein für Hegotá gelegt: FOCIL-Prototypen sind funktionsfähig; Anforderungen für native AA wurden definiert; das Multi-Client-Devnet ist der unmittelbar nächste Schritt Die Interop

Letzte Woche versammelten sich etwas mehr als 100 Ethereum-Kernmitwirkende nördlich des Polarkreises – in Longyearbyen, Spitzbergen – zur Soldøgn Interop: einer Woche intensiver Arbeit am Glamsterdam-Netzwerk-Upgrade. Soldøgn folgte auf die letztjährige Berlinterop, kehrte aber zu dem Format zurück, das bei Amphora 🏺, Edelweiss 🏔️ und Nyota ✨ verwendet wurde: eine einspurige Woche mit fokussiertem, Multi-Client-Fortschritt in Richtung eines spezifischen Upgrades – in diesem Fall der Härtung von Glamsterdam. Bis Freitag hatte die Gruppe ihre drei Hauptziele erreicht: Einigung auf eine Untergrenze für das Gaslimit nach Glamsterdam von 200M, stabile ePBS-Implementierungen, die mit externen Erstellern laufen, und die Festlegung der endgültigen EIP-8037-Repricing-Zahlen. Auch bei Hegotá-Funktionen wie FOCIL und nativer Kontoabstraktion sowie einer Reihe anderer Themen wurden bedeutende Fortschritte erzielt.

Mainnet-Blobs kommen .oO: Zwei Jahre nach seinen ETHDenver-Anfängen und Dutzenden von Testaufrufen und Devnets später geht Protodanksharding endlich im Mainnet live! Dencun wird im Ethereum-Mainnet zur Epoche 269568 aktiviert, die am 13. März 2024 um 13:55 Uhr UTC stattfindet. Knotenbetreiber und Staker müssen ihre Software auf die in dieser Ankündigung aufgeführten Versionen aktualisieren. Um E-Mail-Benachrichtigungen über zukünftige Netzwerk-Upgrades zu erhalten, schließen Sie hier ein Abonnement ab. Das Dencun Netzwerk-Upgrade wurde in allen Testnetzen erfolgreich aktiviert. Es ist nun für den Einsatz im Ethereum-Mainnet bereit und wird im Netzwerk zur Epoche 269568 aktiviert, die am 13. März 2024 um 13:55 Uhr UTC stattfindet. Das Upgrade folgt auf das Shapella-Upgrade vom vergangenen Jahr und umfasst mehrere Änderungen, insbesondere die Einführung von ephemeren Daten-Blobs mit EIP-4844, auch bekannt als

Goerli Blobs sind hier: Dencun ging am 17. Januar 2024 um 6:32 UTC auf Goerli online. Sie können dort jetzt Blobs verwenden! Sepolia und Holesky erhalten in den nächsten zwei Wochen ein Upgrade. Dencun wird auf Sepolia zur Epoche 132608 (30. Januar, 22:51 UTC) und auf Holesky zur Epoche 29696 (7. Februar, 11:35 UTC) aktiviert. Die Client-Versionen in dieser Ankündigung sind für beide Testnet-Upgrades geeignet. Wenn die Upgrades von Sepolia und Holesky gut verlaufen, wird Dencun als nächstes im Ethereum-Mainnet erscheinen. Wenn Sie eine E-Mail-Benachrichtigung erhalten möchten, wenn ein Netzwerk-Upgrade angekündigt wird, einschließlich des Dencun Mainnets, melden Sie sich hier an. Das Dencun Netzwerk-Upgrade wurde am 17. Januar 2024 erfolgreich im Goerli Testnetz aktiviert. Sie ist nun für die beiden verbleibenden Testnetze, Sepolia und Holesky, zu den folgenden