package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val q_label : string
val blinds : int array SMap.t
val identity : string * int
val equations : q:PP.PC.Scalar.t -> a:PP.PC.Scalar.t -> b:PP.PC.Scalar.t -> c:PP.PC.Scalar.t -> ag:PP.PC.Scalar.t -> bg:PP.PC.Scalar.t -> cg:PP.PC.Scalar.t -> ?table:PP.PC.Scalar.t array array -> unit -> PP.PC.Scalar.t list
val prover_query : prefix:string -> public_inputs:PP.PC.Scalar.t array -> domain:PP.PC.Polynomial.Domain.t -> evaluations:Evaluations.t SMap.t -> PP.prover_query
val verifier_query : prefix:string -> generator:PP.PC.Scalar.t -> size_domain:int -> PP.verifier_query
val polynomials_degree : int SMap.t
OCaml

Innovation. Community. Security.