def finish3

bend-collections-laws-crypto@1.0.0.0 · src/crypto/hash.bend:500

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core.bend as C3

500def finish3(st: Sha3State, +len: Nat, +q: Nat) -> List<&2, U32>:
501  match st:
502    case St3{s, buf}:
503      C3.digest_bytes(C3.absorb(C3.lanes(List.append(&2, U32, buf, C3.suffix(len))), q, s))