EasyCrypt: PC を利用した暗号証明
EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. Table of Contents EasyCrypt: Computer-Aided Cryptographic Proofs Installation requirements Via OPAM Installing requirements using OPAM (POSIX systems) Installing requirements using OPAM (non-POSIX systems) Via NIX Configuring Why3 Note…