jf_relation::constants

Function compute_coset_representatives

Source
pub fn compute_coset_representatives<F: PrimeField>(
    num_wire_types: usize,
    coset_size: Option<usize>,
) -> Vec<F>
Expand description

Compute constants K0, K1, …, K_{num_wire_types-1} so that cosets {Ki * H} are disjoint, each coset |Ki * H| = coset_size. coset_size is optional, when provided, will accelerate constants searching.