zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Docfixes. 

Co-authored-by: Daira Hopwood <daira@jacaranda.org>
Co-authored-by: str4d <jack@electriccoin.co>
This commit is contained in:
ying tong 2021-06-29 09:51:02 +08:00 committed by GitHub
parent c43c91b796
commit 209e6a1132
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/circuit/gadget/utilities/cond_swap.rs
View File

@ -12,7 +12,6 @@ pub trait CondSwapInstructions<F: FieldExt>: UtilitiesInstructions<F> {
/// Given an input pair (a,b) and a `swap` boolean flag, returns
/// (b,a) if `swap` is set, else (a,b) if `swap` is not set.
///
///
/// The second element of the pair is required to be a witnessed
/// value, not a variable that already exists in the circuit.
fn swap(

4
src/circuit/gadget/utilities/lookup_range_check.rs
View File

@ -67,7 +67,7 @@ impl<F: FieldExt + PrimeFieldBits, const K: usize> LookupRangeCheckConfig<F, K>
vec![(q_lookup * word, table)]
});
// Lookup for range checks up to S bits, where S < K.
// Lookup used in range checks up to S bits, where S < K.
meta.lookup(|meta| {
let q_lookup_short = meta.query_selector(config.q_lookup_short);
let word = meta.query_advice(config.running_sum, Rotation::cur());
@ -345,8 +345,6 @@ impl<F: FieldExt + PrimeFieldBits, const K: usize> LookupRangeCheckConfig<F, K>
let shift = F::from_u64(1 << (K - num_bits));
element * shift
});
print!("element: {:?}", element.value());
print!("shifted: {:?}", shifted);
region.assign_advice(
|| format!("element * 2^({}-{})", K, num_bits),