Blog
∴ | Ethereum Protocol Security
The Ethereum Foundation engaged QED to build specialized security agents for the Ethereum protocol.
A $47.43M Loophole in THORChain
QED identified two critical vulnerabilities in THORChain that put $47.3M in pooled assets at risk.
∴ | Commonware
A joint look at how QED helps Commonware fix subtle vulnerabilities before it reaches production.
Hijacking dYdX v4 oracle feeds
A string-comparison bug in dYdX v4 could let an attacker rewire perp oracles and steal against $1.2M of open interest.
Two bugs in Jolt
QED found a soundness bug and a completeness bug in a16z's zkVM, Jolt.
Tachyon: Saving $600M from a time-warp attack
A six-year-old CometBFT time-warp bug left 40+ chains exposed to consensus failure and put more than $600M in assets at risk.