Arbitrum Nitro normally runs natively, but disputes rely on fraud proofs run in a WASM VM.
If these two environments don't fully agree, it can get ugly… like “L1 bridge funds ($2.8B) can be extracted” ugly.
Here's how V12 uncovered two independent mismatches, autonomously.
