simplicity-sys 0.7.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_7_verify(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_low_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_low_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_low_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_low_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_low_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_high_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_high_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_high_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_high_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_high_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_complement_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_complement_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_complement_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_complement_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_complement_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_and_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_and_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_and_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_and_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_and_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_or_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_or_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_or_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_or_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_or_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_maj_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_maj_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_maj_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_maj_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_maj_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_xor_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_xor_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_xor_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_xor_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_xor_xor_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ch_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ch_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ch_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ch_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ch_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_some_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_some_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_some_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_some_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_some_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_all_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_all_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_all_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_all_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_one_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_one_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_one_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_one_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_eq_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_eq_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_eq_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_eq_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_eq_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_eq_256(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_left_shift_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_right_shift_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_leftmost_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_8_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_8_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_8_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_16_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_16_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_16_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_16_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_32_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_32_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_32_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_32_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_32_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_64_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_64_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_64_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_64_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_64_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_rightmost_64_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_low_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_pad_high_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_extend_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_low_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_1_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_1_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_1_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_1_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_pad_high_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_extend_8_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_extend_8_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_extend_16_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_extend_8_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_extend_16_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_extend_32_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_with_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_with_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_with_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_with_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_shift_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_with_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_with_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_with_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_with_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_shift_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_rotate_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_rotate_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_rotate_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_left_rotate_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_rotate_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_rotate_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_rotate_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_right_rotate_64(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_7_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_increment_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_increment_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_increment_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_increment_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_increment_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_increment_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_increment_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_increment_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_subtract_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_subtract_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_subtract_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_subtract_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_negate_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_negate_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_negate_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_negate_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_decrement_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_decrement_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_decrement_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_decrement_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_decrement_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_decrement_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_decrement_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_decrement_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_subtract_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_subtract_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_subtract_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_subtract_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_multiply_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_multiply_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_multiply_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_multiply_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_multiply_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_multiply_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_multiply_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_full_multiply_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_zero_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_zero_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_zero_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_zero_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_one_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_one_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_one_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_is_one_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_le_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_le_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_le_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_le_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_lt_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_lt_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_lt_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_lt_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_min_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_min_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_min_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_min_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_max_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_max_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_max_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_max_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_median_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_median_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_median_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_median_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_div_mod_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_div_mod_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_div_mod_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_div_mod_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divide_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divide_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divide_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divide_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_modulo_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_modulo_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_modulo_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_modulo_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divides_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divides_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divides_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_divides_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_div_mod_128_64(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_7_sha_256_iv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_block(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_init(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_2(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_4(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_8(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_16(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_32(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_64(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_128(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_256(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_512(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_add_buffer_511(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_sha_256_ctx_8_finalize(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_7_fe_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_square(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_multiply(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_multiply_beta(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_invert(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_square_root(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_is_zero(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_fe_is_odd(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_square(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_multiply(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_multiply_lambda(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_invert(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scalar_is_zero(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_infinity(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_rescale(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_normalize(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ge_negate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_double(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_ge_add_ex(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_ge_add(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_is_infinity(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_ge_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_x_equiv(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_y_is_odd(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_gej_is_on_curve(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_ge_is_on_curve(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_off_curve_scale(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_scale(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_generate(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_off_curve_linear_combination_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_linear_combination_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_linear_verify_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_decompress(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_point_verify_1(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_swu(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_hash_to_curve(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_7_check_sig_verify(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_bip_0340_verify(frameItem* dst, frameItem src, const txEnv* env);

bool rustsimplicity_0_7_parse_lock(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_parse_sequence(frameItem* dst, frameItem src, const txEnv* env);
bool rustsimplicity_0_7_tapdata_init(frameItem* dst, frameItem src, const txEnv* env);

#endif