Três repositórios EVMBench há duas semanas. Agora 15, executados em ordem, não escolhidos à mão. O EVMBench mede a recuperação. Não mede as taxas de falsos positivos. Recuperação sem precisão é uma demonstração, não uma ferramenta. 𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗲𝘀𝘁𝗮 𝗳𝗼𝗿𝗺𝗮𝗱𝗼 𝗽𝗮𝗿𝗮 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗮𝗿 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗮𝗿 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻. Resultados completos em todos os 40 repositórios em andamento.

AuditAgent agora suporta Solana. Deteção de vulnerabilidades aumentada por IA treinada com base em descobertas reais de auditoria. Agora em Solidity, Cairo e @Solana. Elevando a linha de base de segurança cedo no desenvolvimento, antes do início da revisão manual.

O SP1 Hypercube assegura bilhões em TVL. A correção das suas restrições RISC-V não deve depender apenas de testes. Em parceria com @SuccinctLabs e apoiado por @ethereumfndn, @NethermindSec verificou formalmente todos os 62 opcodes principais em relação à especificação oficial RISC-V Sail em Lean. Métodos formais rigorosos, aplicados à infraestrutura zk de produção. Parabéns pelo mainnet