def norm16

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/limbs.bend:129

import Base

129# the normalized form of a value below 2^256: exactly 16 limbs below 2^16
130def norm16(xs: List<&2, Nat>) -> List<&2, Nat>:
131  take(16n, carry(32n, xs, 0n))