def step512

bend-collections-laws-crypto@1.0.0.0 · src/crypto/hash.bend:340

import Base

340def step512(st: Sha512State, xs: List<&2, U32>, +q: Nat) -> Sha512State:
341  match st:
342    case St512{s, buf}:
343      +bytes = List.append(&2, U32, buf, xs)
344      absorb512(List.length(&2, U32, bytes), read512_0(bytes), bytes, q, s)