type Quad
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as Typesimport Base
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}
Uses (1)
Used by (130)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/compress:g
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:gb
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka:GB
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/gb:gb_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/gb:m2
- …