Ethereum Foundation anuncia resolução de todos os problemas com contratos do sistema Pectra após auditoria de segurança

Organização sem fins lucrativos que apoia o desenvolvimento da blockchain Ethereum, Ethereum Foundation anunciou os resultados de uma auditoria de segurança externa conduzida nos Contratos do Sistema Pectra. A revisão identificou questões importantes, todas as quais foram abordadas.

Os Contratos do Sistema Pectra incluem várias Propostas de Melhoria Ethereum (EIPs), a saber, EIP-2935, EIP-7002 e EIP-7251. O objetivo principal das revisões era avaliar os contratos quanto a potenciais riscos de segurança e garantir que sua lógica implementasse com precisão a funcionalidade descrita nas respectivas especificações EIP.

Um processo de auditoria multifásico foi empregado, com cada revisão subsequente se baseando nas descobertas das anteriores. Isso incluiu auditorias da Blackthorn, Dedaub e Sigma Prime, cobrindo EIPs 2935, 7002 e 7251, bem como a auditoria PlainShift. Após cada rodada de auditorias, melhorias no código foram feitas antes de avançar para a próxima fase.

Além disso, a empresa de capital de risco a16z conduziu uma verificação formal usando Halmos, uma ferramenta para verificar formalmente a correção da funcionalidade do contrato. Esse processo se concentrou em confirmar que o bytecode estava alinhado com as especificações do contrato, em vez de avaliar a segurança das especificações em si. Essa abordagem permite que os auditores e a comunidade revisem as especificações do contrato sem se preocupar com os detalhes de nível inferior da implementação do bytecode.

Pectra entra no ar no Holesky, lançamento da rede de testes Sepolia previsto para 5 de março

Pectra, uma próxima atualização para a rede Ethereum, é uma combinação de dois componentes: “Prague”, que aborda atualizações no lado do cliente de execução, e “Electra”, que foca em melhorias no lado do cliente da camada de consenso. Esta atualização segue a atualização Dencun do ano anterior.

A Petra atualização introduz várias mudanças que visam melhorar a escalabilidade, segurança e usabilidade do Ethereum. Isso inclui melhorias como melhorar a experiência do usuário em carteiras de criptomoedas e abstração de contas (EIP-7702), aumentar o limite máximo de stake do validador de 32 para 2,048 ETH (EIP-7251) e dobrar a contagem máxima de blobs para melhorar a escalabilidade do rollup (EIP-7691).

A atualização foi ativada na rede de teste Holesky no início desta semana. No entanto, uma vulnerabilidade da camada de execução (EL) causou divisões de cadeia, levando a uma situação em que apenas uma minoria de cadeias era válida, o que reduziu a saúde geral da rede. próxima fase para Pectra é sua ativação na rede de testes Sepolia, prevista para 5 de março. 

Se ambas as redes de teste forem bem-sucedidas, a equipe Ethereum prosseguirá com a seleção de uma data de ativação da mainnet, prevista para abril.