Module Kimchi_types.VerifierIndex

module Lookup : sig ... end
type nonrec 'fr domain = {
log_size_of_group : int;
group_gen : 'fr;
}
type nonrec 'poly_comm verification_evals = {
sigma_comm : 'poly_comm array;
coefficients_comm : 'poly_comm array;
generic_comm : 'poly_comm;
psm_comm : 'poly_comm;
complete_add_comm : 'poly_comm;
mul_comm : 'poly_comm;
emul_comm : 'poly_comm;
endomul_scalar_comm : 'poly_comm;
chacha_comm : 'poly_comm array option;
}
type nonrec ('fr, 'srs, 'poly_comm) verifier_index = {
domain : 'fr domain;
max_poly_size : int;
max_quot_size : int;
public : int;
prev_challenges : int;
srs : 'srs;
evals : 'poly_comm verification_evals;
shifts : 'fr array;
lookup_index : 'poly_comm Lookup.t option;
}