def mont32
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
672def mont32(+m: U32, +mp: U32, +a: U32, +b: U32) -> U32:
673 redc32(m, mp, mul32(a, b))
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
672def mont32(+m: U32, +mp: U32, +a: U32, +b: U32) -> U32:
673 redc32(m, mp, mul32(a, b))