src/crypto/blake/blake2b/types.bend checks

raw source on the hub · import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2b/types.bend as Types

Generated by tools/generators/blake2b_gen.py; do not edit by hand.

1 import

import Base

Types

type Lane source · line 5 · raw

Data

A 64-bit word as two 32-bit halves, low half first.

W
```
@lo:U32 -> @hi:U32 -> Lane
```

type State source · line 9 · raw

Data

The 16-word working vector v[0..15].

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 -> State

type Chain source · line 13 · raw

Data

The chaining value h[0..7].

H

@h0:Lane -> @h1:Lane -> @h2:Lane -> @h3:Lane -> @h4:Lane -> @h5:Lane -> @h6:Lane -> @h7:Lane -> Chain

type Quad source · line 17 · raw

Data

The four words G returns: v[a], v[b], v[c], v[d].

Q

@a:Lane -> @b:Lane -> @c:Lane -> @d:Lane -> Quad

type Counter source · line 21 · raw

Data

The 128-bit byte counter t as four little-endian 32-bit limbs.

C

@c0:U32 -> @c1:U32 -> @c2:U32 -> @c3:U32 -> Counter