def len_lo

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/core.bend:684

import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Core

import Base

684def len_lo(+n: Nat) -> U32:
685  +d0 = Nat.div(n, 32n)
686  +d1 = Nat.div(d0, 256n)
687  +d2 = Nat.div(d1, 256n)
688  pack(U32.from_nat(Nat.mod(d2, 256n)), U32.from_nat(Nat.mod(d1, 256n)),
689    U32.from_nat(Nat.mod(d0, 256n)), U32.shln(U32.from_nat(Nat.mod(n, 32n)), 3n))

Uses (7)

Used by (65)