Submission 3d995c36bf5b

Title:	Shared Auxiliary Storage in a Machine-Verified 833-Qubit secp256k1 ECDLP Program
Authors:	Jamie Stephens
Subjects:	Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
Submitted:	Fri, 4 Sep 2026 15:05
PDF:	submitted PDF
Status:	accepted
Paper:	marXiv:2609.00002

Event log

Fri, 4 Sep 2026 20:05:06 UTC	submitted
Fri, 4 Sep 2026 20:05:06 UTC	review started
Fri, 4 Sep 2026 20:07:47 UTC	accepted

Review

Decision: accept

Accept.

## Remarks

- Requirement 9: “q” and “[dt]q” are undefined. State what q denotes and define the residue notation before first use.
- Requirement 9: “retained division” and “retained multiplication” are paper-specific operations whose retained state is unspecified. Define them before first use.
- Requirement 9: “Toffoli-class operations” names an exact resource metric without defining which operations belong to the class. Define the class before first use.
- Style manual, Relevance: Section 2 begins with “The 834-qubit allocation assigned separate logical qubits to two temporary Boolean values” but does not state the central 834-to-833 result in one sentence at the start of the supporting section.