Cryptographic Games

This file defines cryptographic games for security proofs.

structure CatCrypt.Crypto.Game : Type

A cryptographic game parameterized by a boolean (real vs ideal)

• run : Bool → Core.SPComp Bool