src/crypto/blake/blake2b/types.bend

bend-collections-laws-crypto@1.0.0.0 · 22 lines · 5 definitions

1# Generated by tools/generators/blake2b_gen.py; do not edit by hand.
2import Base
3
4# A 64-bit word as two 32-bit halves, low half first.
5type Lane is Data:
6  W{lo: U32, hi: U32}
7
8# The 16-word working vector v[0..15].
9type State is Data:
10  V{v0: Lane, v1: Lane, v2: Lane, v3: Lane, v4: Lane, v5: Lane, v6: Lane, v7: Lane, v8: Lane, v9: Lane, v10: Lane, v11: Lane, v12: Lane, v13: Lane, v14: Lane, v15: Lane}
11
12# The chaining value h[0..7].
13type Chain is Data:
14  H{h0: Lane, h1: Lane, h2: Lane, h3: Lane, h4: Lane, h5: Lane, h6: Lane, h7: Lane}
15
16# The four words G returns: v[a], v[b], v[c], v[d].
17type Quad is Data:
18  Q{a: Lane, b: Lane, c: Lane, d: Lane}
19
20# The 128-bit byte counter t as four little-endian 32-bit limbs.
21type Counter is Data:
22  C{c0: U32, c1: U32, c2: U32, c3: U32}