def infinity
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as Pointimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/field.bend as F
96def infinity() -> Point:
97 Point{F.zero(), F.one(), F.zero()}
Uses (3)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:mul
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pmul:mul_r
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pmul:mul_v
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pmul:pinf_r
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pmul:pinf_v