Constant-time review › sign-14
Constant-time review — 14 Lynxer
Scope: reference implementation, representative instance only: Implementations/Reference_Implementation/Lynxer-512f/SIG_AlgorithmInstance.c. Other instances and optimized implementations have not been proven source-equivalent. This is a source-level triage, not a constant-time certification.
Secret: witness/secret key and per-proof random tapes until revealed. Public: verification key, message, Fiat–Shamir challenge and opened transcript.
- Branch/loop trace:
Implementations/Reference_Implementation/Lynxer-512f/SIG_AlgorithmInstance.c:71— The wrapper validates a public secret-key length; this is not secret-value leakage. The hidden witness is processed in deeper source files. - Table lookups and division/remainder: this source triage does not certify their absence or constant-time compilation. Only the explicitly traced operands above are classified. Public lengths, fixed parameters and verifier checks are not findings.
Assessment: No new vulnerability report is promoted from this representative source triage. A compiler/architecture-specific timing and cache test is still needed before claiming constant-time behavior or exploitable leakage.
Recheck the cited source line and its caller before reusing this result. A timing claim requires controlled same-public-input tests with changed secret state and a public-value control.