Mars Finance noticia que a EthSystems, instituição de tecnologia de privacidade para Ethereum, anunciou a conclusão da verificação formal de seu pool protegido (shielded pool), abrangendo desde a especificação escrita até o bytecode em execução na rede de teste Sepolia. A verificação utilizou diferentes ferramentas por camada: modelos, circuitos e hashes com Lean, contratos com Halmos e Kontrol, carteiras com Aeneas e Verus, e validadores e implantação por verificação por reconstrução byte a byte. Dupla despesa e conservação de valor foram verificadas pela máquina de teoremas Lean. Durante a verificação, foram identificados 6 problemas, dos quais 3 estavam relacionados às próprias ferramentas de validação. A equipe também listou as suposições ainda dependidas: colisão zero nos hashes, validadores rejeitando provas falsificadas e comportamento do contrato consistente com o modelo.
EthSystems conclui a verificação formal do Privacy Pool
MarsBitCompartilhar
Resumo
A EthSystems, uma empresa de tecnologia de privacidade do Ethereum, concluiu a verificação formal de sua pool de privacidade, abrangendo especificações até bytecode na testnet Sepolia. O processo utilizou múltiplas ferramentas em várias camadas: modelos, circuitos e hashes com Lean; contratos com Halmos e Kontrol; carteiras com Aeneas e Verus; e validadores por meio de verificações byte a byte. Máquinas de teoremas Lean verificaram duplicação de gastos e conservação de valor. Seis problemas foram encontrados, três nas ferramentas. As suposições restantes incluem resistência a colisões de hash e consistência do contrato com os modelos. O esforço está alinhado com os debates em andamento entre os modelos de segurança Proof of Work (PoW) e Proof of Stake (PoS).
Fonte:Mostrar original
Aviso legal: as informações nesta página podem ter sido obtidas de terceiros e não refletem necessariamente os pontos de vista ou opiniões da KuCoin. Este conteúdo é fornecido apenas para fins informativos gerais, sem qualquer representação ou garantia de qualquer tipo, nem deve ser interpretado como aconselhamento financeiro ou de investimento. A KuCoin não é responsável por quaisquer erros ou omissões, ou por quaisquer resultados do uso destas informações.
Os investimentos em ativos digitais podem ser arriscados. Avalie cuidadosamente os riscos de um produto e a sua tolerância ao risco com base nas suas próprias circunstâncias financeiras. Para mais informações, consulte nossos termos de uso e divulgação de risco.