def rel

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X

191# |W| - 1 - (|W| * (J1^2 / 2^32)) / 2^32
192def rel(+w: Nat, +j1: U32) -> Nat:
193  +x = X.hi(X.mul32(j1, j1))
194  Nat.sub(Nat.sub(w, 1n), U32.to_nat(X.hi(X.mul32(U32.from_nat(w), x))))