type SPoint
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
24type SPoint is Data:
25 SPoint{x: Nat, y: Nat, z: Nat}
Uses (1)
Used by (67)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/point:pv
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve:g
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve:pmul
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve:to_affine
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/penc:mpv
- …