package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kzg_pack.MakeSource

Parameters

Signature

Sourcemodule Scalar = PC.Scalar
Sourcemodule Polynomial = PC.Polynomial
module Domain = Polynomial.Domain
Sourcemodule Scalar_map = PC.Scalar_map
Sourcemodule Fr_generation = PC.Fr_generation
Sourcetype secret = Poly.t SMap.t
Sourcetype query = Scalar.t SMap.t
Sourcetype answer = Scalar.t SMap.t SMap.t
Sourceval answer_encoding : answer Data_encoding.t
Sourceval bytes_of_query : Bls12_381.Fr.t SMap.t -> Bytes.t
Sourceval bytes_of_answer : answer -> Bytes.t
Sourcetype transcript = Bytes.t
Sourcemodule Public_parameters : sig ... end
Sourcemodule Commitment : sig ... end
Sourcetype proof = {
  1. pc_proof : PC.proof;
  2. packed_values : Pack.packed list;
  3. pack_proof : Pack.proof;
}
Sourceval proof_encoding : proof Data_encoding.t
Sourceval expand_with_proof : bytes -> proof -> bytes
Sourceval expand_with_query : bytes -> Bls12_381.Fr.t SMap.t list -> bytes
Sourceval expand_with_answer : bytes -> answer list -> bytes
Sourceval batch : zero:'a -> add:('a -> 'b -> 'a) -> mul:(Scalar.t -> 'c -> 'b) -> Scalar.t -> 'c SMap.t -> 'a
Sourceval batch_answers : Scalar.t -> Scalar.t SMap.t SMap.t -> Scalar.t SMap.t
Sourceval evaluate : PC.secret -> PC.query -> PC.answer
Sourceval prove : Public_parameters.prover -> bytes -> Poly.t SMap.t list -> Commitment.prover_aux list -> PC.query list -> Scalar.t SMap.t SMap.t list -> proof * bytes
Sourceval verify : Public_parameters.verifier -> bytes -> Pack.commitment list -> PC.query list -> Scalar.t SMap.t SMap.t list -> proof -> bool * bytes