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

Make libraries compile

Browse Source
This commit is contained in:
Pratyush Mishra
2020-01-19 20:13:49 -08:00
parent 762793ccbd
commit a3e1cd6cf2
2 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
r1cs-std/src/bits/boolean.rs
View File

@@ -308,7 +308,7 @@ impl<ConstraintF: Field> AllocGadget<bool, ConstraintF> for AllocatedBit {
} }
} }
impl<ConstraintF: Field> CondSelectGadget<ConstraintF> for AllocatedBit { impl<ConstraintF: PrimeField> CondSelectGadget<ConstraintF> for AllocatedBit {
fn conditionally_select<CS: ConstraintSystem<ConstraintF>>( fn conditionally_select<CS: ConstraintSystem<ConstraintF>>(
cs: CS, cs: CS,
cond: &Boolean, cond: &Boolean,
@@ -328,7 +328,7 @@ impl<ConstraintF: Field> CondSelectGadget<ConstraintF> for AllocatedBit {
} }
} }
fn cond_select_helper<F: Field, CS: ConstraintSystem<F>>( fn cond_select_helper<F: PrimeField, CS: ConstraintSystem<F>>(
mut cs: CS, mut cs: CS,
cond: &Boolean, cond: &Boolean,
first: (Option<bool>, impl Into<ConstraintVar<F>>), first: (Option<bool>, impl Into<ConstraintVar<F>>),
@@ -785,7 +785,8 @@ impl<ConstraintF: Field> ToBytesGadget<ConstraintF> for Boolean {
self.to_bytes(cs) self.to_bytes(cs)
} }
} }
impl<ConstraintF: Field> CondSelectGadget<ConstraintF> for Boolean {
impl<ConstraintF: PrimeField> CondSelectGadget<ConstraintF> for Boolean {
fn conditionally_select<CS>( fn conditionally_select<CS>(
mut cs: CS, mut cs: CS,
cond: &Self, cond: &Self,

6
r1cs-std/src/groups/curves/short_weierstrass/mod.rs
View File

@@ -91,7 +91,7 @@ impl<P, ConstraintF, F> GroupGadget<SWProjective<P>, ConstraintF>
for AffineGadget<P, ConstraintF, F> for AffineGadget<P, ConstraintF, F>
where where
P: SWModelParameters, P: SWModelParameters,
ConstraintF: Field, ConstraintF: PrimeField,
F: FieldGadget<P::BaseField, ConstraintF>, F: FieldGadget<P::BaseField, ConstraintF>,
{ {
type Value = SWProjective<P>; type Value = SWProjective<P>;
@@ -329,7 +329,7 @@ where
impl<P, ConstraintF, F> CondSelectGadget<ConstraintF> for AffineGadget<P, ConstraintF, F> impl<P, ConstraintF, F> CondSelectGadget<ConstraintF> for AffineGadget<P, ConstraintF, F>
where where
P: SWModelParameters, P: SWModelParameters,
ConstraintF: Field, ConstraintF: PrimeField,
F: FieldGadget<P::BaseField, ConstraintF>, F: FieldGadget<P::BaseField, ConstraintF>,
{ {
#[inline] #[inline]
@@ -424,7 +424,7 @@ impl<P, ConstraintF, F> AllocGadget<SWProjective<P>, ConstraintF>
for AffineGadget<P, ConstraintF, F> for AffineGadget<P, ConstraintF, F>
where where
P: SWModelParameters, P: SWModelParameters,
ConstraintF: Field, ConstraintF: PrimeField,
F: FieldGadget<P::BaseField, ConstraintF>, F: FieldGadget<P::BaseField, ConstraintF>,
{ {
#[inline] #[inline]