easycrypt
EasyCrypt is a toolset designed for the analysis of relational properties of probabilistic computations containing adversarial code. Its primary application is in the creation and verification of game-based cryptographic proofs, providing a robust framework for ensuring the security and integrity of such systems.