def byte_of

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/phc.bend:42

import Base

42# The byte of four crumbs, high first.
43def byte_of(+w: U32, +x: U32, +y: U32, +z: U32) -> U32:
44  U32.from_nat(Nat.add(Nat.mul(Nat.add(Nat.mul(Nat.add(Nat.mul(U32.to_nat(w), 4n), U32.to_nat(x)), 4n), U32.to_nat(y)), 4n), U32.to_nat(z)))