Skip to main content

print_soundness_report

Function print_soundness_report 

Source
pub fn print_soundness_report(
    params: &SystemParams,
    base_field_order: f64,
    challenge_field_bits: f64,
    max_num_constraints_per_air: usize,
    num_airs: usize,
    max_constraint_degree: usize,
    max_log_trace_height: usize,
    num_trace_columns: usize,
    num_stacked_columns: usize,
    n_logup: usize,
    proximity_regime: ProximityRegime,
)
Expand description

Prints a detailed soundness report to stdout.