package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type public_parameters = Tezos_protocol_environment_structs.V11.Plonk.verifier_public_parameters
type verifier_inputs = (string * Bls.Primitive.Fr.t array list) list
type proof = Tezos_protocol_environment_structs.V11.Plonk.proof
val public_parameters_encoding : public_parameters Data_encoding.t
val proof_encoding : proof Data_encoding.t
val scalar_encoding : Bls.Primitive.Fr.t Data_encoding.t
val scalar_array_encoding : Bls.Primitive.Fr.t array Data_encoding.t
val verify : public_parameters -> verifier_inputs -> proof -> bool
OCaml

Innovation. Community. Security.