simplicity-sys 0.8.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
393
394
395
396
397
398
399
400

/* 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 rustsimplicity_0_8_verify(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_low_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_low_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_low_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_low_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_low_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_high_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_high_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_high_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_high_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_high_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_complement_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_complement_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_complement_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_complement_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_complement_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_and_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_and_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_and_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_and_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_and_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_or_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_or_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_or_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_or_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_or_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_maj_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_maj_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_maj_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_maj_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_maj_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_xor_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_xor_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_xor_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_xor_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_xor_xor_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ch_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ch_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ch_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ch_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ch_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_some_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_some_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_some_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_some_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_some_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_all_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_all_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_all_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_all_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_one_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_one_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_one_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_one_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_eq_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_eq_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_eq_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_eq_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_eq_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_eq_256(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_left_shift_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_right_shift_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_leftmost_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_rightmost_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_low_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_pad_high_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_extend_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_low_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_pad_high_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_extend_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_extend_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_extend_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_extend_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_extend_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_extend_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_with_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_with_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_with_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_with_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_shift_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_with_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_with_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_with_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_with_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_shift_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_rotate_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_rotate_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_rotate_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_left_rotate_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_rotate_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_rotate_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_rotate_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_right_rotate_64(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_8_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_increment_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_increment_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_increment_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_increment_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_increment_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_increment_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_increment_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_increment_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_subtract_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_subtract_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_subtract_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_subtract_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_negate_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_negate_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_negate_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_negate_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_decrement_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_decrement_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_decrement_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_decrement_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_decrement_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_decrement_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_decrement_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_decrement_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_subtract_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_subtract_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_subtract_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_subtract_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_multiply_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_multiply_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_multiply_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_multiply_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_multiply_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_multiply_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_multiply_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_full_multiply_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_zero_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_zero_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_zero_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_zero_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_one_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_one_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_one_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_is_one_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_le_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_le_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_le_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_le_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_lt_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_lt_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_lt_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_lt_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_min_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_min_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_min_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_min_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_max_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_max_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_max_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_max_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_median_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_median_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_median_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_median_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_div_mod_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_div_mod_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_div_mod_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_div_mod_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divide_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divide_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divide_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divide_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_modulo_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_modulo_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_modulo_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_modulo_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divides_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divides_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divides_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_divides_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_div_mod_128_64(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_8_sha_256_iv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_block(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_init(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_128(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_256(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_512(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_add_buffer_511(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_sha_256_ctx_8_finalize(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_8_fe_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_square(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_multiply(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_multiply_beta(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_invert(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_square_root(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_is_zero(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_fe_is_odd(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_square(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_multiply(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_multiply_lambda(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_invert(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scalar_is_zero(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_infinity(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_rescale(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ge_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_double(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_ge_add_ex(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_ge_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_is_infinity(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_ge_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_x_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_y_is_odd(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_gej_is_on_curve(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_ge_is_on_curve(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_off_curve_scale(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_scale(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_generate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_off_curve_linear_combination_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_linear_combination_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_linear_verify_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_decompress(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_point_verify_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_swu(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_hash_to_curve(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_8_check_sig_verify(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_bip_0340_verify(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_8_parse_lock(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_parse_sequence(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_8_tapdata_init(frameItem* dst, frameItem src, const txEnv* env);

#endif