AuditAgent now supports Solana. AI-augmented vulnerability detection trained on real audit findings. Now across Solidity, Cairo, and @Solana. Raising the security baseline early in development, before manual review begins.

SP1 Hypercube secures billions in TVL. The correctness of its RISC-V constraints shouldn't rest on testing alone. In partnership with @SuccinctLabs and supported  @ethereumfndn,  @NethermindSec formally verified all 62 core opcodes against the official RISC-V Sail specification in Lean. Hard formal methods, applied to production zk infrastructure. Congratulations on mainnet

Our Formal Verification team is beginning work on the @brevis_zk Pico RISC-V zkVM, building on our work on SP1 and OpenVM. We are grateful to the @EthereumFndn for supporting this effort.