大多数区块链将交易视为离散操作。 我们将 async/await 引入了 Leo，使开发者能够将计算视为跨交易、区块和时间的流。 这将网络编程范式带入 ZK 开发。