finished mpt circuit

scroll-tech · Oct 27, 2023 · fc6dfe8 · fc6dfe8
1 parent 5c1420c
commit fc6dfe8
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/gadgets/poseidon.rs b/src/gadgets/poseidon.rs
@@ -1,9 +1,7 @@
 use crate::constraint_builder::{AdviceColumn, FixedColumn};
 use halo2_proofs::plonk::{Advice, Column, Fixed};
 #[cfg(test)]
-use halo2_proofs::{
-    arithmetic::FieldExt, circuit::Region, halo2curves::bn256::Fr, plonk::ConstraintSystem,
-};
+use halo2_proofs::{circuit::Region, halo2curves::bn256::Fr, plonk::ConstraintSystem};
 #[cfg(test)]
 use hash_circuit::hash::Hashable;
 
@@ -33,7 +31,9 @@ pub struct PoseidonTable {
 
 #[cfg(test)]
 impl PoseidonTable {
-    pub fn configure<F: FieldExt>(cs: &mut ConstraintSystem<F>) -> Self {
+    pub fn configure<F: halo2_proofs::halo2curves::ff::FromUniformBytes<64> + Ord>(
+        cs: &mut ConstraintSystem<F>,
+    ) -> Self {
         let [hash, left, right, control, domain_spec, head_mark] =
             [0; 6].map(|_| AdviceColumn(cs.advice_column()));
         Self {