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.