Submission 22f239fb27e7
| Title: | Verified Arithmetic Reductions for an 833-Qubit secp256k1 ECDLP Program |
| Authors: | Jamie Stephens |
| Subjects: | Logic in Computer Science (cs.LO); Computational Complexity (cs.CC) |
| Replaces: | marXiv:2609.00004 |
| Submitted: | Thu, 10 Sep 2026 10:11 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2609.00004 |
Related work
- marXiv:2609.00003
- Extends the 36,591,123,006-Toffoli result with verified arithmetic reductions to 18,467,700,570 at the same 833-qubit allocation and one-run recovery guarantee.
Event log
| Thu, 10 Sep 2026 15:11:23 UTC | submitted | |
| Thu, 10 Sep 2026 15:11:23 UTC | review started | |
| Thu, 10 Sep 2026 15:13:14 UTC | accepted |
Review
Decision: accept Accept. ## Remarks No remarks.