Stark: make transcript compatible with Stone Prover (lambdaclass#570)

* add StarkTranscript trait and implementation * make append field element compatible with stone prover * add test * add tests * uncomment test * remove code added by mistake to exercises * make counter of type u32
PatStiles · Nov 6, 2023 · eb6c2dd · eb6c2dd
1 parent ffeeb3f
commit eb6c2dd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/provers/stark/src/verifier.rs b/provers/stark/src/verifier.rs
@@ -19,6 +19,8 @@ use crate::{
     config::Commitment, proof::stark::DeepPolynomialOpening, transcript::IsStarkTranscript,
 };
 
+use crate::transcript::IsStarkTranscript;
+
 use super::{
     config::BatchedMerkleTreeBackend,
     domain::Domain,