EthSystems conclui a verificação formal do pool protegido e identifica 6 problemas
Segundo a PANews, a EthSystems, organização de tecnologia de privacidade da Ethereum, anunciou, a 27 de outubro, que concluiu a verificação formal do seu pool protegido, abrangendo desde as especificações escritas até ao bytecode executado na testnet Sepolia. A verificação identificou 6 problemas, 3 dos quais foram encontrados nas próprias ferramentas de verificação. A equipa assinalou que os pressupostos ainda por validar incluem a resistência a colisões das funções de hash, a rejeição de prova
ETH-1,26%
GateNews·10-27 12:12
