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

A nossa equipa de Verificação Formal está a começar a trabalhar no @brevis_zk Pico RISC-V zkVM, baseando-se no nosso trabalho no SP1 e no OpenVM. Estamos gratos ao @EthereumFndn por apoiar este esforço.