Anvil
Anchor → Pinocchio, with proof
Porting Anchor to a leaner runtime by hand is a correctness risk nobody wants. Anvil does the port, then proves it — both binaries run the same instructions in a real VM until every account matches byte for byte.
- 196 byte-equal differential tests, plus 181 cargo-build regression gates
- 14+ externally-authored programs cloned verbatim from public repos and verified byte-equal
- 30–48% compute-unit savings, measured side by side on a test validator
- klend (63 instructions) builds SBF-green — the first top Solana lending protocol fully compilable to Pinocchio
- Hackathon winner — Frontier × 100xDevs (7th place, $500 USDC)
