Skip to main content

hook_params_with_100_bits_security

Function hook_params_with_100_bits_security 

Source
pub fn hook_params_with_100_bits_security() -> SystemParams
Expand description

Returns SystemParams targeting 100 bits of proven RBR security for deferral hook circuits.

§Assumptions for 100-bit security

  • Max trace height: ≤ 2^20
  • 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 = 80, bounding total stacked cells to w_stack × 2^(n_stack + l_skip)

Config: l_skip=2, n_stack=18, log_blowup=2.