diff --git a/src/poly/commitment.rs b/src/poly/commitment.rs index 8faa3ba..6fc4b00 100644 --- a/src/poly/commitment.rs +++ b/src/poly/commitment.rs @@ -257,7 +257,7 @@ fn test_opening_proof() { use crate::arithmetic::{ eval_polynomial, get_challenge_scalar, Challenge, Curve, CurveAffine, FieldExt, }; - use crate::transcript::{DummyHash, Hasher, Transcript}; + use crate::transcript::{DummyHash, Transcript}; use crate::tweedle::{EpAffine, Fp, Fq}; let params = Params::::new::>(K); @@ -273,18 +273,14 @@ fn test_opening_proof() { let p = params.commit(&px, blind).to_affine(); - let mut hasher = DummyHash::init(Field::one()); - let (p_x, p_y) = p.get_xy().unwrap(); - hasher.absorb(p_x); - hasher.absorb(p_y); - let x_packed = hasher.squeeze().get_lower_128(); + let mut transcript = Transcript::<_, DummyHash<_>, DummyHash<_>>::new(); + transcript.absorb_point(&p).unwrap(); + let x_packed = transcript.squeeze().get_lower_128(); let x: Fq = get_challenge_scalar(Challenge(x_packed)); // Evaluate the polynomial let v = eval_polynomial(&px, x); - hasher.absorb(Fp::from_bytes(&v.to_bytes()).unwrap()); // unlikely to fail since p ~ q - let scalar_hasher = DummyHash::init(Fq::one()); - let mut transcript = Transcript::init_with_hashers(&hasher, &scalar_hasher); + transcript.absorb_base(Fp::from_bytes(&v.to_bytes()).unwrap()); // unlikely to fail since p ~ q loop { let mut transcript_dup = transcript.clone(); diff --git a/src/transcript.rs b/src/transcript.rs index 254bf32..3cf27c9 100644 --- a/src/transcript.rs +++ b/src/transcript.rs @@ -81,18 +81,6 @@ impl, HScalar: Hasher> } } - /// Initialise a new transcript with some given base_hasher and - /// scalar_hasher - #[cfg(test)] - pub(crate) fn init_with_hashers(base_hasher: &HBase, scalar_hasher: &HScalar) -> Self { - Transcript { - base_hasher: base_hasher.clone(), - scalar_hasher: scalar_hasher.clone(), - scalar_needs_squeezing: false, - _marker: PhantomData, - } - } - fn conditional_scalar_squeeze(&mut self) { if self.scalar_needs_squeezing { let transcript_scalar_point =