type Point
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
30type Point is Data:
31 Point{x: List<&2, Nat>, y: List<&2, Nat>, z: List<&2, Nat>}
Uses (2)
Used by (78)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/point:pred
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/point:pv
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:g
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:mul
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:to_affine
- …