Log inSign up
Image
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
337
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
    18h
    We want to provide limited seats for security researchers who would like to try AutoProver and share their experience with us. AutoProver combines AI agents with formal methods to understand code, generate specifications, and help prove correctness. Inside AutoProver,
    Image
  • user avatar
    Certora
    @Certora
    20h
    We've formally verified @Morpho's Midnight, a new protocol for fixed-rate, fixed-term onchain credit. The engagement covered over 40 invariants and over 200 verification rules, validating the protocol's core correctness properties. Here are some details 🧵
    Image
  • user avatar
    Certora
    @Certora
    Aug 4
    Thanks to everyone who supported Certora in the Ethereum Security QF round by @Giveth! Together we raised $2,880 in donations plus 3.521 ETH from the matching pool to build RoundAbout, our open-source static analysis framework for Solidity based on abstract interpretation.
    user avatar
    Giveth
    @Giveth
    Jun 25
    One of the best parts of running an open funding round is being able to learn in the open. The @thedaofund Ethereum Security QF Round retrospective is now live!! Inside you'll find what worked, what didn't, and the improvements we're already thinking about for future rounds.
    Image
  • user avatar
    Certora
    @Certora
    Aug 3
    LLMs are optimistic. Formal verification is like a pedantic lawyer that prevents corner cases. That's exactly why they work so well together. Watch the full "Formal Verification in the AI Era" talk with @SagivMooly ⬇️
    Image
    00:00