def identity
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519import Base
51def identity() -> EPt:
52 EPt{0n, 1n, 1n, 0n}
Uses (1)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519:mul
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/top:mul_rel
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pdec:identity_rel
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519:base_of
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pdec:base_of_rel