def digest_bytes
bend-collections@1.0.0.0 · src/crypto/sha3/core.bend:58
import bend-collections@1.0.0.0/src/crypto/sha3/core.bend as Core
import Base
import bend-collections@1.0.0.0/src/crypto/keccak/types.bend as T
58
59def digest_bytes(s: T.State) -> List<&2, U32>:
60 match s:
61 case T.S{T.W{l0, h0}, T.W{l1, h1}, T.W{l2, h2}, T.W{l3, h3}, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24}:
62 le_bytes(l0, le_bytes(h0, le_bytes(l1, le_bytes(h1, le_bytes(l2, le_bytes(h2, le_bytes(l3, le_bytes(h3, Nil{}))))))))