spartan2 0.5.0

High-speed zkSNARKs without trusted setup
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

//! This module implements the Spartan traits for P256 and T256 curves
use crate::{
  impl_traits,
  provider::{
    msm::{msm, msm_small},
    traits::{DlogGroup, DlogGroupExt},
  },
  traits::{Group, PrimeFieldExt, transcript::TranscriptReprTrait},
};
use digest::{ExtendableOutput, Update};
use ff::FromUniformBytes;
use halo2curves::{
  CurveAffine, CurveExt,
  group::{Curve, Group as AnotherGroup, cofactor::CofactorCurveAffine},
  secp256r1::{Secp256r1 as P256, Secp256r1Affine as P256Affine},
  t256::{T256, T256Affine},
};
use num_bigint::BigInt;
use num_integer::Integer;
use num_traits::{Num, ToPrimitive};
use rayon::prelude::*;
use sha3::Shake256;
use std::io::Read;

/// Re-exports that give access to the standard aliases used in the code base, for p256
pub mod p256 {
  pub use halo2curves::secp256r1::{
    Fp as Base, Fq as Scalar, Secp256r1 as Point, Secp256r1Affine as Affine,
  };
}

/// Re-exports that give access to the standard aliases used in the code base, for t256
pub mod t256 {
  pub use halo2curves::t256::{Fp as Base, Fq as Scalar, T256 as Point, T256Affine as Affine};
}

impl_traits!(
  p256,
  P256,
  P256Affine,
  "ffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551",
  "ffffffff00000001000000000000000000000000ffffffffffffffffffffffff"
);

impl_traits!(
  t256,
  T256,
  T256Affine,
  "ffffffff00000001000000000000000000000000ffffffffffffffffffffffff",
  "ffffffff0000000100000000000000017e72b42b30e7317793135661b1c4b117"
);

impl<G: Group> TranscriptReprTrait<G> for t256::Base {
  fn to_transcript_bytes(&self) -> Vec<u8> {
    self.to_bytes().into_iter().rev().collect()
  }
}