KI-Agenten optimieren Ethereum-Sicherheit bei Better.codes

3 Min Read Tags:

  • Die Ethereum Foundation hat den better.codes-Wettbewerb ins Leben gerufen, um die kryptographische Sicherheit von SNARK-Systemen zu verbessern, die in zk-Rollups und postquantitativer Infrastruktur verwendet werden.
  • AI-Agenten treten an, um die mathematische Sicherheit einer kryptographischen Aufgabe zu beweisen und streben an, die bewiesene Sicherheitsgrenze auf 128 Bits zu erhöhen.
  • Die Initiative fördert Zusammenarbeit und Innovation, indem Teilnehmer ihre eigenen AI-Modelle verwenden können, wobei verifizierte Ergebnisse öffentlich geteilt werden.
  • Dieser Wettbewerb ist Teil von Ethereums umfassenderen Bemühungen um Fortschritte in der postquantitativen Kryptographie.

Einführung

Die Ethereum Foundation hat einen faszinierenden neuen Wettbewerb mit dem Namen better.codes vorgestellt, der darauf abzielt, die kryptographische Robustheit der Ethereum-Infrastruktur zu stärken. In diesem ehrgeizigen Projekt treten AI-Agenten an, um die mathematisch bewiesene Sicherheit einer spezifischen kryptographischen Aufgabe, bekannt als koalaIRS12, zu verbessern. Diese Initiative strebt danach, die Grenzen des Sicherheitsnachweises auf bis zu 128 Bits zu erweitern, um SNARK-Systeme zu stärken, die für Technologien wie zk-Rollups und postquantitative Lösungen entscheidend sind.

Das Wesen von better.codes

Die zentrale Herausforderung dieses Wettbewerbs entspringt der Forschung, die als Proximity Prize bekannt ist und mit Reed-Solomon-Codes in Verbindung steht. Durch die vollständige Formalisierung in Lean—einem Beweisassistenten—legt der Wettbewerb einen öffentlichen Benchmark für die Teilnehmer fest. Das Hauptziel für diese AI-Agenten ist einfach: die Korrektheitsgrenzen dieser kryptographischen Aufgabe zu erweitern und damit ihre Zuverlässigkeit zu erhöhen.

Mechanik und Teilnahme

Teilnehmer sind eingeladen, ihre eigenen AI-Modelle zusammen mit verschiedenen Management-Tools, die für Agentensysteme relevant sind, in einem gemeinsamen Rahmen anzuwenden. Jede Einreichung wird durch das Kernsystem von Lean verifiziert, bevor akzeptierte Ergebnisse in ein öffentliches Repository aufgenommen werden. Diese Einrichtung fördert Transparenz und kollektiven Fortschritt, indem anderen Teilnehmern ermöglicht wird, neue Entdeckungen zu nutzen und gleichzeitig zuvor erfolglose Ansätze zu vermeiden.

Ein kollaborativer Ansatz

Im Gegensatz zu traditionellen Forschungsteams in geschlossenen Umgebungen nutzt better.codes parallele Beiträge von zahlreichen unabhängigen AI-Agenten auf einem einzigen geprüften Benchmark. Teilnehmer können sich über GitHub authentifizieren, bestehende Repositories klonen und individuelle Beweise vorschlagen—alles unter der Gewährleistung einer anerkannten Veröffentlichung bei Annahme.

Entwicklung der Post-Quantum-Kryptographie

Dieses Unterfangen ist Teil von Ethereums breiterem Engagement für den Fortschritt in der postquantitativen Kryptographie. Nach acht Jahren Forschung, die darauf hindeuten, dass traditionelle Hash-Funktionen die Effizienzniveaus neuerer Konstruktionen innerhalb von SNARK-Systemen erreichen können, entschied sich Ethereum gegen die Verwendung des spezialisierten Hashs von Poseidon zugunsten der Algorithmen SHA und BLAKE.
Insgesamt fördert dieser Wettbewerb nicht nur die rasche Entwicklung, sondern unterstreicht auch Ethereums anhaltende Weiterentwicklung hin zu sichereren Blockchain-Lösungen, die für die Quantenlandschaft von morgen geeignet sind—was spannende Möglichkeiten für die Zukunft eröffnet!

Anthropic modelliert drei US-Wirtschaftsszenarien bis 2030

Anthropic veröffentlichte ein Modell, das für die US-Wirtschaft bis 2030 je nach KI-Szenario stärkeres BIP-Wachstum, aber im Extremfall historisch hohe Arbeitslosigkeit und sinkende Einkommen wissensbasierter Beschäftigter prognostiziert.

6 Min Read
Robinhood-Chef sagt, Unternehmen können Tokenisierung ihrer Aktien nicht kontrollieren

Robinhood-CEO Vlad Tenev verteidigte im September 2026 Stock Tokens gegen Kritik von AMC-CEO Adam Aron, der die Einstellung AMC-gekoppelter Token und mögliche rechtliche sowie regulatorische Schritte forderte.

4 Min Read
Deutschland wird 2027 Steuervorschriften für Kryptowerte ändern, berichten Medien

Die Bundesregierung hat einen Gesetzentwurf vorbereitet, nach dem Gewinne aus ab 2027 erworbenen erfassten Krypto-Assets unabhängig von der Haltedauer steuerpflichtig würden.

4 Min Read
Vitalik Buterin: Rekursive STARKs könnten Ethereum-Transaktionskosten postquantenresistent und privat senken

Vitalik Buterin erläuterte am 9. September EIP-8288, einen Vorschlag zur Offchain-Aggregation von STARK-Proofs und Signaturen auf Mempool-Ebene, der laut ihm Kosten ohne EVM-Änderungen senken könnte.

6 Min Read
Bybit startet KI-Assistenten für Handel und Kontoverwaltung

Bybit hat mit Bybit AI einen Sprachassistenten in seiner App gestartet, der berechtigten Nutzern nach Aktivierung über ein separates KI-Unterkonto Handels-, Kontoverwaltungs- und Kundensupportaufgaben per natürlicher Sprache ermöglicht.

3 Min Read