[ci skip] wip

src/execute.rs

@@ -4,7 +4,7 @@ use crate::pfsys::evm::aggregation::{
     gen_aggregation_evm_verifier, AggregationCircuit, PoseidonTranscript,
 };
 use crate::pfsys::evm::single::gen_evm_verifier;
-use crate::pfsys::evm::{evm_verify, DeploymentCode, EvmVerificationError};
+use crate::pfsys::evm::{evm_verify, DeploymentCode};
 use crate::pfsys::{create_keys, load_params, load_vk, Snark};
 use crate::pfsys::{
     create_proof_circuit, gen_srs, prepare_data, prepare_model_circuit_and_public_input,
@@ -23,7 +23,6 @@ use halo2_proofs::poly::VerificationStrategy;
 use halo2_proofs::transcript::{Blake2bRead, Blake2bWrite, Challenge255};
 use halo2_proofs::{dev::MockProver, poly::commitment::ParamsProver};
 use halo2curves::bn256::{Bn256, Fr, G1Affine};
-use halo2curves::group::ff::PrimeField;
 use log::{info, trace};
 use snark_verifier::loader::native::NativeLoader;
 use snark_verifier::system::halo2::transcript::evm::EvmTranscript;
@@ -34,11 +33,7 @@ use thiserror::Error;
 use std::fs::File;
 use std::io::Write;
 use std::process::Command;
-use ethers_solc::Solc;
-use ethers::contract::ContractFactory;
-use ethers::contract::abigen;
-use ethers::types::U256;
-use super::eth::{setup_eth_backend, verify_proof_via_solidity};
+use super::eth::verify_proof_via_solidity;
 
 /// A wrapper for tensor related errors.
 #[derive(Debug, Error)]