Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Writing formal specifications has always been the bottleneck in formal verification.
Today we're launching AutoProver, an agentic formal verification system that reads your code, generates specifications, and verifies them. 🧵
Some of the most interesting smart contract vulnerabilities emerge when individually reasonable behaviors interact in unexpected ways.
That’s what we found during our audit of @AftermathFi Perpetuals, an on-chain perpetual-futures exchange on Sui.
We identified a critical
TradFi is moving onchain, and security is becoming more important than ever for the entire ecosystem.
We're looking forward to conversations about how we build more secure onchain systems, where formal verification fits, and what the next generation of financial infrastructure
Seems like crypto is going mainstream, I'm checking it in Barcelona this week.
Come find me at @EBlockchainCon to talk about AI security, formal verification, and more.
What do you get from Certora AutoFuzzer?
AutoFuzzer generates and executes Foundry tests for Solidity contracts. Like the other tools in AutoProver, it produces a report after every run, showing the properties extracted from your code and the tests generated to check them.
Love seeing @safe take such a proactive approach to security.
Continuous audits, formal verification, and an open bug bounty to keep testing the system.
Proud to keep working with a team that takes security this seriously 🫡
Over $1.4T+ has moved through Safe Smart accounts.
From day one, we’ve built Safe in public and worked to make it one of the most thoroughly audited and formally verified smart contract systems onchain.
Most recently, @Certora and @NethermindSec re-audited Safe v1.3.0 and four
