Log inSign up
Certora profile banner
user avatar

Certora

@Certora
Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
certora.com
Joined February 2019
338
Following
12K
Followers
RepliesArticlesMedia
  • Pinned
    user avatar
    Certora
    @Certora
    Jul 15
    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. 🧵
    Image
    00:00
  • user avatar
    Certora
    @Certora
    5h
    How does Certora AutoProver work? It reads your code and documentation, infers the intended behavior, generates formal properties, and verifies them. No prior formal verification experience required. Watch the demo 👇
    Image
    00:00
  • user avatar
    Certora
    @Certora
    Aug 18
    Proud to have contributed to Audit Engine. Congrats to the Sherlock team on the launch!
    user avatar
    SHERLOCK
    @sherlockdefi
    Aug 18
    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 and testing it against high-stakes code. A new era of AI-native security review
    Image
    00:00
  • user avatar
    Certora
    @Certora
    Aug 18
    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 security:
    Image