def eight_p
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
142# 8p limbwise: every limb at least 2^10 - 8, so a + 8p - b never borrows
143def eight_p() -> List<&2, U32>:
144 [1896, 2040, 2040, 2040, 2040, 2040, 2040, 2040,
145 2040, 2040, 2040, 2040, 2040, 2040, 2040, 2040,
146 2040, 2040, 2040, 2040, 2040, 2040, 2040, 2040,
147 2040, 2040, 2040, 2040, 2040, 2040, 2040, 1016]
Uses (2)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:sub
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/fieldops:sub_okb
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/fieldops:sub_mod
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/fieldops:eight_p_gea
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/fieldops:eight_p_okb
- …