pil2-stark-setup 1.1.0-alpha

Setup and proving/verifying-key generation for the pil2-stark prover
1
2
3
4
5
6
7
pub mod regimes;
pub mod pcs;

pub fn goldilocks_safe_extension_field_size() -> f64 {
    let p = ((1u128 << 64) - (1 << 32) + 1) as f64;
    p * p * p
}