snarky/dune-project at master · o1-labs/snarky · GitHub

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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
(lang dune 3.0)
(using menhir 2.0)

(name snarky)
(version 0.1)

(generate_opam_files true)

(license MIT)
(authors "O(1) Labs, LLC <opensource@o1labs.org>")
(maintainers "opensource@o1labs.org")
(source (github o1-labs/snarky))
(homepage "https://github.com/o1labs/snarky")
(bug_reports "https://github.com/o1labs/snarky/issues")

(package
 (name bitstring_lib)
 (synopsis "A helper library for bitstrings in snarky")
 (description "A helper library for bitstrings in snarky")
 (depends
  bisect_ppx
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_jane
  tuple_lib))

(package
 (name fold_lib)
 (synopsis "A library for fold functions")
 (description "A library for fold functions")
 (depends
  (alcotest :with-test)
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_jane))

(package
 (name group_map)
 (synopsis "A library for elliptic curve operations")
 (description "A library for elliptic curve operations")
 (depends
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  snarkette))

(package
 (name h_list)
 (synopsis "A heterogeneous list library")
 (description "A heterogeneous list library")
 (depends
  (base (>= v0.14.3))
  (dune :build)
  (ocaml (>= 4.07.0))
  (ppxlib (>= 0.25.0))))

(package
 (name interval_union)
 (synopsis "A library for interval unions")
 (description "A library for interval unions")
 (depends
  (alcotest :with-test)
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_jane))

(package
 (name ppx_snarky)
 (synopsis "PPX extension for snarky")
 (description "PPX extension for snarky")
 (depends
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppxlib
  ppx_sexp_conv))

(package
 (name snarkette)
 (synopsis "A portable cryptography library")
 (description "A portable cryptography library")
 (depends
  (bisect_ppx :with-test)
  bignum
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  fold_lib
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_deriving_yojson
  ppx_jane
  tuple_lib))

(package
 (name snarky)
 (synopsis "A snarks DSL")
 (description "A snarks DSL")
 (depends
  (alcotest :with-test)
  base64
  bignum
  bitstring_lib
  (bisect_ppx (>= 2.0.0))
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  fold_lib
  h_list
  interval_union
  (ocaml (>= 4.07.0))
  (ppx_deriving (>= 5.0))
  (ppx_jane (>= v0.14))
  ppx_snarky
  tuple_lib
  (yojson (and (>= 1.7.0) (< 1.8.0))))
 (depopts snarky_cuda))

(package
 (name snarky_curve)
 (synopsis "Elliptic curve library for snarky")
 (description "Elliptic curve library for snarky")
 (depends
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
   digestif
  (dune :build)
   group_map
  (ocaml (>= 4.07.0))
   ppx_deriving
   ppx_jane
   snarky))

(package
 (name snarky_integer)
 (synopsis "Integer library for snarky")
 (description "Integer library for snarky")
 (depends
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
   ppx_deriving
   ppx_jane
   snarky))

(package
 (name snarky_signature)
 (synopsis "Signature library for snarky")
 (description "Signature library for snarky")
 (depends
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_jane
  snarky))

(package
 (name sponge)
 (synopsis "Sponge construction for cryptographic hashing")
 (description "Sponge construction for cryptographic hashing")
 (depends
  (alcotest :with-test)
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_jane
  snarky))

(package
 (name tuple_lib)
 (synopsis "A library for working with tuples")
 (description "A library for working with tuples")
 (depends
  (bisect_ppx :with-test)
  (core_kernel (and (>= v0.14) (< v0.15)))
  (dune :build)
  (ocaml (>= 4.07.0))
  ppx_deriving
  ppx_jane))