@misc{stephens2026aformalstatisticalandsourceauditofschrottenlohersoptimizedpointadditioncircuitsforellipticcurvediscretelogarithms,
  title={A Formal, Statistical, and Source Audit of Schrottenloher's Optimized Point-Addition Circuits for Elliptic-Curve Discrete Logarithms},
  author={Jamie Stephens},
  year={2026},
  eprint={2608.00044},
  archivePrefix={marXiv},
  primaryClass={cs.CC}
}