done

scroll-tech · Oct 31, 2024 · 950006c · 950006c
1 parent 81bd6fc
commit 950006c
Show file tree

Hide file tree

Showing 3 changed files with 38 additions and 35 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/integration/src/verifier.rs b/integration/src/verifier.rs
@@ -1,6 +1,5 @@
 use halo2_proofs::{halo2curves::bn256::Bn256, poly::kzg::commitment::ParamsKZG};
 use prover::{common::Verifier, config, consts, io::force_to_read, CompressionCircuit};
-use snark_verifier_sdk::verify_evm_calldata;
 use std::{collections::BTreeMap, env};
 
 type SnarkVerifier<'a> = Verifier<'a, CompressionCircuit>;
@@ -57,6 +56,9 @@ impl EVMVerifier {
     }
 
     pub fn verify_evm_proof(&self, call_data: Vec<u8>) -> bool {
-        verify_evm_calldata(self.0.clone(), call_data)
+        //let res = crate::evm::deploy_and_call(self.0.clone(), call_data);
+        let res = prover::deploy_and_call(self.0.clone(), call_data);
+        log::debug!("verify_evm_proof result {:?}", res);
+        res.is_ok()
     }
 }
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -1,2 +1,2 @@
 [toolchain]
-channel = "nightly-2024-07-07"
+channel = "nightly-2024-01-25"