zkstd 0.0.22

zero knowledge proof standard library
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

use crate::traits::{CurveAffine, CurveExtended, CurveGroup};

/// elliptic curve rational points group
/// rational points group behaves as abelian group
pub trait WeierstrassCurve:
    CurveGroup + Into<<Self as CurveGroup>::Extended> + From<<Self as CurveGroup>::Extended>
{
    // b param
    const PARAM_B: Self::Range;
    // 3b param
    const PARAM_3B: Self::Range;
}

/// rational point affine representation
/// affine representation check that a point is infinite by the struct field
pub trait WeierstrassAffine: WeierstrassCurve + CurveAffine {
    type Projective: WeierstrassProjective<Range = Self::Range>;
    fn to_projective(self) -> Self::Projective;
}

/// rational point projective representation
/// projective representation check that a point is infinite by z coordinate
pub trait WeierstrassProjective: WeierstrassCurve + CurveExtended {
    fn new(x: Self::Range, y: Self::Range, z: Self::Range) -> Self;
}