def fold3

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/hash/incremental.bend:983

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as H

983# The state after each chunk in turn.
984def fold3(cs: List<&2, List<&2, U32>>, +q: Nat, st: H.Sha3State) -> H.Sha3State:
985  match cs:
986    case Nil{}:
987      st
988    case c <> ct:
989      fold3(ct, q, H.step3(st, c, q))