127 lines
3.7 KiB
Text
127 lines
3.7 KiB
Text
import "EMBED/u32_to_bits" as to_bits
|
|
import "EMBED/u32_from_bits" as from_bits
|
|
import "./IVconstants.zok"
|
|
|
|
def right_rotate_2(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[30..], ...b[..30]])
|
|
|
|
def right_rotate_6(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[26..], ...b[..26]])
|
|
|
|
def right_rotate_7(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[25..], ...b[..25]])
|
|
|
|
def right_rotate_11(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[21..], ...b[..21]])
|
|
|
|
def right_rotate_13(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[19..], ...b[..19]])
|
|
|
|
def right_rotate_17(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[15..], ...b[..15]])
|
|
|
|
def right_rotate_18(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[14..], ...b[..14]])
|
|
|
|
def right_rotate_19(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[13..], ...b[..13]])
|
|
|
|
def right_rotate_22(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[10..], ...b[..10]])
|
|
|
|
def right_rotate_25(u32 e) -> u32:
|
|
bool[32] b = to_bits(e)
|
|
return from_bits([...b[7..], ...b[..7]])
|
|
|
|
def extend(u32[64] w, field i) -> u32:
|
|
u32 s0 = right_rotate_7(w[i-15]) ^ right_rotate_18(w[i-15]) ^ (w[i-15] >> 0x00000003)
|
|
u32 s1 = right_rotate_17(w[i-2]) ^ right_rotate_19(w[i-2]) ^ (w[i-2] >> 0x0000000a)
|
|
return w[i-16] + s0 + w[i-7] + s1
|
|
|
|
def temp1(u32 e, u32 f, u32 g, u32 h, u32 k, u32 w) -> u32:
|
|
// ch := (e and f) xor ((not e) and g)
|
|
u32 ch = (e & f) ^ ((!e) & g)
|
|
|
|
// S1 := (e rightrotate 6) xor (e rightrotate 11) xor (e rightrotate 25)
|
|
u32 S1 = right_rotate_6(e) ^ right_rotate_11(e) ^ right_rotate_25(e)
|
|
|
|
// temp1 := h + S1 + ch + k + w
|
|
return h + S1 + ch + k + w
|
|
|
|
def temp2(u32 a, u32 b, u32 c) -> u32:
|
|
// maj := (a and b) xor (a and c) xor (b and c)
|
|
u32 maj = (a & b) ^ (a & c) ^ (b & c)
|
|
|
|
// S0 := (a rightrotate 2) xor (a rightrotate 13) xor (a rightrotate 22)
|
|
u32 S0 = right_rotate_2(a) ^ right_rotate_13(a) ^ right_rotate_22(a)
|
|
|
|
// temp2 := S0 + maj
|
|
return S0 + maj
|
|
|
|
// A function that computes one round of the SHA256 compression function given an input and the current value of the hash
|
|
// this is used by other components however many times needed
|
|
def main(u32[16] input, u32[8] current) -> u32[8]:
|
|
|
|
u32 h0 = current[0]
|
|
u32 h1 = current[1]
|
|
u32 h2 = current[2]
|
|
u32 h3 = current[3]
|
|
u32 h4 = current[4]
|
|
u32 h5 = current[5]
|
|
u32 h6 = current[6]
|
|
u32 h7 = current[7]
|
|
|
|
u32[64] k = [0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1, 0x923f82a4, 0xab1c5ed5, 0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3, 0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174, 0xe49b69c1, 0xefbe4786, 0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da, 0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147, 0x06ca6351, 0x14292967, 0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13, 0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85, 0xa2bfe8a1, 0xa81a664b, 0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070, 0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a, 0x5b9cca4f, 0x682e6ff3, 0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208, 0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2]
|
|
|
|
u32[64] w = [...input, ...[0x00000000; 48]]
|
|
|
|
for field i in 16..64 do
|
|
w[i] = extend(w, i)
|
|
endfor
|
|
|
|
u32 a = h0
|
|
u32 b = h1
|
|
u32 c = h2
|
|
u32 d = h3
|
|
u32 e = h4
|
|
u32 f = h5
|
|
u32 g = h6
|
|
u32 h = h7
|
|
|
|
for field i in 0..64 do
|
|
|
|
u32 t1 = temp1(e, f, g, h, k[i], w[i])
|
|
|
|
u32 t2 = temp2(a, b, c)
|
|
|
|
h = g
|
|
g = f
|
|
f = e
|
|
e = d + t1
|
|
d = c
|
|
c = b
|
|
b = a
|
|
a = t1 + t2
|
|
|
|
endfor
|
|
|
|
h0 = h0 + a
|
|
h1 = h1 + b
|
|
h2 = h2 + c
|
|
h3 = h3 + d
|
|
h4 = h4 + e
|
|
h5 = h5 + f
|
|
h6 = h6 + g
|
|
h7 = h7 + h
|
|
|
|
return [h0, h1, h2, h3, h4, h5, h6, h7]
|
|
|