Nova série mensal! Uma análise aprofundada de um SEAL Framework a cada mês. Primeiro: Revisões de Segurança Externa 🔍 Ser rekt não é um rito de passagem – é uma escolha. (1/🧵)

Com a incorporação da Argot concluída e todos os projetos consolidados sob um único teto, voltamos a concentrar toda a nossa atenção no que fazemos de melhor: construir infraestrutura para aplicações Ethereum. Hoje estamos a partilhar uma atualização do roteiro de 2025 detalhando no que cada equipa está a trabalhar até ao final do ano.

Lançada atualização de Certora Prover v7.29.1! O Prover é uma ferramenta de código aberto para provar que os contratos inteligentes se comportam corretamente em todos os estados e entradas possíveis. Esta versão adiciona novos recursos para ajudá-lo a escrever especificações mais seguras, simplificar configurações e trabalhar com mais eficiência. Aqui está o que há de novo 👇🧵