chore(franklin-crypto): expose range check

matter-labs · Oct 29, 2024 · 5128c6d · 5128c6d
1 parent 6573228
commit 5128c6d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crates/franklin-crypto/src/plonk/circuit/goldilocks/mod.rs b/crates/franklin-crypto/src/plonk/circuit/goldilocks/mod.rs
@@ -46,7 +46,7 @@ impl<E: Engine> Hash for GoldilocksField<E> {
     }
 }
 
-fn range_check_for_num_bits<E: Engine, CS: ConstraintSystem<E>>(cs: &mut CS, num: &Num<E>, num_bits: usize) -> Result<(), SynthesisError> {
+pub fn range_check_for_num_bits<E: Engine, CS: ConstraintSystem<E>>(cs: &mut CS, num: &Num<E>, num_bits: usize) -> Result<(), SynthesisError> {
     assert!(num_bits % 16 == 0);
 
     if let Num::Constant(value) = num {

diff --git a/crates/snark-wrapper/Cargo.toml b/crates/snark-wrapper/Cargo.toml
@@ -12,6 +12,6 @@ description = "ZKsync snark wrapper"
 
 [dependencies]
 rescue_poseidon.workspace = true
-
+serde = { version = "1", features = ["derive"] }
 derivative = "2"
 rand = "0.4"