pub const LDT_LABEL: &str = "low-degree-test";Expand description
Label for the low-degree test, reported as one already-composed bound.
ยงAsymmetry with the conjectured path
The proven path reports one label here.
The conjectured path reports LDT_QUERY_LABEL and LDT_COMMIT_LABEL separately.
A consumer diffing the two sees different label sets for the same protocol phases.
That is deliberate.
The proven error is already a minimum by the time the composite sees it.
The regime search, crate::fri::best_ldr_m, picks the proximity parameter that maximises the weaker phase.
Splitting the label would force that search to carry both phases through.
It would then be optimising something else.
The conjectured path runs no such search, so nothing forces its phases together.