octez-plonk 17.3 (latest) · OCaml Package

module Public_parameters : sig ... end

module Commitment : sig ... end

type secret = Commitment.secret

type query = Plonk.Bls.Scalar.t SMap.t

val query_t : Plonk.Bls.Scalar.t SMap.t Repr.ty

type answer = Plonk.Bls.Scalar.t SMap.t SMap.t

val answer_t : Plonk.Bls.Scalar.t SMap.t SMap.t Repr.ty

type transcript = Stdlib.Bytes.t

val pippenger : 
  ?start:int ->
  ?len:int ->
  Bls.G1.t array ->
  Plonk.Bls.G1.Scalar.t array ->
  Bls.G1.t

type proof = Bls.G1.t SMap.t

val proof_t : Bls.G1.t SMap.t Repr.ty

val compute_Ws : 
  Public_parameters.prover ->
  Plonk.Bls.Poly.t SMap.t ->
  Plonk.Bls.Poly.scalar SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Bls.G1.t SMap.t

val verifier_check : 
  Public_parameters.verifier ->
  Bls.G1.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Bls.G1.t SMap.t ->
  bool

val sample_ys : 
  Stdlib.Bytes.t ->
  'a SMap.t ->
  Plonk.Bls.Scalar.t SMap.t * Stdlib.Bytes.t

val batch_answer : 
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t * Plonk.Bls.Scalar.t SMap.t SMap.t

val batch_polys : 
  Plonk.Bls.Poly.scalar SMap.t SMap.t ->
  Plonk.Bls.Poly.t SMap.t ->
  Plonk.Bls.Poly.t SMap.t

val prove_single : 
  Public_parameters.prover ->
  Stdlib.Bytes.t ->
  Plonk.Bls.Poly.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Bls.G1.t SMap.t * bytes

val verify_single : 
  Public_parameters.verifier ->
  Stdlib.Bytes.t ->
  Bls.G1.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Bls.G1.t SMap.t ->
  bool * bytes

val group_secrets : secret list -> secret

val group_cmts : Commitment.t list -> Commitment.t

val group_queries : query list -> query

val group_answers : answer list -> answer

val evaluate : Plonk.Bls.Poly.t SMap.t -> query -> answer

val prove : 
  Public_parameters.prover ->
  bytes ->
  secret list ->
  'a ->
  query list ->
  answer list ->
  Bls.G1.t SMap.t * bytes

val verify : 
  Public_parameters.verifier ->
  bytes ->
  Commitment.t list ->
  query list ->
  answer list ->
  Bls.G1.t SMap.t ->
  bool * bytes

package octez-plonk