Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
Proud to have contributed to Audit Engine. Congrats to the Sherlock team on the launch!
Today, we are proud to introduce Sherlock Audit Engine. Audit Engine brings the strongest available AI security approaches into one coordinated review. We’ve spent months building it in private…
We’ve just finalized our audit of Royco Day, the next evolution of @roycoprotocol. Our review focused on the complex interplay between tranche accounting, delayed settlement, oracle updates, and @Balancer liquidity. The audit highlighted an important challenge in DeFi…
Proud to have worked with @AftermathFi on the security assessment of Perpetuals V2. More secure protocols on @SuiNetwork 🔐
.@certora has completed its security assessment of our Perpetuals V2 contracts. This is the second independent audit of the protocol, conducted by a completely separate firm from @osec_io. Full…
We've formally verified @aave's Stable Vaults, the smart contract vaults that power stablecoin yield in the Aave App and are now available for any business to build on. Stable Vaults convert variable onchain lending rates into a stable rate that businesses can offer their…
