Entreprise de mise à l'échelle Ethereum = nulle ; Foundation présente zkEVM axé sur la sécurité

Entreprise technologique sans connaissance = néant ; Foundation a développé un nouveau compilateur de machine virtuelle Ethereum sans connaissance de type 1 (zkEVM) pour répondre aux problèmes de sécurité identifiés dans des solutions de mise à l'échelle Ethereum similaires alimentées par ZK.

S'adressant exclusivement à Cointelegraph, = nul ; Le PDG et co-fondateur de la Fondation, Misha Komarov, affirme que la technologie donne la priorité à la sécurité et permet de compiler automatiquement du code de programmation de haut niveau dans des circuits d'argument de connaissance succinct non interactif à connaissance nulle (zk-SNARKS).

Le zkEVM de la société est conçu pour être compatible avec evmone, qui est une version C++ de l'environnement d'exécution de base d'Ethereum.

L'essentiel à retenir est que le code des applications est traité et regroupé sous forme de preuves soumises à Ethereum dans le même format que son EVM.

En relation : Ethereum L2 Starknet vise à décentraliser les composants essentiels de son réseau de mise à l'échelle

La compatibilité est censée garantir une meilleure sécurité et une mise en œuvre plus rapide, étant donné que le bytecode est le même et élimine le besoin d'audits de code longs et coûteux. L'approche fournit également des transactions et des contrats intelligents directement compatibles avec la machine virtuelle Ethereum.

Plusieurs zkEVM de haut niveau sont arrivés sur le marché en 2023. Ces protocoles de couche 2 visent à aider Ethereum à traiter des charges de transactions importantes et des fonctions de contrats intelligents. Cointelegraph en a longuement parlé, avec des sociétés comme Consensys, Polygon, StarkWare et Matter Labs qui ont lancé des solutions ZK-rollup pour fournir des capacités à haut débit et à faible coût aux applications, services et utilisateurs de réseau décentralisés.

En relation : Matter Labs recule alors que zkSync lance un portail d'écosystème géré par DappRadar

Comme l'explique Komarov, = nul ; La solution de Foundation repose sur un compilateur automatisé contrastant avec la conception d'autres zkEVM, qui définissent manuellement les circuits. Il décrit les approches existantes comme étant « chronophages » et « trop complexes », ce qui présente également le risque d'introduire des erreurs humaines.

Ces préoccupations étaient évidentes lors de la découverte d'un bug de solidité dans les circuits ZK utilisés dans le réseau principal zkSync Era de Matter Labs.

La société de sécurité ChainLight a reçu une récompense de 50 000 USD Coin (USDC) de la part de la société pour avoir identifié la vulnérabilité en septembre 2023.

En relation : Co-fondateur de Polygon : un pari de 1 milliard de dollars sur les rollups ZK porte ses fruits

Le bug aurait permis à un attaquant de produire des preuves pour des blocs exécutés de manière invalide, ce que le vérificateur de contrat intelligent sur le réseau principal d'Ethereum aurait accepté. Matter Labs a déployé un correctif et a accordé à ChainLight une prime de bug, la première réclamée pour un bug du circuit ZK à l'ère zkSync.

"Vitalik Buterin a commencé à parler de problèmes de sécurité, comme si un circuit était cassé", explique Komarov.

« Nous avons commencé à creuser la question. Le problème est devenu évident : ces circuits sont écrits manuellement.

Les gens ont passé des années à le construire, mais il recrée fondamentalement la même logique que celle d'EVM, manuellement dans la représentation du circuit.

Komarov ajoute que cette méthode rend l'audit du code extrêmement difficile. Le bogue zkSync est un exemple du potentiel d'erreur impliqué dans les circuits définis manuellement.

=Nul ; L'approche de la Fondation consiste à automatiser le compilateur de l'EVM d'Ethereum à l'aide de son compilateur de circuits développé au cours des deux dernières années.

«C'est aussi proche que possible pour que le circuit ait la même sécurité que l'implémentation originale d'Ethereum. Si cela est rompu, alors le circuit est rompu.

La solution est également conçue pour s'adapter aux changements EVM à mesure que la feuille de route d'Ethereum se poursuit, fournissant un compilateur zkEVM « évolutif » qui ne nécessite pas de ressources ni de temps importants pour la mise à niveau, compte tenu de sa conception automatisée. Cela permet au zkEVM d'intégrer les dernières propositions d'amélioration d'Ethereum dès leur entrée en vigueur.

La fondation a publié son référentiel de codes prototypes et ses spécifications le 12 décembre.

Magazine : Voici comment les ZK-rollups d'Ethereum peuvent devenir interopérables