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

merge

Browse Source
This commit is contained in:
Nicholas Ward 2021-11-19 15:29:48 -08:00
parent d6630869e1
commit e4b894cb12
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/gadgets/nonnative.rs
View File

@ -77,10 +77,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
self.reduce(&result) self.reduce(&result)
} }
pub fn neg_nonnative<FF: Field>( pub fn neg_nonnative<FF: Field>(&mut self, x: &NonNativeTarget<FF>) -> NonNativeTarget<FF> {
&mut self,
x: &NonNativeTarget<FF>,
) -> NonNativeTarget<FF> {
// TODO: zero - x would be more efficient but doesn't seem to work? // TODO: zero - x would be more efficient but doesn't seem to work?
let neg_one = FF::order() - BigUint::one(); let neg_one = FF::order() - BigUint::one();
let neg_one_target = self.constant_biguint(&neg_one); let neg_one_target = self.constant_biguint(&neg_one);
@ -89,10 +86,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
self.mul_nonnative(&neg_one_ff, x) self.mul_nonnative(&neg_one_ff, x)
} }
pub fn inv_nonnative<FF: Field>( pub fn inv_nonnative<FF: Field>(&mut self, x: &NonNativeTarget<FF>) -> NonNativeTarget<FF> {
&mut self,
x: &NonNativeTarget<FF>,
) -> NonNativeTarget<FF> {
let num_limbs = x.value.num_limbs(); let num_limbs = x.value.num_limbs();
let inv_biguint = self.add_virtual_biguint_target(num_limbs); let inv_biguint = self.add_virtual_biguint_target(num_limbs);
let inv = NonNativeTarget::<FF> { let inv = NonNativeTarget::<FF> {