Function leaf_params_with_100_bits_security 

pub fn leaf_params_with_100_bits_security() -> SystemParams

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

Assumptions for 100-bit security

• Max trace height: ≤ 2^21
• Max constraints per AIR: ≤ 1,000
• Num AIRs: ≤ 50
• Max interactions per AIR: ≤ 100 (maximum number of interactions in a single AIR for a single row)
• Num trace columns (unstacked, total across all AIRs): ≤ 2,000
• w_stack = 2,048, bounding total stacked cells to w_stack × 2^(n_stack + l_skip)

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