Source file plompiler__.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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
(** @canonical Plompiler.Affine_curve_intf *)
module Affine_curve_intf = Plompiler__Affine_curve_intf
(** @canonical Plompiler.Ark_128 *)
module Ark_128 = Plompiler__Ark_128
(** @canonical Plompiler.Ark_252 *)
module Ark_252 = Plompiler__Ark_252
(** @canonical Plompiler.Ark_full *)
module Ark_full = Plompiler__Ark_full
(** @canonical Plompiler.Bounded *)
module Bounded = Plompiler__Bounded
(** @canonical Plompiler.Circuit *)
module Circuit = Plompiler__Circuit
(** @canonical Plompiler.Csir *)
module Csir = Plompiler__Csir
(** @canonical Plompiler.Gadget_anemoi *)
module Gadget_anemoi = Plompiler__Gadget_anemoi
(** @canonical Plompiler.Gadget_blake2s *)
module Gadget_blake2s = Plompiler__Gadget_blake2s
(** @canonical Plompiler.Gadget_ed25519 *)
module Gadget_ed25519 = Plompiler__Gadget_ed25519
(** @canonical Plompiler.Gadget_edwards *)
module Gadget_edwards = Plompiler__Gadget_edwards
(** @canonical Plompiler.Gadget_edwards25519 *)
module Gadget_edwards25519 = Plompiler__Gadget_edwards25519
(** @canonical Plompiler.Gadget_merkle *)
module Gadget_merkle = Plompiler__Gadget_merkle
(** @canonical Plompiler.Gadget_merkle_narity *)
module Gadget_merkle_narity = Plompiler__Gadget_merkle_narity
(** @canonical Plompiler.Gadget_mod_arith *)
module Gadget_mod_arith = Plompiler__Gadget_mod_arith
(** @canonical Plompiler.Gadget_poseidon *)
module Gadget_poseidon = Plompiler__Gadget_poseidon
(** @canonical Plompiler.Gadget_schnorr *)
module Gadget_schnorr = Plompiler__Gadget_schnorr
(** @canonical Plompiler.Gadget_sha2 *)
module Gadget_sha2 = Plompiler__Gadget_sha2
(** @canonical Plompiler.Gadget_weierstrass *)
module Gadget_weierstrass = Plompiler__Gadget_weierstrass
(** @canonical Plompiler.Hash_sig *)
module Hash_sig = Plompiler__Hash_sig
(** @canonical Plompiler.Lang_core *)
module Lang_core = Plompiler__Lang_core
(** @canonical Plompiler.Lang_stdlib *)
module Lang_stdlib = Plompiler__Lang_stdlib
(** @canonical Plompiler.Linear_algebra *)
module Linear_algebra = Plompiler__Linear_algebra
(** @canonical Plompiler.Mds_128 *)
module Mds_128 = Plompiler__Mds_128
(** @canonical Plompiler.Mds_252 *)
module Mds_252 = Plompiler__Mds_252
(** @canonical Plompiler.Mds_full *)
module Mds_full = Plompiler__Mds_full
(** @canonical Plompiler.Optimizer *)
module Optimizer = Plompiler__Optimizer
(** @canonical Plompiler.Optimizer_helpers *)
module Optimizer_helpers = Plompiler__Optimizer_helpers
(** @canonical Plompiler.Range_checks *)
module Range_checks = Plompiler__Range_checks
(** @canonical Plompiler.Result *)
module Result = Plompiler__Result
(** @canonical Plompiler.Sha2_variants *)
module Sha2_variants = Plompiler__Sha2_variants
(** @canonical Plompiler.Solver *)
module Solver = Plompiler__Solver
(** @canonical Plompiler.Utils *)
module Utils = Plompiler__Utils