Skip to main content

internal_params_with_100_bits_security

Function internal_params_with_100_bits_security 

Source
pub fn internal_params_with_100_bits_security() -> SystemParams
Expand description

Returns SystemParams targeting 100 bits of proven RBR security for internal aggregation circuits.

§Assumptions for 100-bit security

  • Max trace height: ≤ 2^19
  • Max constraints per AIR: ≤ 1,000
  • Num AIRs: ≤ 50
  • Max interactions per AIR: ≤ 100
  • Num trace columns (unstacked, total across all AIRs): ≤ 2,000
  • w_stack = 512, bounding total stacked cells to w_stack × 2^(n_stack + l_skip)

Config: l_skip=2, n_stack=17, log_blowup=3.