package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 -> 'a -> 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
type test_info = Plompiler_Helpers.test_info = {
  1. valid : bool;
  2. name : string;
  3. flamegraph : bool;
}
module type Test = Plompiler_Helpers.Test
val to_test : ?plonk:(module Plonk.Main_protocol.S) -> ?optimize:bool -> (module Test) -> unit -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct