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

JUBJUB_PARAMS: EdwardsParams = EdwardsParams(
    # Order of the curve for reference: 52435875175126190479447740508185965837647370126978538250922873299137466033592
    EDWARDS_C=field(8), # Cofactor
    EDWARDS_A=field(52435875175126190479447740508185965837690552500527637822603658699938581184512), # Coefficient A
    EDWARDS_D=field(19257038036680949359750312669786877991949435402254120286184196891950884077233), # Coefficient D

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

    # Generator G
    G = [field(18464804268475532353286157923534826173871451333965907658118678035768588778343),
         field(27794058882810576758078176605958209438531768342460022817645772569870682600154)],

    # Generator H
    H = [field(27933759706068361136248440592896622973008715205481944853688691954347204514133),
         field(14145173839055460908165995810701084142732461034613324968697612614434127053652)]
)

def main() -> EdwardsParams:
    return JUBJUB_PARAMS