Computational Complexity

Authors and titles for recent submissions

Total of 6 entries. See today's new changes

Sat, 19 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00013 (cross-list from cs.LO) [pdf]

Title: An 833-Qubit secp256k1 Discrete-Logarithm Algorithm with Machine-Checked Correctness and Resource Bounds

Authors: Jamie Stephens

Comments: 17 pages. Author and affiliation corrected.

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Thu, 10 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00004 (cross-list from cs.LO) [pdf]

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)

Wed, 9 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00003 (cross-list from cs.LO) [pdf]

Title: Toffoli Reductions and Single-Run Recovery for an 833-Qubit secp256k1 ECDLP Program

Authors: Jamie Stephens

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Fri, 4 Sep 2026 (showing 1 of 1 entries)

[1] marXiv:2609.00002 (cross-list from cs.LO) [pdf]

Title: Windowed Euclidean Arithmetic in an 833-Qubit secp256k1 ECDLP Program

Authors: Jamie Stephens

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Mon, 31 Aug 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00055 (cross-list from cs.LO) [pdf]

Title: Verification and Repair of a Space-Efficient Quantum ECDLP Construction

Authors: Jamie Stephens

Comments: 9 pages, 4 tables

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Sun, 30 Aug 2026 (showing 1 of 1 entries)

[1] marXiv:2608.00044 [pdf]

Title: A Formal, Statistical, and Source Audit of Schrottenloher's Optimized Point-Addition Circuits for Elliptic-Curve Discrete Logarithms

Authors: Jamie Stephens

Comments: 25 pages

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)