Zkevm Specifications The project aims to define a validity snark proof for Ethereum transactions. The Written Specification We recommend the reader to start with Introduction < 56B2 div class="markdown-heading" dir="auto">Python Executable Specification