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

fix

Browse Source
This commit is contained in:
Nicholas Ward 2021-10-04 14:18:32 -07:00
parent e48e0a4a58
commit f71adac40b
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/gadgets/nonnative.rs
View File

@ -36,9 +36,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
}
combined_limbs[num_limbs] = carry;
let reduced_limbs = self.reduce_add_result(combined_limbs, modulus);
NonNativeTarget {
modulus,
limbs: combined_limbs,
limbs: reduced_limbs,
}
}
@ -60,7 +61,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
}
}
let reduced_limbs = self.reduce(combined_limbs, modulus);
let reduced_limbs = self.reduce_mul_result(combined_limbs, modulus);
NonNativeTarget {
modulus,
@ -68,7 +69,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
}
}
pub fn reduce_mul_result(&mut self, limbs: Vec<Target>, modulus: BigUInt) -> Vec<Target> {
pub fn reduce_mul_result(&mut self, limbs: Vec<Target>, modulus: BigUint) -> Vec<Target> {
todo!()
}
}