diff --git a/src/circuit/pedersen_hash.rs b/src/circuit/pedersen_hash.rs index 0989d84cf..c05d61724 100644 --- a/src/circuit/pedersen_hash.rs +++ b/src/circuit/pedersen_hash.rs @@ -131,6 +131,10 @@ fn lookup3_xy_with_conditional_negation( ) -> Result<(AllocatedNum, AllocatedNum), SynthesisError> where CS: ConstraintSystem { + // TODO: This can be made into a 2-constraint lookup + // if it can return linear combinations rather than + // allocated numbers. + assert_eq!(bits.len(), 3); assert_eq!(coords.len(), 4);