logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-09 17:23:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

range-check add results

Browse Source
This commit is contained in:
Nicholas Ward 2022-01-30 08:52:26 -08:00
parent d68ab11913
commit 20930e0086
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
plonky2/src/gadgets/curve.rs
View File

@ -321,7 +321,6 @@ mod tests {
builder.connect_affine_point(&neg_five_g_expected, &neg_five_g_actual);
println!("NUM GATES: {}", builder.num_gates());
let data = builder.build::<C>();
let proof = data.prove(pw).unwrap();

8
plonky2/src/gadgets/nonnative.rs
View File

@ -85,6 +85,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let sum_actual = self.add_biguint(&sum.value, &mod_times_overflow);
self.connect_biguint(&sum_expected, &sum_actual);
let cmp = self.cmp_biguint(&sum.value, &modulus);
let one = self.one();
self.connect(cmp.target, one);
sum
}
@ -133,6 +137,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let sum_actual = self.add_biguint(&sum.value, &mod_times_overflow);
self.connect_biguint(&sum_expected, &sum_actual);
let cmp = self.cmp_biguint(&sum.value, &modulus);
let one = self.one();
self.connect(cmp.target, one);
sum
}