.

TaceoLabs · Sep 16, 2024 · a9a1000 · a9a1000
1 parent 2130bd4
commit a9a1000
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/co-noir/ultrahonk/src/prover.rs b/co-noir/ultrahonk/src/prover.rs
@@ -3,7 +3,7 @@ use crate::{
     get_msb,
     honk_curve::HonkCurve,
     oink::prover::Oink,
-    poseidon2::{poseidon2_bn254::POSEIDON2_BN254_T4_PARAMS, poseidon2_permutation::Poseidon2},
+    poseidon2::poseidon2_bn254::POSEIDON2_BN254_T4_PARAMS,
     transcript::{TranscriptFieldType, TranscriptType},
     types::ProvingKey,
 };

diff --git a/co-noir/ultrahonk/src/sponge_hasher.rs b/co-noir/ultrahonk/src/sponge_hasher.rs
@@ -25,9 +25,8 @@ pub struct FieldSponge<F: PrimeField, const T: usize, const R: usize, H: FieldHa
 }
 
 impl<F: PrimeField, const T: usize, const R: usize, H: FieldHash<F, T>> FieldSponge<F, T, R, H> {
-    const C: usize = T - R;
-
     pub fn new(iv: F, hasher: H) -> Self {
+        assert!(R < T);
         let mut state = [F::zero(); T];
         state[R] = iv;
 

diff --git a/co-noir/ultrahonk/src/transcript.rs b/co-noir/ultrahonk/src/transcript.rs
@@ -40,7 +40,7 @@ where
             is_first_challenge: true,
             current_round_data: Default::default(),
             previous_challenge: Default::default(),
-            hasher: Poseidon2::new(&params),
+            hasher: Poseidon2::new(params),
         }
     }