github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

serialization::g1 is now generic for T:Field

Browse source
This commit is contained in:
ErikP0 2020-07-16 15:52:23 +02:00
parent 44645fc926
commit 9cb0294a1c
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
zokrates_core/src/proof_system/bellman/groth16.rs
View file

@ -29,9 +29,9 @@ pub struct ProofPoints {
impl ProofPoints {
fn into_bellman<T: Field>(self) -> BellmanProof<T::BellmanEngine> {
BellmanProof {
a: serialization::to_g1::<T::BellmanEngine>(self.a),
a: serialization::to_g1::<T>(self.a),
b: serialization::to_g2::<T>(self.b),
c: serialization::to_g1::<T::BellmanEngine>(self.c),
c: serialization::to_g1::<T>(self.c),
}
}
}
@ -48,13 +48,13 @@ pub struct VerificationKey {
impl VerificationKey {
fn into_bellman<T: Field>(self) -> VerifyingKey<T::BellmanEngine> {
VerifyingKey {
alpha_g1: serialization::to_g1::<T::BellmanEngine>(self.alpha),
alpha_g1: serialization::to_g1::<T>(self.alpha),
beta_g1: <T::BellmanEngine as Engine>::G1Affine::one(), // not used during verification
beta_g2: serialization::to_g2::<T>(self.beta),
gamma_g2: serialization::to_g2::<T>(self.gamma),
delta_g1: <T::BellmanEngine as Engine>::G1Affine::one(), // not used during verification
delta_g2: serialization::to_g2::<T>(self.delta),
ic: self.gamma_abc.into_iter().map(|g1| serialization::to_g1::<T::BellmanEngine>(g1)).collect()
ic: self.gamma_abc.into_iter().map(|g1| serialization::to_g1::<T>(g1)).collect()
}
}
}
@ -226,8 +226,8 @@ mod serialization {
use zokrates_field::Field;
use pairing::{CurveAffine, Engine, from_hex};
pub fn to_g1<E: Engine>(g1: G1Affine) -> E::G1Affine {
E::G1Affine::from_xy_checked(from_hex(&g1.0).unwrap(), from_hex(&g1.1).unwrap())
pub fn to_g1<T: Field>(g1: G1Affine) -> <T::BellmanEngine as Engine>::G1Affine {
<T::BellmanEngine as Engine>::G1Affine::from_xy_checked(from_hex(&g1.0).unwrap(), from_hex(&g1.1).unwrap())
.unwrap()
}
pub fn to_g2<T: Field>(g2: G2Affine) -> <T::BellmanEngine as Engine>::G2Affine {