diff --git a/src/circuit/gadget/sinsemilla.rs b/src/circuit/gadget/sinsemilla.rs index 4c653bb8..b3151ead 100644 --- a/src/circuit/gadget/sinsemilla.rs +++ b/src/circuit/gadget/sinsemilla.rs @@ -196,7 +196,7 @@ where let to_base_field = |bits: &[Option]| -> Option { // To simplify the following logic, require that the all-ones bitstring is // canonical in the field, by not allowing a length of NUM_BITS. - assert!(bits.len() < C::Base::NUM_BITS as usize); + assert!(bits.len() <= C::Base::CAPACITY as usize); let bits: Option> = bits.iter().cloned().collect(); bits.map(|bits| {