def step
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
125def step(b: Nat, +p: Nat, +a: SPoint, +d: SPoint) -> SPoint:
126 match b:
127 case 0n: d
128 case 1n+c: padd(p, d, a)
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
125def step(b: Nat, +p: Nat, +a: SPoint, +d: SPoint) -> SPoint:
126 match b:
127 case 0n: d
128 case 1n+c: padd(p, d, a)