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

fix: negate negative witness elements

Browse Source
This commit is contained in:
Georgios Konstantopoulos 2021-08-10 23:40:57 +03:00
parent c32270a285
commit de9af5b9e6
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/circom/builder.rs
View File

@ -75,11 +75,22 @@ impl<E: PairingEngine> CircomBuilder<E> {
.wtns .wtns
.calculate_witness(self.inputs, self.cfg.sanity_check)?; .calculate_witness(self.inputs, self.cfg.sanity_check)?;
use ark_ff::{PrimeField, FpParameters};
let modulus = <<E::Fr as PrimeField>::Params as FpParameters>::MODULUS;
// convert it to field elements // convert it to field elements
use num_traits::Signed;
let witness = witness let witness = witness
.into_iter() .into_iter()
.map(|w| E::Fr::from(w.to_biguint().unwrap())) .map(|w| {
.collect::<Vec<_>>(); let w = if w.sign() == num_bigint::Sign::Minus {
// Need to negate the witness element if negative
modulus.into() - w.abs().to_biguint().unwrap()
} else {
w.to_biguint().unwrap()
};
E::Fr::from(w)
}).collect::<Vec<_>>();
circom.witness = Some(witness); circom.witness = Some(witness);
// sanity check // sanity check