src/crypto/sha512/types.bend checks
raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as Types
1 import
import Base
Types
type Lane source · line 6 · raw
Data
A 64-bit word as its two 32-bit halves, most significant first.
W@hi:U32 -> @lo:U32 -> Lane
type State source · line 10 · raw
Data
The working variables a..h (and the chaining value H0..H7).
H@a:Lane -> @b:Lane -> @c:Lane -> @d:Lane -> @e:Lane -> @f:Lane -> @g:Lane -> @h:Lane -> State