diff --git a/crates/franklin-crypto/src/plonk/circuit/goldilocks/mod.rs b/crates/franklin-crypto/src/plonk/circuit/goldilocks/mod.rs index 9f7c22a..4b0fc90 100644 --- a/crates/franklin-crypto/src/plonk/circuit/goldilocks/mod.rs +++ b/crates/franklin-crypto/src/plonk/circuit/goldilocks/mod.rs @@ -47,8 +47,6 @@ impl Hash for GoldilocksField { } pub fn range_check_for_num_bits>(cs: &mut CS, num: &Num, num_bits: usize) -> Result<(), SynthesisError> { - assert!(num_bits % 16 == 0); - if let Num::Constant(value) = num { for el in value.into_repr().as_ref().iter().skip(1) { assert_eq!(0, *el)