def pdbl

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

import Base

109def pdbl(+p: Nat, a: SPoint) -> SPoint:
110  match a:
111    case SPoint{x, y, z}:
112      dbl_out(run(p, dbl_prog(), [x, y, z, b3()]))