build1 publisher
Trail of Bits' agent-built Lean model turned up a Falcon signature forgery in the Miden audit
Trail of Bits' agent-built Lean model of the Miden VM, backed by 95 machine-checked proofs, surfaced a way for a malicious prover to forge Falcon signatures. A dev.to account says the agents built tooling first, so that Miden's stack assembly could be reviewed at all.
Publishers:dev.to
Reality
- Evidence45
- Adoption
- Insufficient
- Hype gap+25
- Incentives55
- Confidence40