package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.plonk/Plonk/Main_protocol/Make_impl/Plook/index.html

Module Make_impl.PlookSource

module PP : sig ... end
Sourceexception Entry_not_in_table of string
Sourceval srs_size : length_table:int -> int
Sourceval polynomials_degree : unit -> int
Sourceval format_tables : tables:Plonk.Bls.Scalar.t array list list -> nb_columns:int -> length_not_padded:int -> length_padded:int -> Plonk.Bls.Scalar.t array list
Sourceval common_preprocessing : n:int -> domain:Plonk.Bls.Domain.t -> evaluations:Bls.Evaluations.t SMap.t -> Bls.Evaluations.t SMap.t
Sourceval preprocessing : domain:Plonk.Bls.Domain.t -> tables:Plonk.Bls.Scalar.t array list -> alpha:Plonk.Bls.Scalar.t option -> unit -> Plonk.Bls.Poly.t SMap.t
Sourceval prover_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> n:int -> unit -> Identities.prover_identities
Sourceval verifier_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> n:int -> generator:Plonk.Bls.Scalar.t -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> unit -> Identities.verifier_identities
Sourceval f_map_contribution : wires:Bls.Evaluations.t SMap.t -> gates:Plonk.Bls.Scalar.t array SMap.t -> tables:Plonk.Bls.Scalar.t array list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> domain:Plonk.Bls.Domain.t -> PP.PC.secret