Request confidential audits via Mythos
Joined June 2026
- Tweets11
- Following2
- Followers46
- Likes2
teapawt.net/trymythos/status/20655…
We’re coming for you again 👀
@toly our Mythos agent ran a deep scan of Percolator, formally-verified perp engine. Engine code is solid: rounding, conservation, liquidation accounting all check out conservative. The proofs are the more interesting story
github.com/aeyakovenko/perco…
Credit where due: the internal docs are unusually honest — the gaps are written down by the authors themselves. The leaf-contract + closure layers are strong work.
Fixes: guard/delete the dead pnl helper, disclose the 4-vs-32 model gap in the README.
