La Fondation Ethereum et Verity vérifient formellement EIP-8282, faisant apparaître des divergences pour les chercheurs
La vérification formelle de l'EIP-8282 met en évidence le rôle croissant des contrôles rigoureux dans l'affinement du code de base d'Ethereum et la résolution des divergences. La Fondation Ethereum et Verity ont officiellement vérifié l'EIP-8282, faisant apparaître des divergences pour les chercheurs, apparues en premier sur Crypto Briefing.
Lire la suite











