Certora's banner
Certora's profile picture

Certora

@Certora • 12,003 subscribers

Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.

Videos

LIVE
1.2k

Anya Rossi

sweetdream.ai

SweetDream.aiSponsored•Livecam
Streaming Now

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

HD live stream
Exclusive private shows
1.2k viewers online

Free preview available • Premium content

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. 🧵
0:27
Certora's profile picture

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. 🧵

Certora

37,648 views • 10 days ago

No more content to load