package octez-libs

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file plonk.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
(* generated by dune *)

(** @canonical Plonk.Arithmetic_gates *)
module Arithmetic_gates = Plonk__Arithmetic_gates

(** @canonical Plonk.Boolean_gates *)
module Boolean_gates = Plonk__Boolean_gates

(** @canonical Plonk.Circuit *)
module Circuit = Plonk__Circuit

(** @canonical Plonk.Cq *)
module Cq = Plonk__Cq

(** @canonical Plonk.Custom_gates *)
module Custom_gates = Plonk__Custom_gates

(** @canonical Plonk.Ecc_gates *)
module Ecc_gates = Plonk__Ecc_gates

(** @canonical Plonk.Evaluations_map *)
module Evaluations_map = Plonk__Evaluations_map

(** @canonical Plonk.Gates_common *)
module Gates_common = Plonk__Gates_common

(** @canonical Plonk.Hash_gates *)
module Hash_gates = Plonk__Hash_gates

(** @canonical Plonk.Identities *)
module Identities = Plonk__Identities

(** @canonical Plonk.Input_commitment *)
module Input_commitment = Plonk__Input_commitment

(** @canonical Plonk.List *)
module List = Plonk__List

(** @canonical Plonk.Main_protocol *)
module Main_protocol = Plonk__Main_protocol

(** @canonical Plonk.Main_protocol_intf *)
module Main_protocol_intf = Plonk__Main_protocol_intf

(** @canonical Plonk.Mod_arith_gates *)
module Mod_arith_gates = Plonk__Mod_arith_gates

(** @canonical Plonk.Permutation_gate *)
module Permutation_gate = Plonk__Permutation_gate

(** @canonical Plonk.Plookup_gate *)
module Plookup_gate = Plonk__Plookup_gate

(** @canonical Plonk.Polynomial_protocol *)
module Polynomial_protocol = Plonk__Polynomial_protocol

(** @canonical Plonk.Range_check_gate *)
module Range_check_gate = Plonk__Range_check_gate
OCaml

Innovation. Community. Security.