Module `MP.Perm`

module PP : sig ... end

val z_name : string

val zg_name : string

val srs_size : zero_knowledge:bool -> n:int -> int

val polynomials_degree : nb_wires:int -> int

val preprocessing : 
  ?circuit_name:string ->
  domain:PP.PC.Polynomial.Domain.t ->
  permutation:int array ->
  nb_wires:int ->
  unit ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

val common_preprocessing : 
  compute_l1:bool ->
  domain:PP.PC.Polynomial.Domain.t ->
  nb_wires:int ->
  domain_evals:PP.Evaluations.domain ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t * PP.Evaluations.t Plonk.SMap.t

val prover_identities : 
  ?circuit_name:string ->
  wire_names:string list ->
  generator:PP.PC.Scalar.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  n:int ->
  unit ->
  PP.prover_identities

val verifier_identities : 
  ?circuit_name:string ->
  nb_proofs:int ->
  generator:PP.PC.Scalar.t ->
  n:int ->
  wire_names:string list ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  delta:PP.PC.Scalar.t ->
  unit ->
  PP.verifier_identities

val f_map_contribution : 
  permutation:int array ->
  values:PP.Evaluations.t ->
  indices:int array Plonk.SMap.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  domain:PP.PC.Polynomial.Domain.t ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

val cs : 
  sum_alpha_i:
    (Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr list ->
      Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
      Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr
        Plonk__Permutation_gate.L.t) ->
  l1:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  ss1:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  ss2:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  ss3:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  beta:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  gamma:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  delta:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  x:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  z:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  zg:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  wires:
    Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr list list ->
  (Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr
   * Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr)
    Plonk__Permutation_gate.L.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/MP/Perm/index.html

Module `MP.Perm`

package tezos-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/MP/Perm/index.html

Module MP.Perm

Module `MP.Perm`