openvm_sdk/
util.rs

1use std::cmp::Ordering;
2
3use openvm_circuit::arch::SystemConfig;
4use openvm_stark_sdk::config::FriParameters;
5
6pub fn check_max_constraint_degrees(config: &SystemConfig, fri_params: &FriParameters) {
7    match config
8        .max_constraint_degree
9        .cmp(&fri_params.max_constraint_degree())
10    {
11        Ordering::Greater => {
12            tracing::warn!(
13                "config.max_constraint_degree ({}) > fri_params.max_constraint_degree() ({})",
14                config.max_constraint_degree,
15                fri_params.max_constraint_degree()
16            );
17        }
18        Ordering::Less => {
19            tracing::info!(
20                "config.max_constraint_degree ({}) < fri_params.max_constraint_degree() ({})",
21                config.max_constraint_degree,
22                fri_params.max_constraint_degree()
23            );
24        }
25        Ordering::Equal => {}
26    }
27}