@misc{stephens2026verifiedarithmeticreductionsforan833qubitsecp256k1ecdlpprogram,
  title={Verified Arithmetic Reductions for an 833-Qubit secp256k1 ECDLP Program},
  author={Jamie Stephens},
  year={2026},
  eprint={2609.00004},
  archivePrefix={marXiv},
  primaryClass={cs.LO}
}