@misc{stephens2026an833qubitsecp256k1discretelogarithmalgorithmwithmachinecheckedcorrectnessandresourcebounds,
  title={An 833-Qubit secp256k1 Discrete-Logarithm Algorithm with Machine-Checked Correctness and Resource Bounds},
  author={Jamie Stephens},
  year={2026},
  eprint={2609.00013},
  archivePrefix={marXiv},
  primaryClass={cs.LO}
}