def mul

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/point.bend:117

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/limbs.bend as L

117# [k] p for a scalar k given by its 16 limbs (any value below 2^256)
118def mul(k: List<&2, Nat>, +p: Point) -> Point:
119  mul_go(L.bits(k), p, infinity())