Module Pickles.Common

val wrap_domains : proofs_verified:int -> Pickles_base.Domains.Stable.V2.t
val actual_wrap_domain_size : log_2_domain_size:int -> Pickles_base.Proofs_verified.t
val when_profiling : 'a -> 'a -> 'a

when_profiling profiling default returns profiling when environment variable PICKLES_PROFILING is set to anything else than 0 or false, default otherwise.

TODO: This function should use labels to avoid mistakenly interverting profiling and default cases.

val time : string -> ( unit -> 'a ) -> 'a

time label f times function f and prints the measured time to stdout prepended with label, when profiling is set (see when_profiling).

Otherwise, it just runs f.

val max_quot_size_int : int -> int
val tick_shifts : log2_size:int -> Pasta_bindings.Fp.t array
val tock_shifts : log2_size:int -> Pasta_bindings.Fq.t array
val group_map : (module Group_map.Field_intf.S_unchecked with type t = 'a) -> a:'a -> b:'a -> ( 'a -> 'a * 'a ) Core_kernel.Staged.t
val bits_to_bytes : bool list -> string
val finite_exn : 'a Kimchi_types.or_infinity -> 'a * 'a

finite_exn v returns (a, b) when v is Finite(a,b), Invalid_argument otherwise.

val ft_comm : add:( 'a -> 'a -> 'a ) -> scale:( 'a -> 'b -> 'a ) -> endoscale:( 'a -> 'c -> 'a ) -> negate:( 'a -> 'a ) -> verification_key:'a Pickles_types.Plonk_verification_key_evals.t -> alpha:'c -> plonk: ( 'd, 'e, 'b, 'f ) Composition_types.Wrap.Proof_state.Deferred_values.Plonk.In_circuit.t -> t_comm:'a array -> 'a
val dlog_pcs_batch : ('total Pickles_types.Nat.t * ( 'proofs_verified, Pickles_types.Nat.N41.n, 'total ) Pickles_types.Nat.Adds.t) -> ( 'a, 'total, Pickles_types.Nat.z ) Pickles_types.Pcs_batch.t
module Max_degree : sig ... end
module Shifts : sig ... end
module Lookup_parameters : sig ... end
module Ipa : sig ... end