def zero
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
129def zero() -> List<&2, U32>:
130 [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
131 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Uses (2)
Used by (23)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/scalar:reduce
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/scalar2:macg
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:neg
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/scalar:mac
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/scalar:mul_add
- …