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

from zkpyc.types import Array, field # zk_ignore
from zkpyc.stdlib.utils.pack.bool.nonStrictUnpack256 import unpack256

# Compress JubJub Curve Point to 256bit array using big endianness bit order

def edwardsCompress(pt: Array[field, 2])  -> Array[bool, 256]:
    x: field = pt[0]
    y: field = pt[1]

    xBits: Array[bool, 256] = unpack256(x)
    yBits: Array[bool, 256] = unpack256(y)

    sign: bool = xBits[255]
    yBits[0] = sign

    return yBits