EasyCrypt/easycrypt

Here's a brief summary and analysis of the EasyCrypt project: EasyCrypt is an open-source project that enables computer-aided cryptographic proofs for blockchai