Submission f55706f7cc68

Title:	A Formal, Statistical, and Source Audit of Schrottenloher's Optimized Point-Addition Circuits for Elliptic-Curve Discrete Logarithms
Authors:	Jamie Stephens
Subjects:	Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
Replaces:	marXiv:2608.00044
Submitted:	Sun, 30 Aug 2026 08:59
PDF:	submitted PDF
Status:	accepted
Paper:	marXiv:2608.00044

Event log

Sun, 30 Aug 2026 13:59:23 UTC	submitted
Sun, 30 Aug 2026 14:01:14 UTC	review started
Sun, 30 Aug 2026 14:05:16 UTC	accepted

Review

Decision: accept

Accept.

Remarks

- Requirement 9: The abstract uses the paper-specific terms “full-width trace,” “shrinking-field value model,” “reference law,” “fixed multiplier,” “pinned full-window source,” and “audit-inferred map” before defining them. Section 1.1 also uses “unresolved” and “source reconstruction and captured executions” before the definitions that follow.
- Requirement 12, Relevance: Section 1.1 divides the central claim among “The audit verifies component results…,” “Checked witnesses refute…,” “Source reconstruction and captured executions identify…,” and “The Table 1 aggregate failure probability and whole-circuit ECDLP resources remain unresolved.” The manual requires one sentence stating the central claim where the supporting section begins.