def a24

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/curve25519/x25519.bend:97

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS

97# a24 = 121665
98def a24(+one: Nat) -> Nat:
99  FS.digits(one, [65n, 219n, 1n])

Uses (3)

Used by (6)