zkpyc-stdlib 0.1.0-dev

Standard library for the ZKPyC compiler.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

from zkpyc.types import field # zk_ignore
from zkpyc.stdlib.ecc.edwardsParams import EdwardsParams

DOPPIO_PARAMS: EdwardsParams = EdwardsParams(
    # Order of the curve for reference: 7237005577332262213973186563042994240793386170426921315009648928286698145284
    EDWARDS_C=field(4), # Cofactor
    EDWARDS_A=field(1), # Coefficient A
    EDWARDS_D=field(7237005577332262213973186563042994240857116359379907606001950938285454187918), # Coefficient D

    # Point at infinity
    INFINITY=[field(0), field(1)],

    # Generator G
    G = [field(2795865261834116136936743657053508356334604836126322045475861933374508750240),
         field(3792934428445402420663159460038194867325781527213697591275308866927445185360)],

    # Generator H
    H = [field(1557285659906906396846914288718931757206880973360700753779014749224025813416),
         field(3387763847148062079882588963730332886077898037794619489369731073989211198018)]
)

def main() -> EdwardsParams:
    return DOPPIO_PARAMS