Fix some compilation errors

Author: yczhangsjtu

src/e2e/mod.rs

@@ -1,6 +1,9 @@
 use crate::basefold_verifier::basefold::BasefoldCommitment;
-use crate::tower_verifier::binding::IOPProverMessageVec;
-use crate::zkvm_verifier::binding::{TowerProofInput, ZKVMChipProofInput, ZKVMProofInput, E, F};
+use crate::tower_verifier::binding::{IOPProverMessage, IOPProverMessageVec};
+use crate::zkvm_verifier::binding::{
+    GKRProofInput, LayerProofInput, SumcheckLayerProofInput, TowerProofInput, ZKVMChipProofInput,
+    ZKVMProofInput, E, F,
+};
 
 use crate::basefold_verifier::query_phase::QueryPhaseVerifierInput;
 use crate::zkvm_verifier::verifier::{verify_gkr_circuit, verify_zkvm_proof};
@@ -40,10 +43,7 @@ use std::fs::File;
 type SC = BabyBearPoseidon2Config;
 type EF = <SC as StarkGenericConfig>::Challenge;
 
-use ceno_zkvm::{
-    scheme::{verifier::ZKVMVerifier, ZKVMProof},
-    structs::{ComposedConstrainSystem, ZKVMVerifyingKey},
-};
+use ceno_zkvm::{scheme::verifier::ZKVMVerifier, structs::ComposedConstrainSystem};
 
 pub fn parse_zkvm_proof_import(
     zkvm_proof: ZKVMProof<BabyBearExt4, Basefold<BabyBearExt4, BasefoldRSParams>>,

src/zkvm_verifier/binding.rs

@@ -376,7 +376,7 @@ pub struct SumcheckLayerProofInput {
 }
 #[derive(DslVariable, Clone)]
 pub struct SumcheckLayerProofVariable<C: Config> {
-    pub proof: Array<C, IOPProverMessageVariable<C>>,
+    pub proof: IOPProverMessageVecVariable<C>,
     pub evals: Array<C, Ext<C::F, C::EF>>,
     pub evals_len_div_3: Var<C::N>,
 }
@@ -385,7 +385,7 @@ impl Hintable<InnerConfig> for SumcheckLayerProofInput {
     type HintVariable = SumcheckLayerProofVariable<InnerConfig>;
 
     fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable {
-        let proof = Vec::<IOPProverMessage>::read(builder);
+        let proof = IOPProverMessageVec::read(builder);
         let evals = Vec::<E>::read(builder);
         let evals_len_div_3 = usize::read(builder);