~/jendhub

def cr.vm.mulmod

bend-osdev-crypto@0.1.0.0 · vmac.bend:231

import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
import Base

231# a * b mod p127, for a, b below 2^127
232def cr.vm.mulmod(a: CrU128, b: CrU128) -> CrU128:
233  match a b:
234    case CrU128{+ah, +al} CrU128{+bh, +bl}:
235      cr.vm.mulmod.go(cr.vm.mul(al, bl), cr.vm.mul(al, bh), cr.vm.mul(ah, bl), cr.vm.mul(ah, bh))

Uses (3)

Used by (1)