La Fondation Ethereum annonce la résolution de tous les problèmes liés aux contrats du système Pectra suite à un audit de sécurité

Organisation à but non lucratif soutenant le développement de la blockchain Ethereum, Fondation Ethereum a annoncé les résultats d'un audit de sécurité externe mené sur les contrats du système Pectra. L'examen a permis d'identifier des problèmes importants, qui ont tous été résolus.

Les contrats du système Pectra comprennent plusieurs propositions d'amélioration d'Ethereum (EIP), à savoir EIP-2935, EIP-7002 et EIP-7251. L'objectif principal des examens était d'évaluer les contrats pour détecter d'éventuels risques de sécurité et de s'assurer que leur logique implémente avec précision les fonctionnalités décrites dans les spécifications EIP respectives.

Un processus d'audit en plusieurs phases a été utilisé, chaque examen ultérieur s'appuyant sur les conclusions des précédents. Cela comprenait des audits de Blackthorn, Dedaub et Sigma Prime, couvrant les EIP 2935, 7002 et 7251, ainsi que l'audit PlainShift. Après chaque série d'audits, des améliorations du code ont été apportées avant de passer à la phase suivante.

De plus, la société de capital-risque a16z a procédé à une vérification formelle à l'aide d'Halmos, un outil permettant de vérifier formellement l'exactitude des fonctionnalités du contrat. Ce processus visait à confirmer que le bytecode était conforme aux spécifications du contrat, plutôt qu'à évaluer la sécurité des spécifications elles-mêmes. Cette approche permet aux auditeurs et à la communauté d'examiner les spécifications du contrat sans se soucier des détails de niveau inférieur de l'implémentation du bytecode.

Pectra est en ligne sur Holesky, le lancement du testnet Sepolia est prévu pour le 5 mars

Pectra, une mise à niveau à venir du réseau Ethereum, est une combinaison de deux composants : « Prague », qui traite des mises à jour côté client d'exécution, et « Electra », qui se concentre sur les améliorations côté client de la couche de consensus. Cette mise à niveau fait suite à la mise à niveau de Dencun de l'année précédente.

La Pectre La mise à niveau introduit divers changements visant à améliorer l'évolutivité, la sécurité et la convivialité d'Ethereum. Il s'agit notamment d'améliorations telles que l'amélioration de l'expérience utilisateur dans les portefeuilles de crypto-monnaie et l'abstraction des comptes (EIP-7702), l'augmentation de la limite de mise maximale du validateur de 32 à 2,048 7251 ETH (EIP-7691) et le doublement du nombre maximal de blobs pour améliorer l'évolutivité du cumul (EIP-XNUMX).

La mise à niveau a été activée sur le réseau de test Holesky plus tôt cette semaine. Cependant, une vulnérabilité de la couche d'exécution (EL) a provoqué des divisions de chaîne, conduisant à une situation où seule une minorité de chaînes étaient valides, ce qui a réduit la santé globale du réseau. prochaine phase pour Pectra c'est son activation sur le testnet Sepolia, attendue le 5 mars. 

Si les deux réseaux de test réussissent, l'équipe Ethereum procédera à la sélection d'une date d'activation du réseau principal, qui devrait avoir lieu en avril.