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

Replies Articles Media

Pinned
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. 🧵
00:00
Certora
@Certora
44s
Custody, compliance, and security are among the most important considerations for institutions bringing capital onchain. Thanks to @crecimientoar for having us at Latam Digital Assets Conference!
Crecimiento 🌞
@crecimientoar
3h
CUSTODY, COMPLIANCE & SECURITY — LATAM DIGITAL ASSETS CONF What it takes to hold digital assets at institutional scale. Leandro Pereira from @dfnsHQ, @sarinagowland from @FireblocksHQ and @fiorescan from @Certora covered it, with @brunotorossi from @opsek_io moderating.
Certora
@Certora
6h
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 👇
00:00
Certora
@Certora
Aug 20
We spec'd the @aave v4 Hub by hand. Then we let AutoProver try. See how far AutoProver got 👇
AutoProver vs. a Human-Written Aave v4 Specification
From certora.com
Certora
@Certora
Aug 18
Proud to have contributed to Audit Engine. Congrats to the Sherlock team on the launch!
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
00:00