Module Side_loaded_verification_key.Poly

module Stable : sig ... end
type ('g, 'proofs_verified, 'vk) t = ( 'g, 'proofs_verified, 'vk ) Stable.Latest.t = {
max_proofs_verified : 'proofs_verified;
actual_wrap_domain_size : 'proofs_verified;
wrap_index : 'g Pickles_types.Plonk_verification_key_evals.t;
wrap_vk : 'vk option;
}
val hash_fold_t : ( Ppx_hash_lib.Std.Hash.state -> 'g -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'proofs_verified -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'vk -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> ( 'g, 'proofs_verified, 'vk ) t -> Ppx_hash_lib.Std.Hash.state