def init

bend-collections-laws-crypto@1.0.0.0 · src/crypto/blake/blake3/compress.bend:103

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend as T

103# The initial state: the chaining value, IV[0..3], the counter (low word,
104# then the high word, 0: an input has fewer than 2^32 chunks), the block
105# length and the flags.
106def init(cv: T.CV, +t: U32, +len: U32, +flags: U32) -> T.St:
107  match cv:
108    case T.CV{h0,h1,h2,h3,h4,h5,h6,h7}:
109      T.St{h0,h1,h2,h3,h4,h5,h6,h7,1779033703,3144134277,1013904242,2773480762,t,0,len,flags}