def step256

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

import Base

193def step256(st: Sha256State, xs: List<&2, U32>, +q: Nat) -> Sha256State:
194  match st:
195    case St256{s, buf}:
196      +bytes = List.append(&2, U32, buf, xs)
197      absorb256(List.length(&2, U32, bytes), read256_0(bytes), bytes, q, s)