def exec

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as FS

38def exec(+p: Nat, op: SOp, +regs: List<&2, Nat>) -> Nat:
39  match op:
40    case SAdd{i, j}: FS.madd(p, nth(i, regs), nth(j, regs))
41    case SSub{i, j}: FS.msub(p, nth(i, regs), nth(j, regs))
42    case SMul{i, j}: FS.mmul(p, nth(i, regs), nth(j, regs))