1#![cfg_attr(not(test), no_std)]
2#[macro_use]
3extern crate alloc;
4
5pub mod consts;
6pub mod dtypes;
7pub mod enums;
8pub mod kzg_proof;
9pub mod pairings;
10pub mod trusted_setup;
11
12pub use consts::*;
13pub use dtypes::*;
14pub use kzg_proof::KzgProof;
15pub use pairings::pairings_verify;
16pub use trusted_setup::*;
17
18pub use enums::KzgError;
19
20#[cfg(test)]
21mod test_files {
22 pub const VERIFY_KZG_PROOF_TESTS: [(&str, &str); 122] = [
24 (
25 "verify_kzg_proof_case_correct_proof_02e696ada7d4631d",
26 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_02e696ada7d4631d/data.yaml"),
27 ),
28 (
29 "verify_kzg_proof_case_correct_proof_05c1f3685f3393f0",
30 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_05c1f3685f3393f0/data.yaml"),
31 ),
32 (
33 "verify_kzg_proof_case_correct_proof_08f9e2f1cb3d39db",
34 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_08f9e2f1cb3d39db/data.yaml"),
35 ),
36 (
37 "verify_kzg_proof_case_correct_proof_0cf79b17cb5f4ea2",
38 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_0cf79b17cb5f4ea2/data.yaml"),
39 ),
40 (
41 "verify_kzg_proof_case_correct_proof_177b58dc7a46b08f",
42 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_177b58dc7a46b08f/data.yaml"),
43 ),
44 (
45 "verify_kzg_proof_case_correct_proof_1ce8e4f69d5df899",
46 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_1ce8e4f69d5df899/data.yaml"),
47 ),
48 (
49 "verify_kzg_proof_case_correct_proof_26b753dec0560daa",
50 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_26b753dec0560daa/data.yaml"),
51 ),
52 (
53 "verify_kzg_proof_case_correct_proof_2b76dc9e3abf42f3",
54 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_2b76dc9e3abf42f3/data.yaml"),
55 ),
56 (
57 "verify_kzg_proof_case_correct_proof_31ebd010e6098750",
58 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_31ebd010e6098750/data.yaml"),
59 ),
60 (
61 "verify_kzg_proof_case_correct_proof_3208425794224c3f",
62 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_3208425794224c3f/data.yaml"),
63 ),
64 (
65 "verify_kzg_proof_case_correct_proof_36817bfd67de97a8",
66 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_36817bfd67de97a8/data.yaml"),
67 ),
68 (
69 "verify_kzg_proof_case_correct_proof_392169c16a2e5ef6",
70 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_392169c16a2e5ef6/data.yaml"),
71 ),
72 (
73 "verify_kzg_proof_case_correct_proof_395cf6d697d1a743",
74 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_395cf6d697d1a743/data.yaml"),
75 ),
76 (
77 "verify_kzg_proof_case_correct_proof_3ac8dc31e9aa6a70",
78 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_3ac8dc31e9aa6a70/data.yaml"),
79 ),
80 (
81 "verify_kzg_proof_case_correct_proof_3c1e8b38219e3e12",
82 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_3c1e8b38219e3e12/data.yaml"),
83 ),
84 (
85 "verify_kzg_proof_case_correct_proof_3c87ec986c2656c2",
86 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_3c87ec986c2656c2/data.yaml"),
87 ),
88 (
89 "verify_kzg_proof_case_correct_proof_3cd183d0bab85fb7",
90 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_3cd183d0bab85fb7/data.yaml"),
91 ),
92 (
93 "verify_kzg_proof_case_correct_proof_420f2a187ce77035",
94 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_420f2a187ce77035/data.yaml"),
95 ),
96 (
97 "verify_kzg_proof_case_correct_proof_444b73ff54a19b44",
98 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_444b73ff54a19b44/data.yaml"),
99 ),
100 (
101 "verify_kzg_proof_case_correct_proof_53a9bdf4f75196da",
102 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_53a9bdf4f75196da/data.yaml"),
103 ),
104 (
105 "verify_kzg_proof_case_correct_proof_585454b31673dd62",
106 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_585454b31673dd62/data.yaml"),
107 ),
108 (
109 "verify_kzg_proof_case_correct_proof_7db4f140a955dd1a",
110 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_7db4f140a955dd1a/data.yaml"),
111 ),
112 (
113 "verify_kzg_proof_case_correct_proof_83e53423a2dd93fe",
114 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_83e53423a2dd93fe/data.yaml"),
115 ),
116 (
117 "verify_kzg_proof_case_correct_proof_9b24f8997145435c",
118 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_9b24f8997145435c/data.yaml"),
119 ),
120 (
121 "verify_kzg_proof_case_correct_proof_9b754afb690c47e1",
122 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_9b754afb690c47e1/data.yaml"),
123 ),
124 (
125 "verify_kzg_proof_case_correct_proof_a0be66af9a97ea52",
126 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_a0be66af9a97ea52/data.yaml"),
127 ),
128 (
129 "verify_kzg_proof_case_correct_proof_af669445747d2585",
130 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_af669445747d2585/data.yaml"),
131 ),
132 (
133 "verify_kzg_proof_case_correct_proof_af8b75f664ed7d43",
134 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_af8b75f664ed7d43/data.yaml"),
135 ),
136 (
137 "verify_kzg_proof_case_correct_proof_b6cb6698327d9835",
138 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_b6cb6698327d9835/data.yaml"),
139 ),
140 (
141 "verify_kzg_proof_case_correct_proof_b6ec3736f9ff2c62",
142 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_b6ec3736f9ff2c62/data.yaml"),
143 ),
144 (
145 "verify_kzg_proof_case_correct_proof_becf2e1641bbd4e6",
146 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_becf2e1641bbd4e6/data.yaml"),
147 ),
148 (
149 "verify_kzg_proof_case_correct_proof_c3d4322ec17fe7cd",
150 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_c3d4322ec17fe7cd/data.yaml"),
151 ),
152 (
153 "verify_kzg_proof_case_correct_proof_c5e1490d672d026d",
154 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_c5e1490d672d026d/data.yaml"),
155 ),
156 (
157 "verify_kzg_proof_case_correct_proof_cae5d3491190b777",
158 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_cae5d3491190b777/data.yaml"),
159 ),
160 (
161 "verify_kzg_proof_case_correct_proof_d0992bc0387790a4",
162 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_d0992bc0387790a4/data.yaml"),
163 ),
164 (
165 "verify_kzg_proof_case_correct_proof_d736268229bd87ec",
166 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_d736268229bd87ec/data.yaml"),
167 ),
168 (
169 "verify_kzg_proof_case_correct_proof_e68d7111a2364a49",
170 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_e68d7111a2364a49/data.yaml"),
171 ),
172 (
173 "verify_kzg_proof_case_correct_proof_ed6b180ec759bcf6",
174 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_ed6b180ec759bcf6/data.yaml"),
175 ),
176 (
177 "verify_kzg_proof_case_correct_proof_f0ed3dc11cdeb130",
178 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_f0ed3dc11cdeb130/data.yaml"),
179 ),
180 (
181 "verify_kzg_proof_case_correct_proof_f47eb9fc139f6bfd",
182 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_f47eb9fc139f6bfd/data.yaml"),
183 ),
184 (
185 "verify_kzg_proof_case_correct_proof_f7f44e1e864aa967",
186 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_f7f44e1e864aa967/data.yaml"),
187 ),
188 (
189 "verify_kzg_proof_case_correct_proof_ffa6e97b97146517",
190 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_ffa6e97b97146517/data.yaml"),
191 ),
192 (
193 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_05c1f3685f3393f0",
194 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_05c1f3685f3393f0/data.yaml"),
195 ),
196 (
197 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_177b58dc7a46b08f",
198 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_177b58dc7a46b08f/data.yaml"),
199 ),
200 (
201 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_2b76dc9e3abf42f3",
202 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_2b76dc9e3abf42f3/data.yaml"),
203 ),
204 (
205 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_395cf6d697d1a743",
206 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_395cf6d697d1a743/data.yaml"),
207 ),
208 (
209 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_585454b31673dd62",
210 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_585454b31673dd62/data.yaml"),
211 ),
212 (
213 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_a0be66af9a97ea52",
214 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly_a0be66af9a97ea52/data.yaml"),
215 ),
216 (
217 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_02e696ada7d4631d",
218 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_02e696ada7d4631d/data.yaml"),
219 ),
220 (
221 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_0cf79b17cb5f4ea2",
222 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_0cf79b17cb5f4ea2/data.yaml"),
223 ),
224 (
225 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3208425794224c3f",
226 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3208425794224c3f/data.yaml"),
227 ),
228 (
229 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3ac8dc31e9aa6a70",
230 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_3ac8dc31e9aa6a70/data.yaml"),
231 ),
232 (
233 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_c3d4322ec17fe7cd",
234 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_c3d4322ec17fe7cd/data.yaml"),
235 ),
236 (
237 "verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_ffa6e97b97146517",
238 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly_ffa6e97b97146517/data.yaml"),
239 ),
240 (
241 "verify_kzg_proof_case_incorrect_proof_02e696ada7d4631d",
242 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_02e696ada7d4631d/data.yaml"),
243 ),
244 (
245 "verify_kzg_proof_case_incorrect_proof_05c1f3685f3393f0",
246 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_05c1f3685f3393f0/data.yaml"),
247 ),
248 (
249 "verify_kzg_proof_case_incorrect_proof_08f9e2f1cb3d39db",
250 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_08f9e2f1cb3d39db/data.yaml"),
251 ),
252 (
253 "verify_kzg_proof_case_incorrect_proof_0cf79b17cb5f4ea2",
254 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_0cf79b17cb5f4ea2/data.yaml"),
255 ),
256 (
257 "verify_kzg_proof_case_incorrect_proof_177b58dc7a46b08f",
258 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_177b58dc7a46b08f/data.yaml"),
259 ),
260 (
261 "verify_kzg_proof_case_incorrect_proof_1ce8e4f69d5df899",
262 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_1ce8e4f69d5df899/data.yaml"),
263 ),
264 (
265 "verify_kzg_proof_case_incorrect_proof_26b753dec0560daa",
266 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_26b753dec0560daa/data.yaml"),
267 ),
268 (
269 "verify_kzg_proof_case_incorrect_proof_2b76dc9e3abf42f3",
270 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_2b76dc9e3abf42f3/data.yaml"),
271 ),
272 (
273 "verify_kzg_proof_case_incorrect_proof_31ebd010e6098750",
274 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_31ebd010e6098750/data.yaml"),
275 ),
276 (
277 "verify_kzg_proof_case_incorrect_proof_3208425794224c3f",
278 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_3208425794224c3f/data.yaml"),
279 ),
280 (
281 "verify_kzg_proof_case_incorrect_proof_36817bfd67de97a8",
282 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_36817bfd67de97a8/data.yaml"),
283 ),
284 (
285 "verify_kzg_proof_case_incorrect_proof_392169c16a2e5ef6",
286 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_392169c16a2e5ef6/data.yaml"),
287 ),
288 (
289 "verify_kzg_proof_case_incorrect_proof_395cf6d697d1a743",
290 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_395cf6d697d1a743/data.yaml"),
291 ),
292 (
293 "verify_kzg_proof_case_incorrect_proof_3ac8dc31e9aa6a70",
294 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_3ac8dc31e9aa6a70/data.yaml"),
295 ),
296 (
297 "verify_kzg_proof_case_incorrect_proof_3c1e8b38219e3e12",
298 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_3c1e8b38219e3e12/data.yaml"),
299 ),
300 (
301 "verify_kzg_proof_case_incorrect_proof_3c87ec986c2656c2",
302 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_3c87ec986c2656c2/data.yaml"),
303 ),
304 (
305 "verify_kzg_proof_case_incorrect_proof_3cd183d0bab85fb7",
306 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_3cd183d0bab85fb7/data.yaml"),
307 ),
308 (
309 "verify_kzg_proof_case_incorrect_proof_420f2a187ce77035",
310 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_420f2a187ce77035/data.yaml"),
311 ),
312 (
313 "verify_kzg_proof_case_incorrect_proof_444b73ff54a19b44",
314 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_444b73ff54a19b44/data.yaml"),
315 ),
316 (
317 "verify_kzg_proof_case_incorrect_proof_53a9bdf4f75196da",
318 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_53a9bdf4f75196da/data.yaml"),
319 ),
320 (
321 "verify_kzg_proof_case_incorrect_proof_585454b31673dd62",
322 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_585454b31673dd62/data.yaml"),
323 ),
324 (
325 "verify_kzg_proof_case_incorrect_proof_7db4f140a955dd1a",
326 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_7db4f140a955dd1a/data.yaml"),
327 ),
328 (
329 "verify_kzg_proof_case_incorrect_proof_83e53423a2dd93fe",
330 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_83e53423a2dd93fe/data.yaml"),
331 ),
332 (
333 "verify_kzg_proof_case_incorrect_proof_9b24f8997145435c",
334 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_9b24f8997145435c/data.yaml"),
335 ),
336 (
337 "verify_kzg_proof_case_incorrect_proof_9b754afb690c47e1",
338 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_9b754afb690c47e1/data.yaml"),
339 ),
340 (
341 "verify_kzg_proof_case_incorrect_proof_a0be66af9a97ea52",
342 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_a0be66af9a97ea52/data.yaml"),
343 ),
344 (
345 "verify_kzg_proof_case_incorrect_proof_af669445747d2585",
346 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_af669445747d2585/data.yaml"),
347 ),
348 (
349 "verify_kzg_proof_case_incorrect_proof_af8b75f664ed7d43",
350 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_af8b75f664ed7d43/data.yaml"),
351 ),
352 (
353 "verify_kzg_proof_case_incorrect_proof_b6cb6698327d9835",
354 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_b6cb6698327d9835/data.yaml"),
355 ),
356 (
357 "verify_kzg_proof_case_incorrect_proof_b6ec3736f9ff2c62",
358 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_b6ec3736f9ff2c62/data.yaml"),
359 ),
360 (
361 "verify_kzg_proof_case_incorrect_proof_becf2e1641bbd4e6",
362 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_becf2e1641bbd4e6/data.yaml"),
363 ),
364 (
365 "verify_kzg_proof_case_incorrect_proof_c3d4322ec17fe7cd",
366 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_c3d4322ec17fe7cd/data.yaml"),
367 ),
368 (
369 "verify_kzg_proof_case_incorrect_proof_c5e1490d672d026d",
370 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_c5e1490d672d026d/data.yaml"),
371 ),
372 (
373 "verify_kzg_proof_case_incorrect_proof_cae5d3491190b777",
374 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_cae5d3491190b777/data.yaml"),
375 ),
376 (
377 "verify_kzg_proof_case_incorrect_proof_d0992bc0387790a4",
378 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_d0992bc0387790a4/data.yaml"),
379 ),
380 (
381 "verify_kzg_proof_case_incorrect_proof_d736268229bd87ec",
382 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_d736268229bd87ec/data.yaml"),
383 ),
384 (
385 "verify_kzg_proof_case_incorrect_proof_e68d7111a2364a49",
386 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_e68d7111a2364a49/data.yaml"),
387 ),
388 (
389 "verify_kzg_proof_case_incorrect_proof_ed6b180ec759bcf6",
390 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_ed6b180ec759bcf6/data.yaml"),
391 ),
392 (
393 "verify_kzg_proof_case_incorrect_proof_f0ed3dc11cdeb130",
394 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_f0ed3dc11cdeb130/data.yaml"),
395 ),
396 (
397 "verify_kzg_proof_case_incorrect_proof_f47eb9fc139f6bfd",
398 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_f47eb9fc139f6bfd/data.yaml"),
399 ),
400 (
401 "verify_kzg_proof_case_incorrect_proof_f7f44e1e864aa967",
402 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_f7f44e1e864aa967/data.yaml"),
403 ),
404 (
405 "verify_kzg_proof_case_incorrect_proof_ffa6e97b97146517",
406 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_ffa6e97b97146517/data.yaml"),
407 ),
408 (
409 "verify_kzg_proof_case_incorrect_proof_point_at_infinity_392169c16a2e5ef6",
410 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_point_at_infinity_392169c16a2e5ef6/data.yaml"),
411 ),
412 (
413 "verify_kzg_proof_case_incorrect_proof_point_at_infinity_3c1e8b38219e3e12",
414 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_point_at_infinity_3c1e8b38219e3e12/data.yaml"),
415 ),
416 (
417 "verify_kzg_proof_case_incorrect_proof_point_at_infinity_3c87ec986c2656c2",
418 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_point_at_infinity_3c87ec986c2656c2/data.yaml"),
419 ),
420 (
421 "verify_kzg_proof_case_incorrect_proof_point_at_infinity_420f2a187ce77035",
422 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_point_at_infinity_420f2a187ce77035/data.yaml"),
423 ),
424 (
425 "verify_kzg_proof_case_incorrect_proof_point_at_infinity_83e53423a2dd93fe",
426 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_point_at_infinity_83e53423a2dd93fe/data.yaml"),
427 ),
428 (
429 "verify_kzg_proof_case_incorrect_proof_point_at_infinity_ed6b180ec759bcf6",
430 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_incorrect_proof_point_at_infinity_ed6b180ec759bcf6/data.yaml"),
431 ),
432 (
433 "verify_kzg_proof_case_invalid_commitment_1b44e341d56c757d",
434 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_commitment_1b44e341d56c757d/data.yaml"),
435 ),
436 (
437 "verify_kzg_proof_case_invalid_commitment_32afa9561a4b3b91",
438 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_commitment_32afa9561a4b3b91/data.yaml"),
439 ),
440 (
441 "verify_kzg_proof_case_invalid_commitment_3e55802a5ed3c757",
442 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_commitment_3e55802a5ed3c757/data.yaml"),
443 ),
444 (
445 "verify_kzg_proof_case_invalid_commitment_e9d3e9ec16fbc15f",
446 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_commitment_e9d3e9ec16fbc15f/data.yaml"),
447 ),
448 (
449 "verify_kzg_proof_case_invalid_proof_1b44e341d56c757d",
450 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_proof_1b44e341d56c757d/data.yaml"),
451 ),
452 (
453 "verify_kzg_proof_case_invalid_proof_32afa9561a4b3b91",
454 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_proof_32afa9561a4b3b91/data.yaml"),
455 ),
456 (
457 "verify_kzg_proof_case_invalid_proof_3e55802a5ed3c757",
458 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_proof_3e55802a5ed3c757/data.yaml"),
459 ),
460 (
461 "verify_kzg_proof_case_invalid_proof_e9d3e9ec16fbc15f",
462 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_proof_e9d3e9ec16fbc15f/data.yaml"),
463 ),
464 (
465 "verify_kzg_proof_case_invalid_y_35d08d612aad2197",
466 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_y_35d08d612aad2197/data.yaml"),
467 ),
468 (
469 "verify_kzg_proof_case_invalid_y_4aa6def8c35c9097",
470 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_y_4aa6def8c35c9097/data.yaml"),
471 ),
472 (
473 "verify_kzg_proof_case_invalid_y_4e51cef08a61606f",
474 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_y_4e51cef08a61606f/data.yaml"),
475 ),
476 (
477 "verify_kzg_proof_case_invalid_y_64b9ff2b8f7dddee",
478 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_y_64b9ff2b8f7dddee/data.yaml"),
479 ),
480 (
481 "verify_kzg_proof_case_invalid_y_b358a2e763727b70",
482 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_y_b358a2e763727b70/data.yaml"),
483 ),
484 (
485 "verify_kzg_proof_case_invalid_y_eb0601fec84cc5e9",
486 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_y_eb0601fec84cc5e9/data.yaml"),
487 ),
488 (
489 "verify_kzg_proof_case_invalid_z_35d08d612aad2197",
490 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_z_35d08d612aad2197/data.yaml"),
491 ),
492 (
493 "verify_kzg_proof_case_invalid_z_4aa6def8c35c9097",
494 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_z_4aa6def8c35c9097/data.yaml"),
495 ),
496 (
497 "verify_kzg_proof_case_invalid_z_4e51cef08a61606f",
498 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_z_4e51cef08a61606f/data.yaml"),
499 ),
500 (
501 "verify_kzg_proof_case_invalid_z_64b9ff2b8f7dddee",
502 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_z_64b9ff2b8f7dddee/data.yaml"),
503 ),
504 (
505 "verify_kzg_proof_case_invalid_z_b358a2e763727b70",
506 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_z_b358a2e763727b70/data.yaml"),
507 ),
508 (
509 "verify_kzg_proof_case_invalid_z_eb0601fec84cc5e9",
510 include_str!("../tests/verify_kzg_proof/verify_kzg_proof_case_invalid_z_eb0601fec84cc5e9/data.yaml"),
511 ),
512 ];
513
514 pub const VERIFY_BLOB_KZG_PROOF_BATCH_TESTS: [(&str, &str); 27] = [
515 (
516 "verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3",
517 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3/data.yaml"),
518 ),
519 (
520 "verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e",
521 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e/data.yaml"),
522 ),
523 (
524 "verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8",
525 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8/data.yaml"),
526 ),
527 (
528 "verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb",
529 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb/data.yaml"),
530 ),
531 (
532 "verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b",
533 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b/data.yaml"),
534 ),
535 (
536 "verify_blob_kzg_proof_case_correct_proof_cdb3e6d49eb12307",
537 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_cdb3e6d49eb12307/data.yaml"),
538 ),
539 (
540 "verify_blob_kzg_proof_case_correct_proof_fb324bc819407148",
541 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_fb324bc819407148/data.yaml"),
542 ),
543 (
544 "verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3",
545 include_str!(
546 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3/data.yaml"
547 ),
548 ),
549 (
550 "verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e",
551 include_str!(
552 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e/data.yaml"
553 ),
554 ),
555 (
556 "verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8",
557 include_str!(
558 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8/data.yaml"
559 ),
560 ),
561 (
562 "verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb",
563 include_str!(
564 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb/data.yaml"
565 ),
566 ),
567 (
568 "verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b",
569 include_str!(
570 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b/data.yaml"
571 ),
572 ),
573 (
574 "verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307",
575 include_str!(
576 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307/data.yaml"
577 ),
578 ),
579 (
580 "verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148",
581 include_str!(
582 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148/data.yaml"
583 ),
584 ),
585 (
586 "verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity",
587 include_str!(
588 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity/data.yaml"
589 ),
590 ),
591 (
592 "verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad",
593 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad/data.yaml"),
594 ),
595 (
596 "verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429",
597 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429/data.yaml"),
598 ),
599 (
600 "verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8",
601 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8/data.yaml"),
602 ),
603 (
604 "verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434",
605 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434/data.yaml"),
606 ),
607 (
608 "verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78",
609 include_str!(
610 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml"
611 ),
612 ),
613 (
614 "verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d",
615 include_str!(
616 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml"
617 ),
618 ),
619 (
620 "verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627",
621 include_str!(
622 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml"
623 ),
624 ),
625 (
626 "verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c",
627 include_str!(
628 "../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml"
629 ),
630 ),
631 (
632 "verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78",
633 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml"),
634 ),
635 (
636 "verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d",
637 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml"),
638 ),
639 (
640 "verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627",
641 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml"),
642 ),
643 (
644 "verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c",
645 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml"),
646 ),
647 ];
648
649 pub const VERIFY_BLOB_KZG_PROOF_TESTS: [(&str, &str); 29] = [
650 (
651 "verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3",
652 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_0951cfd9ab47a8d3/data.yaml"),
653 ),
654 (
655 "verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e",
656 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_19b3f3f8c98ea31e/data.yaml"),
657 ),
658 (
659 "verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8",
660 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_84d8089232bc23a8/data.yaml"),
661 ),
662 (
663 "verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb",
664 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_a87a4e636e0f58fb/data.yaml"),
665 ),
666 (
667 "verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b",
668 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_c40b9b515df8721b/data.yaml"),
669 ),
670 (
671 "verify_blob_kzg_proof_case_correct_proof_cdb3e6d49eb12307",
672 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_cdb3e6d49eb12307/data.yaml"),
673 ),
674 (
675 "verify_blob_kzg_proof_case_correct_proof_fb324bc819407148",
676 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_fb324bc819407148/data.yaml"),
677 ),
678 (
679 "verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly",
680 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_twos_poly/data.yaml"),
681 ),
682 (
683 "verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly",
684 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_correct_proof_point_at_infinity_for_zero_poly/data.yaml"),
685 ),
686 (
687 "verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3",
688 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_0951cfd9ab47a8d3/data.yaml"),
689 ),
690 (
691 "verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e",
692 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_19b3f3f8c98ea31e/data.yaml"),
693 ),
694 (
695 "verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8",
696 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_84d8089232bc23a8/data.yaml"),
697 ),
698 (
699 "verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb",
700 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_a87a4e636e0f58fb/data.yaml"),
701 ),
702 (
703 "verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b",
704 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_c40b9b515df8721b/data.yaml"),
705 ),
706 (
707 "verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307",
708 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_cdb3e6d49eb12307/data.yaml"),
709 ),
710 (
711 "verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148",
712 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_fb324bc819407148/data.yaml"),
713 ),
714 (
715 "verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity",
716 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_incorrect_proof_point_at_infinity/data.yaml"),
717 ),
718 (
719 "verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad",
720 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_59d64ff6b4648fad/data.yaml"),
721 ),
722 (
723 "verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429",
724 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_635fb2de5b0dc429/data.yaml"),
725 ),
726 (
727 "verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8",
728 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_a3b9ff28507767f8/data.yaml"),
729 ),
730 (
731 "verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434",
732 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_blob_d3afbd98123a3434/data.yaml"),
733 ),
734 (
735 "verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78",
736 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_1a68c47b68148e78/data.yaml"),
737 ),
738 (
739 "verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d",
740 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_24b932fb4dec5b2d/data.yaml"),
741 ),
742 (
743 "verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627",
744 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_3a6eb616efae0627/data.yaml"),
745 ),
746 (
747 "verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c",
748 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_commitment_d070689c3e15444c/data.yaml"),
749 ),
750 (
751 "verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78",
752 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_1a68c47b68148e78/data.yaml"),
753 ),
754 (
755 "verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d",
756 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_24b932fb4dec5b2d/data.yaml"),
757 ),
758 (
759 "verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627",
760 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_3a6eb616efae0627/data.yaml"),
761 ),
762 (
763 "verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c",
764 include_str!("../tests/verify_blob_kzg_proof/verify_blob_kzg_proof_case_invalid_proof_d070689c3e15444c/data.yaml"),
765 ),
766 ];
767}