Compiler Testing — Part 2: Metamorphic Testing with Verified Identities

Hunting compiler miscompilations on smart-contract platforms with differential and metamorphic testing, using mutations proven equivalence-preserving in Lean4 — including real-world findings, some rewarded with bug bounties.