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

from zkpyc.types import Public, Array # zk_ignore
from zkpyc.stdlib.hashes.sha256.shaRound import shaRound

# Initial values, FIPS 180-3, section 5.3.3
# https://csrc.nist.gov/csrc/media/publications/fips/180/3/archive/2008-10-31/documents/fips180-3_final.pdf
IV: Array[int, 8] = [
    0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a,
    0x510e527f, 0x9b05688c, 0x1f83d9ab, 0x5be0cd19
]

# A function that takes N u32[16] array as inputs, concatenates them,
# and returns their sha256 compression as a u32[8].
# Note: no padding is applied
def hash(a: Array[Array[int, 16], 1], N: int) -> Array[int, 8]:
	current: Array[int, 8] = IV

	for i in range(0, N):
		current = shaRound(a[i], current)

	return current