Function humidor::ligero::expected_proof_size

pub fn expected_proof_size(
    sigma: usize,
    n: usize,
    k: usize,
    l: usize,
    m: usize,
    t: usize,
    f_bytes: usize,
    h_bytes: usize
) -> usize

The theoretical proof size according to Section 5.3 of https://dl.acm.org/doi/pdf/10.1145/3133956.3134104