package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val with_seed : (unit -> unit) -> unit

val output_buffer : Stdlib.out_channel Stdlib.ref

val with_output_to_file : (unit -> unit) -> unit

val set_seed : int -> unit

val bigstring_of_file : 
  string ->
  hash:string ->
  (char, Stdlib.Bigarray.int8_unsigned_elt, Stdlib.Bigarray.c_layout)
    Stdlib.Bigarray.Array1.t

val load_real_srs : 
  string ->
  (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g1.t
   * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g2.t)
  * (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g1.t
     * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g2.t)

val make_fake_srs : 
  unit ->
  Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
  * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t

val srs : 
  Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
  * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t

val repeat : int -> (unit -> 'a) -> unit

val must_fail : (unit -> 'a) -> unit

val string_of_bytes : float -> string

val hash_of_repr : 'a Repr.t -> 'b -> string

val get_input_com_secrets : 'a array -> int list -> 'a array list

module Time : sig ... end

module Make (Main : Plonk.Main_protocol.S) : sig ... end

module Plompiler_Helpers : sig ... end

include module type of struct include Plompiler_Helpers end

module CS = Plompiler_Helpers.CS

type test_info = Plompiler_Helpers.test_info = {

valid : bool;
name : string;
flamegraph : bool;

}

module type Test = Plompiler_Helpers.Test

val to_test : 
  ?plonk:(module Plonk.Main_protocol.S) ->
  ?optimize:bool ->
  (module Test) ->
  unit ->
  unit

module Utils = Plompiler_Helpers.Utils