ZippelVM

ZippelVM 提供以太坊的即時證明，最終目標是以低成本、快速的方式驗證世界軟體。