**简短介绍** leanEthereum/leanVM 是一个简化的零知识证明虚拟机（zkVM）用于 Ethereum。它提供了一个开放的实现细节，使开发者能够快速 prototyping 或检查区块链工作流。 **价值** leanEthereum/leanVM 的主要价值在于它帮助开发者: * 构建 Web3 工