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
26
27
28
29
30
31

use super::{FftField, TwistedEdwardsAffine, TwistedEdwardsExtended};

use core::fmt::Debug;
use parity_scale_codec::{Decode, EncodeLike};

pub trait SigUtils<const L: usize>: Sized {
    const LENGTH: usize = L;

    fn to_bytes(self) -> [u8; L];

    fn from_bytes(bytes: [u8; L]) -> Option<Self>;
}

pub trait RedDSA: Copy + Debug + Default + Ord + PartialEq {
    type Range: FftField + Eq + PartialEq + SigUtils<32> + EncodeLike + Decode;

    type Scalar: FftField + Eq + PartialEq + SigUtils<32> + Into<Self::Range>;

    // affine point
    type Affine: TwistedEdwardsAffine<Extended = Self::Extended, Range = Self::Range, Scalar = Self::Scalar>
        + PartialEq
        + Eq
        + SigUtils<32>;

    // extend point
    type Extended: TwistedEdwardsExtended<Affine = Self::Affine, Range = Self::Range, Scalar = Self::Scalar>
        + PartialEq
        + Eq
        + Ord
        + SigUtils<32>;
}