SC: Ethereum - zk(E)VM Verification - ArkLib fork - View it on GitHub