@misc{indiciae57aceb624569,
  title = {FoldNTT: A Multiplier- and Twiddle-Lean NTT Core with Formally Verified Arithmetic for Proth Primes},
  author = {Masato Kamba},
  year = {2026},
  url = {https://arxiv.org/abs/2609.06412},
  note = {Source identifier: 2609.06412}
}