We secure critical software with formal verification
Joined July 2026
- Tweets28
- Following8
- Followers99
- Likes6
Verity retweeted
The experts say that what we say is true. Limit prices hold, orders don’t overfill.
Formally verified by @Veritylab.
We formally verified that @CoWSwap's settle() computes every successful trade at or above the user's signed limit price, without overfilling the order.
veritylabs.dev/research/cow-…
Verity retweeted
@Veritylab completed an unbounded formal verification of Royco Day's accounting.
Junior absorbs losses first, and Verity checked every possible case to confirm it.
Read the full verification below 👇
We've formally verified @roycoprotocol day accounting recovery guarantee
veritylabs.dev/research/royc…
Verity retweeted
Balancer V3 has fifteen audit reports and they're the least interesting thing about how it's secured.
Verity retweeted
Aragon OSx’s execute() authorization logic has been formally verified by @Veritylab, proving 16 properties with a transparent methodology and public proofs.
Review the findings. ↓
Verity retweeted
Our formal audit of @unlink_xyz is out
Always a pleasure to collab with my friend @phklive and his cracked team
We've formally verified @unlink_xyz
This engagement uncovered 11 scored findings and 4 core guarantees verified.
veritylabs.dev/our-work/form…
Verity retweeted
Really enjoyed working together to find the right invariants and formalize them with explicit assumptions.
Excited to see where Verity takes this.
We've formally verified @unlink_xyz
This engagement uncovered 11 scored findings and 4 core guarantees verified.
veritylabs.dev/our-work/form…
