type Sched
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Coreimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T
12# The sixteen most recent schedule words, newest first: W[t-1] .. W[t-16].
13type Sched is Data:
14 Win{a: T.Lane, b: T.Lane, c: T.Lane, d: T.Lane, e: T.Lane, f: T.Lane, g: T.Lane, h: T.Lane, i: T.Lane, j: T.Lane, k: T.Lane, l: T.Lane, m: T.Lane, n: T.Lane, o: T.Lane, p: T.Lane}
Uses (1)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core:compress16
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core:block_rounds
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core:window_rounds
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha512/conformance:block_rounds_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha512/conformance:compress16_correct
- …