Ethereum Virtual Machine is the execution environment where Ethereum transactions are executed. Zero-knowledge virtual machines could revolutionize the portability of smart contracts by removing the last barrier to the mass adoption of cryptocurrencies. Very few projects have come close to the level of security and decentralization of the Ethereum network. However, the inherent overhead of maintaining these two critical functions has left Ethereum saddled with low bandwidth and prohibitive co...