def blocks

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha.bend:145

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as Types

145def blocks(prepared: List<&2, List<&2, U32>>, +ks: List<&2, U32>) -> Types.State -> Types.State:
146  match prepared:
147    case Nil{}:
148      s => s
149    case block <> rest:
150      next = blocks(rest, ks)
151      s => next(compress(block, ks, s))