Skip to main content

app_params_with_100_bits_security

openvm_stark_sdk::config

Function app_params_with_100_bits_security 

Source 
pub fn app_params_with_100_bits_security(
    log_stacked_height: usize,
) -> SystemParams
Expand description

Returns SystemParams targeting 100 bits of proven RBR security for App VM circuits.

§Assumptions for 100-bit security

  • Max trace height: log_stacked_height ≤ MAX_APP_LOG_STACKED_HEIGHT (24)
  • Max constraints per AIR: ≤ 5,000
  • Num AIRs: ≤ 100
  • Max interactions per AIR: ≤ 1,000
  • Num trace columns (unstacked, total across all AIRs): ≤ 30,000
  • w_stack = 2,048, bounding total stacked cells to w_stack × 2^(n_stack + l_skip)