def rounds

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

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

126def rounds(ks: List<&2, U32>, ws: List<&2, U32>) -> Types.State -> Types.State:
127  match ks ws:
128    case Nil{} _:
129      s => s
130    case k <> kt Nil{}:
131      s => s
132    case k <> kt w <> wt:
133      next = rounds(kt, wt)
134      s => next(step(s, k, w))