src/crypto/blake/blake3/types.bend

bend-collections-laws-crypto@1.0.0.0 · 18 lines · 4 definitions

1import Base
2
3# A chaining value: eight 32-bit words.
4type CV is Data:
5  CV{h0: U32, h1: U32, h2: U32, h3: U32, h4: U32, h5: U32, h6: U32, h7: U32}
6
7# A 64-byte message block: sixteen little-endian 32-bit words.
8type Block is Data:
9  B{m0: U32, m1: U32, m2: U32, m3: U32, m4: U32, m5: U32, m6: U32, m7: U32, m8: U32, m9: U32, m10: U32, m11: U32, m12: U32, m13: U32, m14: U32, m15: U32}
10
11# The compression state: sixteen 32-bit words.
12type St is Data:
13  St{v0: U32, v1: U32, v2: U32, v3: U32, v4: U32, v5: U32, v6: U32, v7: U32, v8: U32, v9: U32, v10: U32, v11: U32, v12: U32, v13: U32, v14: U32, v15: U32}
14
15# A node whose compression is still pending: its input chaining value, block,
16# counter, block length and flags. The root node is finalized with ROOT.
17type Out is Data:
18  Out{cv: CV, block: Block, counter: U32, len: U32, flags: U32}