codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey