def rounds

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/core.bend:91

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

91def rounds(ks: List<&2, U32>, ws: List<&2, U32>, s: S.State) -> S.State:
92  match ks ws:
93    case Nil{} _:
94      s
95    case k <> kt Nil{}:
96      s
97    case k <> kt w <> wt:
98      rounds(kt, wt, step(s, k, w))