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# The 32-byte digest: lanes 0..3, little-endian.
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{}))))))))

Uses (5)

Used by (2)