Skip to content

Commit

Permalink
Updated comments
Browse files Browse the repository at this point in the history
  • Loading branch information
mrain committed Jun 15, 2023
1 parent c2c6bdd commit b99daea
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions relation/src/gadgets/ultraplonk/range.rs
Original file line number Diff line number Diff line change
Expand Up @@ -160,12 +160,12 @@ mod test {
*circuit.witness_mut(a[0]) = tmp;

let mut circuit: PlonkCircuit<F> = PlonkCircuit::new_ultra_plonk(RANGE_BIT_LEN_FOR_TEST);
// Should fail when the value = 2^RANGE_BIT_LEN_FOR_TEST
// Should fail when the value = 2^bit_len
let a_var = circuit.create_variable(F::from(1u64 << bit_len))?;
circuit.range_gate_with_lookup(a_var, bit_len)?;
assert!(circuit.check_circuit_satisfiability(&[]).is_err());

// Should fail when the value = 2^{2*RANGE_BIT_LEN_FOR_TEST}
// Should fail when the value = 2^{2*bit_len}
let a_var = circuit.create_variable(F::from(1u64 << (2 * bit_len)))?;
circuit.range_gate_with_lookup(a_var, 2 * bit_len)?;
assert!(circuit.check_circuit_satisfiability(&[]).is_err());
Expand Down

0 comments on commit b99daea

Please sign in to comment.