Certora : Partnerschaft sichert Korrektheit der Ethereum-autoprecompiles

Auf Einen Blick

• Certora erhält eine Forschungsförderung von der Ethereum Foundation.
• Die Förderung zielt darauf ab, die Korrektheit von Autopflichtvorlagen im Rahmen von zkEVM zu überprüfen.
• Zusammenarbeit mit Powdr Labs zur Entwicklung neuer Verifikationstechniken.

Wichtigkeit der Autopflichtvorlagen

Certora, eine Plattform für Sicherheit und Vertrauenswürdigkeit im Web3-Bereich, hat eine bedeutende Forschungsförderung von der Ethereum Foundation erhalten. Diese Finanzierung wird verwendet, um die Korrektheit von Autopflichtvorlagen zu verifizieren, die eine essenzielle Optimierung für ZK-Berechnungen darstellen. Autopflichtvorlagen, die von Powdr Labs entwickelt wurden, spielen eine zentrale Rolle im zkEVM-Initiative der Ethereum Foundation.

Technologische Grundlagen des zkEVM

Das zkEVM wird eine massive Skalierung für das Ethereum-Netzwerk ermöglichen, indem es das aktuelle Ausführungsmodell für Smart Contracts durch eine optimierte, ZK-fähige Variante ersetzt. Diese Umstellung ist entscheidend für den Erfolg des Projekts, da die Korrektheit des Ausführungsmodells des zkEVM von großer Bedeutung ist. Autopflichtvorlagen orientieren sich an automatisch abgeleiteten, niedrigstufigen ZK-Schaltkreisbestandteilen, die zur Leistungsoptimierung und zur Beschleunigung kryptografischer sowie arithmetischer Operationen im zkEVM verwendet werden.

Zusammenarbeit und offene Quellen

Durch diese Fördermittel geht Certora eine Partnerschaft mit Powdr Labs ein, um neue Techniken zur Verifizierung der Korrektheit dieser Optimierung zu entwickeln. „Die Autopflichtvorlagen machen die Ausführungsschicht des zkEVM praktikabel, was die Bedeutung der Überprüfung der Korrektheit der gesamten Werkzeugkette erhöht“, erklärte Seth Hallem, CEO von Certora. „Wir schätzen die Unterstützung der Ethereum Foundation für diese Arbeit, die mathematische Verifikation in die Grundlagen der ZK-Berechnung bringt.“

Die Ergebnisse dieser Initiative, einschließlich Spezifikationen, Beweise und Verifikationsframeworks, werden als Open Source zur Verfügung gestellt. Dies wird wiederverwendbare Infrastruktur für alle zkEVM-Implementierungen sowie für Forscher im Bereich ZK-Protokolle schaffen.

Schließlich äußerte Alexander Hicks, Forscher an der Ethereum Foundation, dass Autopflichtvorlagen entscheidend für die Leistung des zkEVM sind und dass durch die Automatisierung der Verifikation dieser Optimierungen eine weitgehende Reduzierung der Notwendigkeit für manuelle Prüfungen erreicht werden kann.

Über Certora, die Ethereum Foundation und Powdr Labs

Certora ist ein vertrauenswürdiger Sicherheits-Partner, der führenden Teams im Web3-Bereich zuverlässige Unterstützung bietet. Gegründet im Jahr 2018, hat das Unternehmen namhafte Protokolle wie Lido, Aave und Uniswap dabei geholfen, Milliardenwerte zu sichern.

Die Ethereum Foundation ist eine gemeinnützige Organisation, die sich der Unterstützung von Ethereum und verwandten Technologien widmet. Durch Förderungen und Forschungsinitiativen fördert die Foundation die Open-Source-Entwicklung dezentraler Infrastrukturen.

Powdr Labs hat sich auf Compiler-Technologien spezialisiert, die effiziente Zero-Knowledge-Beweise für fortgeschrittene Programme ermöglichen.

Fazit

Die Entwicklung von zkEVM und den damit verbundenen Autopflichtvorlagen, finanziert durch die Ethereum Foundation, hat das Potenzial, die Ethereum-Plattform erheblich effizienter zu gestalten. Die Fortschritte in der mathematischen Verifikation werden die Ziele und die Sicherheit des gesamten Ökosystems maßgeblich unterstützen.

Haftungsausschluss:
Dieser Artikel dient ausschließlich zu Informationszwecken und stellt keine Finanzberatung oder Anlageempfehlung dar. Die geäußerten Meinungen sind ausschließlich die des Autors und spiegeln nicht zwingend die Ansichten von News-Krypto.de wider. Investitionen in Kryptowährungen bergen erhebliche Risiken – bitte informieren Sie sich eigenständig und konsultieren Sie einen Fachberater, bevor Sie finanzielle Entscheidungen treffen. News-Krypto.de übernimmt keine Haftung für etwaige Verluste.