pub fn internal_params_with_100_bits_security() -> SystemParamsExpand 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 tow_stack × 2^(n_stack + l_skip)
Config: l_skip=2, n_stack=17, log_blowup=3.