Cryptographic proof that a state transition is correct without re executing it, used in zk rollups and validium systems to ensure safety with minimal on chain work.