codex-contracts-eth/verifier/networks/codex_devnet/proof_main.wasm