Feature/sumcheck

Cargo.toml

@@ -20,7 +20,6 @@ color-eyre = "=0.6.2"
 # tmp imports for espresso's sumcheck
 ark-serialize = "^0.4.0"
 espresso_subroutines = {git="https://github.com/EspressoSystems/hyperplonk", package="subroutines"}
-espresso_transcript = {git="https://github.com/EspressoSystems/hyperplonk", package="transcript"}
 
 [dev-dependencies]
 ark-pallas = {version="0.4.0", features=["r1cs"]}

src/utils/espresso/sum_check/mod.rs

@@ -84,7 +84,6 @@ pub trait SumCheckVerifier<C: CurveGroup> {
     type VPAuxInfo;
     type ProverMessage;
     type Challenge;
-    type Transcript;
     type SumCheckSubClaim;
 
     /// Initialize the verifier's state.

src/utils/espresso/sum_check/verifier.rs

@@ -19,7 +19,6 @@ use ark_ff::PrimeField;
 use ark_std::{end_timer, start_timer};
 
 use espresso_subroutines::poly_iop::prelude::PolyIOPErrors;
-use espresso_transcript::IOPTranscript;
 
 #[cfg(feature = "parallel")]
 use rayon::iter::{IndexedParallelIterator, IntoParallelIterator, ParallelIterator};
@@ -28,7 +27,6 @@ impl<C: CurveGroup> SumCheckVerifier<C> for IOPVerifierState<C> {
     type VPAuxInfo = VPAuxInfo<C::ScalarField>;
     type ProverMessage = IOPProverMessage<C::ScalarField>;
     type Challenge = C::ScalarField;
-    type Transcript = IOPTranscript<C::ScalarField>;
     type SumCheckSubClaim = SumCheckSubClaim<C::ScalarField>;
 
     /// Initialize the verifier's state.