openvm_sdk/
util.rs

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