@misc{stephens2026leanverificationofschrottenlohersoptimizedellipticcurvediscretelogarithmcircuitsaprogressreport,
  title={Lean Verification of Schrottenloher’s Optimized Elliptic-Curve Discrete-Logarithm Circuits: A Progress Report},
  author={Jamie Stephens},
  year={2026},
  eprint={2608.00035},
  archivePrefix={marXiv},
  primaryClass={cs.LO}
}