Of particular concern is that by manipulating the degree of the

[recmo]

On 2020-06-08 @pvienhage wrote in 18f47a6 “Autogen Bug Fixes to Rust Code (#706)”:

Of particular concern is that by manipulating the degree of the
claimed interpolating polynomial of the modifications modifications can
unchecked in the proof.

    info!("Combine rational expressions");
    let mut combined_constraints = constraints.combine(constraint_coefficients);
    // At this point the constraint's have had degrees assigned which
    // match those where the claim polynomials aren't specified.
    // TODO - This substitution lowers overall security and should be validated.
    // TODO - Of particular concern is that by manipulating the degree of the
    // claimed interpolating polynomial of the modifications modifications can
    // unchecked in the proof.
    combined_constraints = combined_constraints.substitute_claim(&constraints.claim_polynomials);
    constraints.substitute();

    let mut dag = AlgebraicGraph::new(
        &FieldElement::generator(),

From crypto/stark/src/prover.rs:572