Computational Complexity

Authors and titles for September 2026

Total of 4 entries. ‹ previous month

[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)

[2] 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)

[3] 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)

[4] 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)