~/jendhub

def pmul

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:149

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base

149# [k] A for 0 <= k < 2^256
150def pmul(+p: Nat, +k: Nat, +a: SPoint) -> SPoint:
151  lmul(p, bits(256n, k), a, infinity())

Uses (5)

Used by (19)