ZippelVM

ZippelVM provides real-time proof for Ethereum, with the ultimate goal of verifying software in the world in a low-cost and fast manner.