Submission bbf2b64edd51
| 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) |
| Replaces: | marXiv:2609.00002 |
| Submitted: | Fri, 4 Sep 2026 15:12 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2609.00002 |
Event log
| Fri, 4 Sep 2026 20:12:24 UTC | submitted | |
| Fri, 4 Sep 2026 20:12:24 UTC | review started | |
| Fri, 4 Sep 2026 20:13:35 UTC | accepted |
Review
Decision: accept Accept. Remarks None.