Constant hotshot_types::constants::SRS_DEGREE

source ·
pub const SRS_DEGREE: usize = _; // 1_048_578usize
Expand description

For STAKE_TABLE_CAPACITY=200, the light client prover (a.k.a. hotshot-state-prover) would need to generate proof for a circuit of slightly below 2^20 gates. Thus we need to support this upperbounded degree in our Structured Reference String (SRS), the +2 is just an artifact from the jellyfish’s Plonk proof system.