def rounds

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:240

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

240def rounds(ks: List<&2, T.Lane>, ws: List<&2, T.Lane>) -> T.State -> T.State:
241  match ks ws:
242    case Nil{} _:
243      s => s
244    case k <> kt Nil{}:
245      s => s
246    case k <> kt w <> wt:
247      next = rounds(kt, wt)
248      s => next(step(s, k, w))