arnaucube/ark-r1cs-std
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-r1cs-std.git synced 2026-01-10 16:01:28 +01:00
Code Issues Projects Releases Wiki Activity

r1cs-std: makes extension field to_bits create namespaces for the individual elements

Browse Source
This commit is contained in:
Kobi Gurkan
2020-01-16 19:39:49 +02:00
committed by Pratyush Mishra
parent 2a8974e442
commit b8a81b5dcb
3 changed files with 14 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
r1cs-std/src/fields/fp12.rs
View File

@@ -725,8 +725,8 @@ where
&self,
mut cs: CS,
) -> Result<Vec<Boolean>, SynthesisError> {
let mut c0 = self.c0.to_bits(&mut cs)?;
let mut c1 = self.c1.to_bits(cs)?;
let mut c0 = self.c0.to_bits(cs.ns(|| "c0"))?;
let mut c1 = self.c1.to_bits(cs.ns(|| "c1"))?;
c0.append(&mut c1);
Ok(c0)
}
@@ -735,8 +735,8 @@ where
&self,
mut cs: CS,
) -> Result<Vec<Boolean>, SynthesisError> {
let mut c0 = self.c0.to_bits_strict(&mut cs)?;
let mut c1 = self.c1.to_bits_strict(cs)?;
let mut c0 = self.c0.to_bits_strict(cs.ns(|| "c0"))?;
let mut c1 = self.c1.to_bits_strict(cs.ns(|| "c1"))?;
c0.append(&mut c1);
Ok(c0)
}

8
r1cs-std/src/fields/fp2.rs
View File

@@ -524,8 +524,8 @@ impl<P: Fp2Parameters<Fp = ConstraintF>, ConstraintF: PrimeField> ToBitsGadget<C
&self,
mut cs: CS,
) -> Result<Vec<Boolean>, SynthesisError> {
let mut c0 = self.c0.to_bits(&mut cs)?;
let mut c1 = self.c1.to_bits(cs)?;
let mut c0 = self.c0.to_bits(cs.ns(|| "c0"))?;
let mut c1 = self.c1.to_bits(cs.ns(|| "c1"))?;
c0.append(&mut c1);
Ok(c0)
}
@@ -534,8 +534,8 @@ impl<P: Fp2Parameters<Fp = ConstraintF>, ConstraintF: PrimeField> ToBitsGadget<C
&self,
mut cs: CS,
) -> Result<Vec<Boolean>, SynthesisError> {
let mut c0 = self.c0.to_bits_strict(&mut cs)?;
let mut c1 = self.c1.to_bits_strict(cs)?;
let mut c0 = self.c0.to_bits_strict(cs.ns(|| "c0"))?;
let mut c1 = self.c1.to_bits_strict(cs.ns(|| "c1"))?;
c0.append(&mut c1);
Ok(c0)
}

12
r1cs-std/src/fields/fp6_3over2.rs
View File

@@ -790,9 +790,9 @@ where
&self,
mut cs: CS,
) -> Result<Vec<Boolean>, SynthesisError> {
let mut c0 = self.c0.to_bits(&mut cs)?;
let mut c1 = self.c1.to_bits(&mut cs)?;
let mut c2 = self.c2.to_bits(cs)?;
let mut c0 = self.c0.to_bits(cs.ns(|| "c0"))?;
let mut c1 = self.c1.to_bits(cs.ns(|| "c1"))?;
let mut c2 = self.c2.to_bits(cs.ns(|| "c2"))?;
c0.append(&mut c1);
c0.append(&mut c2);
@@ -804,9 +804,9 @@ where
&self,
mut cs: CS,
) -> Result<Vec<Boolean>, SynthesisError> {
let mut c0 = self.c0.to_bits_strict(&mut cs)?;
let mut c1 = self.c1.to_bits_strict(&mut cs)?;
let mut c2 = self.c2.to_bits_strict(cs)?;
let mut c0 = self.c0.to_bits_strict(cs.ns(|| "c0"))?;
let mut c1 = self.c1.to_bits_strict(cs.ns(|| "c1"))?;
let mut c2 = self.c2.to_bits_strict(cs.ns(|| "c2"))?;
c0.append(&mut c1);
c0.append(&mut c2);