github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 20:28:36 +00:00
Code Issues Projects Releases Wiki Activity

add comments

Browse source
This commit is contained in:
dark64 2022-03-31 15:17:31 +02:00
parent 73f391f0e8
commit a98e62f34c
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
zokrates_stdlib/stdlib/hashes/sha256/sha256Padded.zok
View file

@ -3,6 +3,7 @@ import "utils/casts/u8_to_bits"
import "utils/casts/u32_to_bits"
import "utils/casts/u32_from_bits"
// A padding function that takes a bool[L] array as input and pads it to 512-bit blocks
def pad<L, M>(bool[L] m) -> u32[M][16]:
u32 length = L + 64 + 1
assert(length / 512 + 1 == M)
@ -21,12 +22,15 @@ def pad<L, M>(bool[L] m) -> u32[M][16]:
endfor
return result
// A function that takes a bool[N] array as input, pads it,
// and returns the sha256 output as a u32[8]
def sha256Padded<N>(bool[N] input) -> u32[8]:
u32 block_count = (N + 64 + 1) / 512 + 1
u32[block_count][16] padded = pad(input)
return sha256(padded)
// A function that takes a u32[N] array as input, pads it,
// and returns the sha256 output as a u32[8]
def main<N>(u8[N] input) -> u32[8]:
u32 L = N * 8
bool[L] input_bits = [false; L]