fix hashchain example

microsoft · Jan 16, 2025 · eaada86 · eaada86
1 parent 40aedc6
commit eaada86
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/examples/hashchain.rs b/examples/hashchain.rs
@@ -4,13 +4,14 @@ use ff::Field;
 use flate2::{write::ZlibEncoder, Compression};
 use generic_array::typenum::U24;
 use nova_snark::{
-  frontend::{num::AllocatedNum, ConstraintSystem, SynthesisError},
-  provider::{
-    poseidon::{
+  frontend::{
+    gadgets::poseidon::{
       Elt, IOPattern, Simplex, Sponge, SpongeAPI, SpongeCircuit, SpongeOp, SpongeTrait, Strength,
     },
-    Bn256EngineKZG, GrumpkinEngine,
+    num::AllocatedNum,
+    ConstraintSystem, SynthesisError,
   },
+  provider::{Bn256EngineKZG, GrumpkinEngine},
   traits::{
     circuit::{StepCircuit, TrivialCircuit},
     snark::RelaxedR1CSSNARKTrait,

diff --git a/src/frontend/mod.rs b/src/frontend/mod.rs
@@ -2,14 +2,16 @@
 //!
 //! Most of the code is ported from /~https://github.com/argumentcomputer/bellpepper.
 
+pub mod gadgets;
+
 mod constraint_system;
-pub(crate) mod gadgets;
 mod lc;
 
 pub use constraint_system::{Circuit, ConstraintSystem, Namespace, SynthesisError};
 pub use gadgets::{
   boolean::{AllocatedBit, Boolean},
   num,
+  poseidon::{Elt, PoseidonConstants, SpongeCircuit},
   sha256::sha256,
   Assignment,
 };