=null; Foundation stellt automatisierten zkEVM-Compiler vor, um die Sicherheit der Ethereum-Skalierung zu erhöhen
Summary:
=null; Die Foundation hat einen Typ-1-Zero-Knowledge-Compiler für die Ethereum Virtual Machine (zkEVM) entwickelt, um identifizierte Sicherheitsprobleme in ähnlichen Ethereum-Skalierungslösungen zu beheben. In einem Interview erläuterte CEO Misha Komarov, dass die Technologie eine automatische Kompilierung von High-Level-Programmiercode in die zk-SNARKS-Schaltung ermöglicht. Diese Methode bietet direkte Ethereum Virtual Machine-Kompatibilität für Transaktionen und Smart Contracts. Der Ansatz der Foundation automatisiert den zkEVM-Compiler von Ethereums EVM mit seinem zwei Jahre alten Schaltungs-Compiler. Dies gewährleistet eine bessere Sicherheit, eine effiziente Implementierung und die Anpassungsfähigkeit an EVM-Updates. Die Foundation hat am 12. Dezember ihr Prototyp-Code-Repository und ihre Spezifikationen veröffentlicht.
=null; Foundation, ein Unternehmen, das sich auf Zero-Knowledge-Technologie spezialisiert hat, hat einen neuartigen Typ-1-Zero-Knowledge-Compiler für die Ethereum Virtual Machine (zkEVM) vorgestellt. Diese Entwicklung ist eine Reaktion auf identifizierte Sicherheitsherausforderungen bei ähnlichen Zero-Knowledge-gesteuerten Ethereum-Skalierungslösungen. In einem exklusiven Interview mit Cointelegraph sprach Misha Komarov, CEO und Mitbegründer von =nil; Foundation, hob hervor, dass diese neu entwickelte Technologie die Sicherheit betont und die automatische Kompilierung von High-Level-Programmiercodes in Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS)-Schaltkreise erleichtert. Das zkEVM der Organisation soll mit evmone, einer C++-Version der Root-Ausführungsumgebung von Ethereum, synchronisiert werden.
Das bemerkenswerte Merkmal ist, dass die Codierung der Anwendung verarbeitet und in Beweisen gebündelt wird, die Ethereum in einem Format präsentiert werden, das seinem EVM ähnelt. Diese Kompatibilität garantiert eine erhöhte Sicherheit und eine zügigere Ausführung, da identischer Bytecode verwendet wird, wodurch langwierige und kostenintensive Code-Überprüfungen entfallen. Darüber hinaus bietet diese Methode direkte Ethereum Virtual Machine-Kompatibilität für Transaktionen und Smart Contracts.
Im Jahr 2023 wurden mehrere prominente zkEVMs in der Branche auf den Markt gebracht. Diese Layer-2-Protokolle zielen darauf ab, große Transaktionsvolumina zu bewältigen und die Smart-Contract-Operationen von Ethereum zu unterstützen. Große Unternehmen wie Consensys, Polygon, StarkWare und Matter Labs haben ZK-Rollup-Lösungen entwickelt, um dezentralen Anwendungen, Diensten und Netzwerkbenutzern einen hohen Durchsatz und erschwingliche Tarife zu ermöglichen.
Komarov erklärte, dass = Null; Der Ansatz der Foundation basiert auf einem automatischen Compiler und unterscheidet ihn von anderen zkEVMs, die Schaltkreise manuell abgrenzen. Er kritisierte bestehende Strategien als mühsam, übermäßig kompliziert und anfällig für menschliche Fehler. Dieses Problem manifestierte sich, als ein Soundness-Bug in den ZK-Schaltkreisen entdeckt wurde, die im zkSync Era-Mainnet von Matter Labs verwendet werden. ChainLight, eine Sicherheitsfirma, identifizierte den Fehler und erhielt im September 2023 eine Belohnung in Höhe von 50.000 US-Dollar von Matter Labs. Die Schwachstelle hätte es einem Angreifer ermöglichen können, Beweise für nicht ordnungsgemäß ausgeführte Blöcke zu erfinden, die vom Smart-Contract-Verifizierer des Ethereum-Mainnets akzeptiert worden wären.
Im Rückblick auf die jüngste Entdeckung verriet Komarow: "Vitalik Buterin fing an, Bedenken hinsichtlich der Sicherheit von Schaltkreisen zu diskutieren, wie z. B. die Möglichkeit eines Stromkreisbruchs." Er fuhr fort: "Bei weiteren Untersuchungen wurde klar, dass diese Schaltkreise manuell geschrieben werden. Die Leute verbringen Jahre damit, sie zu entwickeln, aber im Wesentlichen replizieren sie manuell, was EVM in ihren Schaltungsdarstellungen tut."
Nach Ansicht von Komarov erschwert dieser manuelle Ansatz Code-Audits. Der entdeckte Fehler in zkSync dient als Beispiel für solche potentiellen Fehler. Die Lösung von =nil; Foundation automatisiert den Compiler aus dem EVM von Ethereum mit seinem zwei Jahre alten Schaltungs-Compiler. Komarov behauptete, dass diese Methode sicherstellt, dass "die Sicherheit der Schaltung mit der der ursprünglichen Implementierung von Ethereum übereinstimmt".
Die entwickelte Lösung soll auch flexibel auf EVM-Updates reagieren, die auf die zukünftigen Entwicklungen von Ethereum abgestimmt sind, und einen robusten Compiler für das zkEVM bieten, der aufgrund seines automatisierten Designs keine umfangreichen Zeit- und Ressourceninvestitionen für Upgrades erfordert. Folglich ermöglicht es dem zkEVM, die neuesten Ethereum-Verbesserungsvorschläge zu übernehmen, sobald sie umgesetzt werden. Die Stiftung hat am 12. Dezember ihr Prototyp-Code-Repository und ihre Spezifikationen veröffentlicht.
Published At
12/12/2023 6:00:00 PM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.