=né ; La Fondation dévoile le compilateur automatisé zkEVM pour renforcer la sécurité de la mise à l’échelle d’Ethereum
Summary:
=né ; Foundation a créé un compilateur de type 1 à connaissance nulle pour la machine virtuelle Ethereum (zkEVM) afin de résoudre les problèmes de sécurité identifiés dans des solutions de mise à l’échelle Ethereum similaires. Dans une interview, le PDG Misha Komarov a souligné que la technologie permet la compilation automatique de code de programmation de haut niveau dans les circuits zk-SNARKS. Cette méthode offre une compatibilité directe avec la machine virtuelle Ethereum pour les transactions et les contrats intelligents. L’approche de la Fondation automatise le compilateur zkEVM à partir de l’EVM d’Ethereum à l’aide de son compilateur de circuit vieux de deux ans. Cela garantit une meilleure sécurité, une mise en œuvre efficace et une adaptabilité aux mises à jour EVM. Le 12 décembre, la Fondation a partagé son prototype de référentiel de code et ses spécifications.
=né ; Foundation, une entreprise spécialisée dans la technologie zero-knowledge, a dévoilé un nouveau compilateur zero-knowledge de type 1 pour la machine virtuelle Ethereum (zkEVM). Ce développement vient en réponse aux défis de sécurité identifiés dans des solutions de mise à l’échelle Ethereum similaires basées sur des connaissances nulles. Dans une interview exclusive avec Cointelegraph, Misha Komarov, PDG et cofondateur de =nil ; Foundation, a souligné que cette technologie nouvellement développée met l’accent sur la sécurité et facilite la compilation automatique de codes de programmation de haut niveau dans des circuits zk-SNARKS (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge). Le zkEVM de l’organisation est destiné à se synchroniser avec evmone, un rendu C++ de l’environnement d’exécution racine d’Ethereum.
La caractéristique notable est que le codage de l’application est traité et regroupé dans des preuves qui sont présentées à Ethereum dans un format similaire à son EVM. Cette compatibilité garantit une sécurité renforcée et une exécution plus rigoureuse car il utilise un bytecode identique, éliminant ainsi le besoin de vérifications de code prolongées et coûteuses. De plus, cette méthode offre une compatibilité directe avec la machine virtuelle Ethereum pour les transactions et les contrats intelligents.
En 2023, plusieurs zkEVM de premier plan ont été lancés dans l’industrie. Ces protocoles de couche 2 visent à prendre en charge de gros volumes de transactions et à faciliter les opérations de contrats intelligents d’Ethereum. De grandes entreprises telles que Consensys, Polygon, StarkWare et Matter Labs ont mis au point des solutions de cumul ZK pour faciliter un débit élevé et des tarifs abordables pour les applications, les services et les utilisateurs de réseau décentralisés.
Komarov a expliqué que =né ; L’approche de Foundation s’articule autour d’un compilateur automatique, ce qui le distingue des autres zkEVM qui délimitent manuellement les circuits. Il a critiqué les stratégies existantes comme étant laborieuses, trop complexes et susceptibles d’erreurs humaines. Ce problème s’est manifesté lors de la découverte d’un bogue de solidité dans les circuits ZK utilisés dans le réseau principal zkSync Era de Matter Labs. ChainLight, une société de sécurité, a identifié le bug et a reçu une récompense de 50 000 $ US Coin (USDC) de la part de Matter Labs en septembre 2023. La faille aurait pu permettre à un attaquant de concocter des preuves pour des blocs mal exécutés qui auraient été acceptés par le vérificateur de contrats intelligents du réseau principal Ethereum.
Réfléchissant à la récente découverte, Komarov a révélé : « Vitalik Buterin a commencé à discuter des préoccupations concernant la sécurité des circuits, comme le risque d’un circuit cassé. » Il a poursuivi : « Après une enquête plus approfondie, il est devenu clair que ces circuits sont écrits manuellement. Les gens passent des années à les développer, mais essentiellement, ils reproduisent manuellement ce que fait l’EVM dans leurs représentations de circuits.
De l’avis de Komarov, cette approche manuelle complique les audits de code. Le bogue détecté dans zkSync sert d’exemple de telles erreurs potentielles. La solution conçue par =nil ; Foundation automatise le compilateur à partir de l’EVM d’Ethereum à l’aide de son compilateur de circuit vieux de deux ans. Komarov a maintenu que cette méthode garantit que « la sécurité du circuit correspond à celle de l’implémentation originale d’Ethereum ».
La solution développée est également destinée à être flexible pour les mises à jour EVM alignées sur les développements futurs d’Ethereum, fournissant un compilateur résilient pour le zkEVM qui, en raison de sa conception automatisée, ne nécessite pas d’investissements importants en temps et en ressources pour les mises à niveau. Par conséquent, il permet au zkEVM d’adopter les dernières propositions d’amélioration d’Ethereum au fur et à mesure de leur mise en œuvre. La fondation a partagé son prototype de référentiel de code et ses spécifications le 12 décembre.
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.