A new Ethereum zero-knowledge proof compiler could address security concerns identified in different zkEVM solutions.