def zero
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
25def zero() -> List<&2, Nat>:
26 small(0n)
Uses (3)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:nth
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point:infinity
- 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/point:zero_r
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/point:zero_v
- …