EthSystems completa la verificación formal del pool blindado e identifica 6 problemas
Según PANews, EthSystems, una organización dedicada a la privacidad en Ethereum, anunció el 27 de octubre que completó la verificación formal de su pool protegido, desde las especificaciones escritas hasta el bytecode que se ejecuta en la red de pruebas Sepolia. La verificación identificó 6 problemas, 3 de los cuales se encontraron en las propias herramientas de verificación. El equipo señaló que, entre las suposiciones restantes, figuran que las funciones hash sean resistentes a colisiones, que
ETH-1,26%
GateNews·10-27 12:12
