AlexZoid FV (@alexzoid) / X

AlexZoid FV

369 posts

AlexZoid FV

@alexzoid

#1🏆 all-time certora.com/leaderboard Track Record github.com/alexzoid-eth DM for Top-Notch @Certora Formal Verification (EVM/Stellar/Solana).

Joined June 2023

Pinned
AlexZoid FV
@alexzoid
Jan 21
Just kicked off my curated list of premium resources for Formal Verification with @Certora Prover (EVM, Stellar, Solana). Hand-picked, always updated, all in one spot. Bookmark this treasure, anon!
GitHub - alexzoid-eth/fv-resources: A curated list of resources for formal verification with...
From github.com
AlexZoid FV
@alexzoid
Jul 22
Thanks for the opportunity! As always, a real pleasure working with @cyfrin
Dacian
@DevDacian
Jul 21
Shout out @0xStalin @AliX__40 @BengalCatBalu @alexzoid AMAZING work on vault aggregator audit with formal verification finding: * 1 Critical * 5 High * 7 Med * 16 Low * 29 Info, 5 Gas A difficult audit but @cyfrin auditors pushed hard to provide great findings 🚀
AlexZoid FV
@alexzoid
Jul 21
For years @Certora team worked hard to bring formal verification to the masses. Thanks to their community contests I joined the field 3 years ago. Couldn’t believe they later opensourced the prover. And now - AutoProver! It gives DeFi devs an easy entry into FV! Congrats! 🚀
Mooly Sagiv
@SagivMooly
Jul 20
Article
Why AutoProver, Why Now
Last week we launched AutoProver, an agentic formal verification system that removes one of the biggest barriers to adopting formal verification. For decades writing specifications has been the reason...
AlexZoid FV
@alexzoid
Jul 15
The formal verification part using @Certora Prover - that was me. Great team to work with! Specs and reports → github.com/tenor-labs/ten…
Tenor
@TenorFinance
Jul 15
We’re building Tenor with a strong commitment to security. That means a codebase built on @Morpho Midnight 🕛, 5 independent audits by leading firms, formal verification using the Certora prover, AI-assisted reviews, a bug bounty program, and ongoing monitoring using @blockaid_
AlexZoid FV
@alexzoid
Jul 9
Fable 5 rides on the Max sub until end of Sunday. Best Claude config to burn weekly limit in parallel: - Fable ultracode as orchestrator - Fable max as advisor - called at hard forks - Opus for subagents hard work - Sonnet for routine
ClaudeDevs
@ClaudeDevs
Jul 7
Replying to @ClaudeDevs
Claude Managed Agents supports both patterns with sub-agents. Escalate up to a Fable 5 advisor, or delegate down to Sonnet 5 workers. Each sub-agent keeps its own cache, so repeat calls don't pay in full for the same context twice. platform.claude.com/docs/en/manage…

New to X?