def padd

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

import Base

101def padd(+p: Nat, a: SPoint, b: SPoint) -> SPoint:
102  match a b:
103    case SPoint{x1, y1, z1} SPoint{x2, y2, z2}:
104      add_out(run(p, add_prog(), [x1, y1, z1, x2, y2, z2, b3()]))