package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Gates : sig ... end
module Perm : sig ... end
module RC : sig ... end
module S = Plompiler.S
type circuit_inputs = {
  1. switches : bool Plompiler.LibCircuit.Input.input list;
  2. compressed_switches : scalar_input;
  3. alpha : scalar_input;
  4. beta : scalar_input;
  5. gamma : scalar_input;
  6. delta : scalar_input;
  7. x : scalar_input;
  8. r : scalar_input;
  9. ss_list : scalar_input list;
  10. selectors : (string * scalar_input) list;
  11. ids_batch : scalar_input;
  12. wires_g : scalar_input list list;
  13. wires : scalar_input list list;
  14. zg : scalar_input;
  15. z : scalar_input;
  16. batch : scalar_input list;
  17. inner_pi : scalar_input list list;
  18. outer_pi : scalar_input list;
  19. rc_selectors : scalar_input list;
  20. zg_rc_perm : scalar_input list;
  21. z_rc_perm : scalar_input list;
}
val nb_batches_default : int
val nb_batches : Plonk.Circuit.t -> int
val dummy_input : 'a Kzg.SMap.t -> string list -> int -> int -> int -> int -> circuit_inputs
module Constraints : sig ... end
val verify_batch : Kzg.Bls.Scalar.t -> Kzg.Bls.Scalar.t Kzg.SMap.t list -> (Kzg.Bls.Scalar.t * int) Kzg.SMap.t list Kzg.SMap.t -> Kzg.Bls.Scalar.t list -> bool
val aggreg_public_inputs : int -> ('a * 'a * 'a * 'a * 'a * 'a) -> ('a * 'b) Kzg.SMap.t list -> 'a -> 'a -> 'a list -> 'a array
val compute_switches : int -> int -> S.t array * S.t
val map_end : ('a -> 'a) -> 'a list -> 'a list
val pad_answers : int -> int -> int -> S.t Kzg.SMap.t Kzg.SMap.t list -> S.t list
val pad_inputs : int -> int -> S.t list list -> S.t Kzg.SMap.t Kzg.SMap.t list -> S.t list * S.t list
val get_witness : int -> int -> Aggregation__Main_protocol.Make_impl(Distributed_plonk__Distributed_prover.Main_Pack.PP).prover_aux -> Kzg.SMap.key -> int -> Plompiler.Solver.t -> (S.t list list * Kzg.Bls.Scalar.t list) -> S.t array -> Kzg.Bls.Scalar.t -> (Kzg.Bls.Scalar.t * 'a) Kzg.SMap.t list -> Plompiler.Csir.Scalar.t array
val get_batches : 'a Kzg.SMap.t -> Kzg.Bls.Scalar.t Kzg__SMap.t Kzg__SMap.t list -> Kzg.Bls.Scalar.t -> (Kzg.Bls.Scalar.t * int) Kzg.SMap.t list Kzg.SMap.t
val get_cs_verification : Plonk__Main_protocol.Make_impl(Distributed_plonk__Distributed_prover.Main_Pack.PP).Prover.public_parameters -> Plonk.Circuit.t -> int -> int -> (int * int) -> (switches:bool Plompiler.LibCircuit.Bool.repr list -> outer:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> inner: Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list -> bool Plompiler.LibCircuit.Bool.repr Plompiler.LibCircuit.t) -> Plompiler.LibCircuit.cs_result
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct