ZippelVM

ZippelVM 提供对以太坊的实时证明，最终目标是以低成本、快速的方式验证世界软件。