diff --git a/examples/circuit.rs b/examples/circuit.rs index 6be77bee..c183653b 100644 --- a/examples/circuit.rs +++ b/examples/circuit.rs @@ -31,12 +31,10 @@ impl Circuit for TestCircuit { let d = composer.append_witness(self.d); // 1) a < 2^6 - const HALF_SIX: usize = 3; - composer.component_range::(a); + composer.component_range::<3>(a); // 3 BIT_PAIRS = 6 bits // 2) b < 2^4 - const HALF_FOUR: usize = 2; - composer.component_range::(b); + composer.component_range::<2>(b); // 2 BIT_PAIRS = 4 bits // 3) a + b + 42 = c where c is public input let constraint = Constraint::new()