def rounds

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:45

import Base
import bend-collections@1.0.0.0/src/crypto/sha/packed/core.bend as Runtime
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S

45def rounds(ks: List<&2, U32>, ws: List<&2, U32>, s: S.State) -> S.State:
46  match ks ws:
47    case Nil{} _:
48      s
49    case k <> kt Nil{}:
50      s
51    case k <> kt w <> wt:
52      rounds(kt, wt, Runtime.step(s, k, w))