simplicity-sys 0.2.0

FFI bindings to libsimplicity
Documentation 
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
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392

/* This module defines jets that simulate various Simplicity expressions.
 * Their specifications are given by the specific Simplicity expressions they are simulating.
 */
#ifndef SIMPLICITY_JETS_H
#define SIMPLICITY_JETS_H

#include "frame.h"

/* Forward declaration of the structure holding the environment in which a Simplicity expression is evaluated within. */
typedef struct txEnv txEnv;

/* A jet simulates the execution of some Simplicity expression (without witnesses or delegation) of A |- B.
 * It reads data from a read frame 'src', and writes its output to a write frame 'dst'.
 * If successful then 'true' is returned.
 * If the expression being simulated would fail an 'ASSERTL' or 'ASSERTR' combinator, then 'false' is returned.
 * Cells in front of 'dst's cursor's final position may be overwritten.
 *
 * Precondition: 'src' is a valid read frame for 'bitSize(A)' more cells;
 *               '*dst' is a valid write frame for 'bitSize(B)' more cells;
 *               if the jet simulates a Simplicity expression with primitives then 'NULL != env';
 */
typedef bool (*jet_ptr)(frameItem* dst, frameItem src, const txEnv* env);

bool verify(frameItem* dst, frameItem src, const txEnv* env);
bool low_1(frameItem* dst, frameItem src, const txEnv* env);
bool low_8(frameItem* dst, frameItem src, const txEnv* env);
bool low_16(frameItem* dst, frameItem src, const txEnv* env);
bool low_32(frameItem* dst, frameItem src, const txEnv* env);
bool low_64(frameItem* dst, frameItem src, const txEnv* env);
bool high_1(frameItem* dst, frameItem src, const txEnv* env);
bool high_8(frameItem* dst, frameItem src, const txEnv* env);
bool high_16(frameItem* dst, frameItem src, const txEnv* env);
bool high_32(frameItem* dst, frameItem src, const txEnv* env);
bool high_64(frameItem* dst, frameItem src, const txEnv* env);
bool complement_1(frameItem* dst, frameItem src, const txEnv* env);
bool complement_8(frameItem* dst, frameItem src, const txEnv* env);
bool complement_16(frameItem* dst, frameItem src, const txEnv* env);
bool complement_32(frameItem* dst, frameItem src, const txEnv* env);
bool complement_64(frameItem* dst, frameItem src, const txEnv* env);
bool and_1(frameItem* dst, frameItem src, const txEnv* env);
bool and_8(frameItem* dst, frameItem src, const txEnv* env);
bool and_16(frameItem* dst, frameItem src, const txEnv* env);
bool and_32(frameItem* dst, frameItem src, const txEnv* env);
bool and_64(frameItem* dst, frameItem src, const txEnv* env);
bool or_1(frameItem* dst, frameItem src, const txEnv* env);
bool or_8(frameItem* dst, frameItem src, const txEnv* env);
bool or_16(frameItem* dst, frameItem src, const txEnv* env);
bool or_32(frameItem* dst, frameItem src, const txEnv* env);
bool or_64(frameItem* dst, frameItem src, const txEnv* env);
bool xor_1(frameItem* dst, frameItem src, const txEnv* env);
bool xor_8(frameItem* dst, frameItem src, const txEnv* env);
bool xor_16(frameItem* dst, frameItem src, const txEnv* env);
bool xor_32(frameItem* dst, frameItem src, const txEnv* env);
bool xor_64(frameItem* dst, frameItem src, const txEnv* env);
bool maj_1(frameItem* dst, frameItem src, const txEnv* env);
bool maj_8(frameItem* dst, frameItem src, const txEnv* env);
bool maj_16(frameItem* dst, frameItem src, const txEnv* env);
bool maj_32(frameItem* dst, frameItem src, const txEnv* env);
bool maj_64(frameItem* dst, frameItem src, const txEnv* env);
bool xor_xor_1(frameItem* dst, frameItem src, const txEnv* env);
bool xor_xor_8(frameItem* dst, frameItem src, const txEnv* env);
bool xor_xor_16(frameItem* dst, frameItem src, const txEnv* env);
bool xor_xor_32(frameItem* dst, frameItem src, const txEnv* env);
bool xor_xor_64(frameItem* dst, frameItem src, const txEnv* env);
bool ch_1(frameItem* dst, frameItem src, const txEnv* env);
bool ch_8(frameItem* dst, frameItem src, const txEnv* env);
bool ch_16(frameItem* dst, frameItem src, const txEnv* env);
bool ch_32(frameItem* dst, frameItem src, const txEnv* env);
bool ch_64(frameItem* dst, frameItem src, const txEnv* env);
bool some_1(frameItem* dst, frameItem src, const txEnv* env);
bool some_8(frameItem* dst, frameItem src, const txEnv* env);
bool some_16(frameItem* dst, frameItem src, const txEnv* env);
bool some_32(frameItem* dst, frameItem src, const txEnv* env);
bool some_64(frameItem* dst, frameItem src, const txEnv* env);
bool all_8(frameItem* dst, frameItem src, const txEnv* env);
bool all_16(frameItem* dst, frameItem src, const txEnv* env);
bool all_32(frameItem* dst, frameItem src, const txEnv* env);
bool all_64(frameItem* dst, frameItem src, const txEnv* env);
bool one_8(frameItem* dst, frameItem src, const txEnv* env);
bool one_16(frameItem* dst, frameItem src, const txEnv* env);
bool one_32(frameItem* dst, frameItem src, const txEnv* env);
bool one_64(frameItem* dst, frameItem src, const txEnv* env);
bool eq_1(frameItem* dst, frameItem src, const txEnv* env);
bool eq_8(frameItem* dst, frameItem src, const txEnv* env);
bool eq_16(frameItem* dst, frameItem src, const txEnv* env);
bool eq_32(frameItem* dst, frameItem src, const txEnv* env);
bool eq_64(frameItem* dst, frameItem src, const txEnv* env);
bool eq_256(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_left_shift_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_right_shift_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool leftmost_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rightmost_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_low_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_pad_high_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_extend_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_low_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_pad_high_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_extend_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_extend_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_extend_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_extend_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_extend_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_extend_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_with_8(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_with_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_with_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_with_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_8(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_shift_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_with_8(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_with_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_with_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_with_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_8(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_shift_64(frameItem* dst, frameItem src, const txEnv* env);
bool left_rotate_8(frameItem* dst, frameItem src, const txEnv* env);
bool left_rotate_16(frameItem* dst, frameItem src, const txEnv* env);
bool left_rotate_32(frameItem* dst, frameItem src, const txEnv* env);
bool left_rotate_64(frameItem* dst, frameItem src, const txEnv* env);
bool right_rotate_8(frameItem* dst, frameItem src, const txEnv* env);
bool right_rotate_16(frameItem* dst, frameItem src, const txEnv* env);
bool right_rotate_32(frameItem* dst, frameItem src, const txEnv* env);
bool right_rotate_64(frameItem* dst, frameItem src, const txEnv* env);

bool add_8(frameItem* dst, frameItem src, const txEnv* env);
bool add_16(frameItem* dst, frameItem src, const txEnv* env);
bool add_32(frameItem* dst, frameItem src, const txEnv* env);
bool add_64(frameItem* dst, frameItem src, const txEnv* env);
bool full_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool full_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool full_increment_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_increment_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_increment_32(frameItem* dst, frameItem src, const txEnv* env);
bool full_increment_64(frameItem* dst, frameItem src, const txEnv* env);
bool increment_8(frameItem* dst, frameItem src, const txEnv* env);
bool increment_16(frameItem* dst, frameItem src, const txEnv* env);
bool increment_32(frameItem* dst, frameItem src, const txEnv* env);
bool increment_64(frameItem* dst, frameItem src, const txEnv* env);
bool subtract_8(frameItem* dst, frameItem src, const txEnv* env);
bool subtract_16(frameItem* dst, frameItem src, const txEnv* env);
bool subtract_32(frameItem* dst, frameItem src, const txEnv* env);
bool subtract_64(frameItem* dst, frameItem src, const txEnv* env);
bool negate_8(frameItem* dst, frameItem src, const txEnv* env);
bool negate_16(frameItem* dst, frameItem src, const txEnv* env);
bool negate_32(frameItem* dst, frameItem src, const txEnv* env);
bool negate_64(frameItem* dst, frameItem src, const txEnv* env);
bool full_decrement_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_decrement_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_decrement_32(frameItem* dst, frameItem src, const txEnv* env);
bool full_decrement_64(frameItem* dst, frameItem src, const txEnv* env);
bool decrement_8(frameItem* dst, frameItem src, const txEnv* env);
bool decrement_16(frameItem* dst, frameItem src, const txEnv* env);
bool decrement_32(frameItem* dst, frameItem src, const txEnv* env);
bool decrement_64(frameItem* dst, frameItem src, const txEnv* env);
bool full_subtract_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_subtract_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_subtract_32(frameItem* dst, frameItem src, const txEnv* env);
bool full_subtract_64(frameItem* dst, frameItem src, const txEnv* env);
bool multiply_8(frameItem* dst, frameItem src, const txEnv* env);
bool multiply_16(frameItem* dst, frameItem src, const txEnv* env);
bool multiply_32(frameItem* dst, frameItem src, const txEnv* env);
bool multiply_64(frameItem* dst, frameItem src, const txEnv* env);
bool full_multiply_8(frameItem* dst, frameItem src, const txEnv* env);
bool full_multiply_16(frameItem* dst, frameItem src, const txEnv* env);
bool full_multiply_32(frameItem* dst, frameItem src, const txEnv* env);
bool full_multiply_64(frameItem* dst, frameItem src, const txEnv* env);
bool is_zero_8(frameItem* dst, frameItem src, const txEnv* env);
bool is_zero_16(frameItem* dst, frameItem src, const txEnv* env);
bool is_zero_32(frameItem* dst, frameItem src, const txEnv* env);
bool is_zero_64(frameItem* dst, frameItem src, const txEnv* env);
bool is_one_8(frameItem* dst, frameItem src, const txEnv* env);
bool is_one_16(frameItem* dst, frameItem src, const txEnv* env);
bool is_one_32(frameItem* dst, frameItem src, const txEnv* env);
bool is_one_64(frameItem* dst, frameItem src, const txEnv* env);
bool le_8(frameItem* dst, frameItem src, const txEnv* env);
bool le_16(frameItem* dst, frameItem src, const txEnv* env);
bool le_32(frameItem* dst, frameItem src, const txEnv* env);
bool le_64(frameItem* dst, frameItem src, const txEnv* env);
bool lt_8(frameItem* dst, frameItem src, const txEnv* env);
bool lt_16(frameItem* dst, frameItem src, const txEnv* env);
bool lt_32(frameItem* dst, frameItem src, const txEnv* env);
bool lt_64(frameItem* dst, frameItem src, const txEnv* env);
bool min_8(frameItem* dst, frameItem src, const txEnv* env);
bool min_16(frameItem* dst, frameItem src, const txEnv* env);
bool min_32(frameItem* dst, frameItem src, const txEnv* env);
bool min_64(frameItem* dst, frameItem src, const txEnv* env);
bool max_8(frameItem* dst, frameItem src, const txEnv* env);
bool max_16(frameItem* dst, frameItem src, const txEnv* env);
bool max_32(frameItem* dst, frameItem src, const txEnv* env);
bool max_64(frameItem* dst, frameItem src, const txEnv* env);
bool median_8(frameItem* dst, frameItem src, const txEnv* env);
bool median_16(frameItem* dst, frameItem src, const txEnv* env);
bool median_32(frameItem* dst, frameItem src, const txEnv* env);
bool median_64(frameItem* dst, frameItem src, const txEnv* env);
bool div_mod_8(frameItem* dst, frameItem src, const txEnv* env);
bool div_mod_16(frameItem* dst, frameItem src, const txEnv* env);
bool div_mod_32(frameItem* dst, frameItem src, const txEnv* env);
bool div_mod_64(frameItem* dst, frameItem src, const txEnv* env);
bool divide_8(frameItem* dst, frameItem src, const txEnv* env);
bool divide_16(frameItem* dst, frameItem src, const txEnv* env);
bool divide_32(frameItem* dst, frameItem src, const txEnv* env);
bool divide_64(frameItem* dst, frameItem src, const txEnv* env);
bool modulo_8(frameItem* dst, frameItem src, const txEnv* env);
bool modulo_16(frameItem* dst, frameItem src, const txEnv* env);
bool modulo_32(frameItem* dst, frameItem src, const txEnv* env);
bool modulo_64(frameItem* dst, frameItem src, const txEnv* env);
bool divides_8(frameItem* dst, frameItem src, const txEnv* env);
bool divides_16(frameItem* dst, frameItem src, const txEnv* env);
bool divides_32(frameItem* dst, frameItem src, const txEnv* env);
bool divides_64(frameItem* dst, frameItem src, const txEnv* env);

bool sha_256_iv(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_block(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_init(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_1(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_2(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_4(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_128(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_256(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_512(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_add_buffer_511(frameItem* dst, frameItem src, const txEnv* env);
bool sha_256_ctx_8_finalize(frameItem* dst, frameItem src, const txEnv* env);

bool fe_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool fe_negate(frameItem* dst, frameItem src, const txEnv* env);
bool fe_add(frameItem* dst, frameItem src, const txEnv* env);
bool fe_square(frameItem* dst, frameItem src, const txEnv* env);
bool fe_multiply(frameItem* dst, frameItem src, const txEnv* env);
bool fe_multiply_beta(frameItem* dst, frameItem src, const txEnv* env);
bool fe_invert(frameItem* dst, frameItem src, const txEnv* env);
bool fe_square_root(frameItem* dst, frameItem src, const txEnv* env);
bool fe_is_zero(frameItem* dst, frameItem src, const txEnv* env);
bool fe_is_odd(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_negate(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_add(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_square(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_multiply(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_multiply_lambda(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_invert(frameItem* dst, frameItem src, const txEnv* env);
bool scalar_is_zero(frameItem* dst, frameItem src, const txEnv* env);
bool gej_infinity(frameItem* dst, frameItem src, const txEnv* env);
bool gej_rescale(frameItem* dst, frameItem src, const txEnv* env);
bool gej_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool gej_negate(frameItem* dst, frameItem src, const txEnv* env);
bool ge_negate(frameItem* dst, frameItem src, const txEnv* env);
bool gej_double(frameItem* dst, frameItem src, const txEnv* env);
bool gej_add(frameItem* dst, frameItem src, const txEnv* env);
bool gej_ge_add_ex(frameItem* dst, frameItem src, const txEnv* env);
bool gej_ge_add(frameItem* dst, frameItem src, const txEnv* env);
bool gej_is_infinity(frameItem* dst, frameItem src, const txEnv* env);
bool gej_x_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool gej_y_is_odd(frameItem* dst, frameItem src, const txEnv* env);
bool gej_is_on_curve(frameItem* dst, frameItem src, const txEnv* env);
bool ge_is_on_curve(frameItem* dst, frameItem src, const txEnv* env);
bool scale(frameItem* dst, frameItem src, const txEnv* env);
bool generate(frameItem* dst, frameItem src, const txEnv* env);
bool linear_combination_1(frameItem* dst, frameItem src, const txEnv* env);
bool linear_verify_1(frameItem* dst, frameItem src, const txEnv* env);
bool decompress(frameItem* dst, frameItem src, const txEnv* env);
bool point_verify_1(frameItem* dst, frameItem src, const txEnv* env);

bool check_sig_verify(frameItem* dst, frameItem src, const txEnv* env);
bool bip_0340_verify(frameItem* dst, frameItem src, const txEnv* env);

bool parse_lock(frameItem* dst, frameItem src, const txEnv* env);
bool parse_sequence(frameItem* dst, frameItem src, const txEnv* env);

#endif