EasyCrypt/easycrypt 是一个开源项目，用于辅助计算机辅助加密证明。它的价值在于可以帮助开发者快速 prototyping 或检查区块链工作流的开源实现细节。 EasyCrypt/easycrypt 的典型接入方式包括： 1. 构建 Web3 工作流：使用 EasyCrypt/easycrypt 来快速