diff --git a/snark-verifier-sdk/src/evm_api.rs b/snark-verifier-sdk/src/evm_api.rs index f2f450ba..d62629c2 100644 --- a/snark-verifier-sdk/src/evm_api.rs +++ b/snark-verifier-sdk/src/evm_api.rs @@ -187,6 +187,10 @@ pub fn evm_verify(deployment_code: Vec, instances: Vec>, proof: Vec< pub fn verify_evm_proof(deployment_code: Vec, instances: Vec>, proof: Vec) -> bool { let calldata = encode_calldata(&instances, &proof); + verify_evm_calldata(deployment_code, calldata) +} + +pub fn verify_evm_calldata(deployment_code: Vec, calldata: Vec) -> bool { let mut evm = ExecutorBuilder::default().with_gas_limit(u64::MAX.into()).build(); let caller = Address::from_low_u64_be(0xfe);