def pack
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core.bend as Coreimport Base
14def pack(a: U32, b: U32, c: U32, d: U32) -> U32:
15 U32.or(U32.or(U32.or(U32.and(a, 255), U32.shln(U32.and(b, 255), 8n)),
16 U32.shln(U32.and(c, 255), 16n)), U32.shln(U32.and(d, 255), 24n))
Uses (4)
Used by (19)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha3/core:lanes
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:read3_0
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:absorb3_inv
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:read3_1
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:read3_10
- …