Optimizing for verification alters behavior and narrows visibility.

Optimizing for verification alters behavior and narrows visibility. – (WitnessLedger: Independent Verification Pattern)