def pack
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Coreimport Base
124def pack(a: U32, b: U32, c: U32, d: U32) -> U32:
125 U32.or(U32.or(U32.or(U32.shln(U32.and(a, 255), 24n),
126 U32.shln(U32.and(b, 255), 16n)), U32.shln(U32.and(c, 255), 8n)), U32.and(d, 255))
Uses (4)
Used by (18)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core:lanes
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:read512_0
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:absorb512_inv
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:read512_1
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:read512_10
- …