def a24
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/x25519.bend as X25519import Base
63# a24 = 121665 as a field element
64def a24() -> List<&2, U32>:
65 [65, 219, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
66 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Uses (2)
Used by (4)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/x25519:x25519_raw
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder:a24_shape
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder:a24_valo
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder:x25519_rel