package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (1)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/octez-plonk.plonk-test/Plonk_test/Helpers/index.html

Module `Plonk_test.Helpers`Source

Sourceval with_seed : (unit -> unit) -> unit

Sourceval output_buffer : out_channel ref

Sourceval with_output_to_file : (unit -> unit) -> unit

Sourceval set_seed : int -> unit

Source

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

Source

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)

Source

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

Source

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

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

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

Sourceval string_of_bytes : float -> string

Sourceval hash_of_repr : 'a Repr.t -> 'a -> string

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

Sourcemodule Time : sig ... end

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

Sourcemodule Plompiler_Helpers : sig ... end

include module type of struct include Plompiler_Helpers end

Sourcemodule CS = Plompiler_Helpers.CS

Sourcetype test_info = Plompiler_Helpers.test_info = {

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

}

Sourcemodule type Test = Plompiler_Helpers.Test

Source

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

Sourcemodule Utils = Plompiler_Helpers.Utils

package octez-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-plonk.plonk-test/Plonk_test/Helpers/index.html

Module Plonk_test.HelpersSource

Module `Plonk_test.Helpers`Source