risc0_zkvm_circuit/step_verify.rs
1// This code is automatically generated
2
3use anyhow::Result;
4use risc0_zkp::{
5 adapter::{CircuitStep, CircuitStepContext, CircuitStepDef, CircuitStepVerify, CustomStep},
6 core::fp::Fp,
7};
8
9use super::CircuitImpl;
10
11const DEF: CircuitStepDef = CircuitStepDef {
12 block: &[
13 CircuitStep::Const(2, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:28"),
14 CircuitStep::Const(3, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:28"),
15 CircuitStep::Const(4, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:28"),
16 CircuitStep::Const(
17 1509949441,
18 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45",
19 ),
20 CircuitStep::Const(16, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
21 CircuitStep::Const(64, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
22 CircuitStep::Const(256, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
23 CircuitStep::Const(1024, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
24 CircuitStep::Const(4096, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
25 CircuitStep::Const(16384, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
26 CircuitStep::Const(65536, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
27 CircuitStep::Const(262144, "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45"),
28 CircuitStep::Const(
29 1048576,
30 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45",
31 ),
32 CircuitStep::Const(
33 4194304,
34 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:45",
35 ),
36 CircuitStep::Const(
37 2013265801,
38 "external/risc0/risc0/zkvm/circuit/multiply_cycle.cpp:67",
39 ),
40 CircuitStep::Const(1, "circuits/rv32im-legacy/port.cpp:207"),
41 CircuitStep::Get(
42 0,
43 0,
44 0,
45 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:23",
46 ),
47 CircuitStep::Get(
48 0,
49 3,
50 0,
51 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:25",
52 ),
53 CircuitStep::Get(
54 0,
55 4,
56 0,
57 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:30",
58 ),
59 CircuitStep::Get(
60 0,
61 5,
62 0,
63 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:37",
64 ),
65 CircuitStep::Get(
66 0,
67 6,
68 0,
69 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:51",
70 ),
71 CircuitStep::Get(
72 0,
73 1,
74 0,
75 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:59",
76 ),
77 CircuitStep::Get(
78 0,
79 2,
80 0,
81 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:139",
82 ),
83 CircuitStep::Add(
84 21,
85 22,
86 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:188",
87 ),
88 CircuitStep::Add(
89 23,
90 17,
91 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:188",
92 ),
93 CircuitStep::Add(
94 24,
95 18,
96 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:188",
97 ),
98 CircuitStep::Add(
99 25,
100 19,
101 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:188",
102 ),
103 CircuitStep::Add(
104 26,
105 20,
106 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:188",
107 ),
108 CircuitStep::If(
109 27,
110 &[
111 CircuitStep::Nondet(
112 &[
113 CircuitStep::Extern(
114 "memCheck",
115 "",
116 &[],
117 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:24",
118 ),
119 CircuitStep::Set(
120 2,
121 28,
122 148,
123 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:25",
124 ),
125 CircuitStep::Set(
126 2,
127 29,
128 144,
129 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:26",
130 ),
131 CircuitStep::Set(
132 2,
133 30,
134 147,
135 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:27",
136 ),
137 CircuitStep::Set(
138 2,
139 31,
140 145,
141 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:28",
142 ),
143 CircuitStep::Set(
144 2,
145 32,
146 146,
147 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:29",
148 ),
149 ],
150 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:23",
151 ),
152 CircuitStep::If(
153 16,
154 &[
155 CircuitStep::Get(
156 2,
157 144,
158 0,
159 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:37",
160 ),
161 CircuitStep::Get(
162 2,
163 144,
164 1,
165 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:38",
166 ),
167 CircuitStep::Nondet(
168 &[
169 CircuitStep::Sub(
170 28,
171 29,
172 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:39",
173 ),
174 CircuitStep::IsZero(
175 30,
176 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:39",
177 ),
178 CircuitStep::Sub(
179 15,
180 31,
181 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:39",
182 ),
183 CircuitStep::Sub(
184 15,
185 32,
186 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:39",
187 ),
188 CircuitStep::Set(
189 2,
190 33,
191 149,
192 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:39",
193 ),
194 ],
195 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:39",
196 ),
197 CircuitStep::Get(
198 2,
199 149,
200 0,
201 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:40",
202 ),
203 CircuitStep::If(
204 30,
205 &[
206 CircuitStep::Sub(
207 28,
208 29,
209 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:41",
210 ),
211 CircuitStep::EqZero(
212 31,
213 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:41",
214 ),
215 CircuitStep::Get(
216 2,
217 147,
218 0,
219 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:42",
220 ),
221 CircuitStep::Sub(
222 15,
223 32,
224 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:42",
225 ),
226 CircuitStep::If(
227 33,
228 &[
229 CircuitStep::Get(
230 2,
231 145,
232 0,
233 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:43",
234 ),
235 CircuitStep::Get(
236 2,
237 145,
238 1,
239 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:43",
240 ),
241 CircuitStep::Sub(
242 34,
243 35,
244 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:43",
245 ),
246 CircuitStep::EqZero(
247 36,
248 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:43",
249 ),
250 CircuitStep::Get(
251 2,
252 146,
253 0,
254 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:44",
255 ),
256 CircuitStep::Get(
257 2,
258 146,
259 1,
260 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:44",
261 ),
262 CircuitStep::Sub(
263 37,
264 38,
265 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:44",
266 ),
267 CircuitStep::EqZero(
268 39,
269 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:44",
270 ),
271 ],
272 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:42",
273 ),
274 CircuitStep::Get(
275 2,
276 148,
277 0,
278 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
279 ),
280 CircuitStep::Get(
281 2,
282 148,
283 1,
284 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
285 ),
286 CircuitStep::Sub(
287 34,
288 35,
289 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
290 ),
291 CircuitStep::Sub(
292 36,
293 15,
294 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
295 ),
296 CircuitStep::Nondet(
297 &[
298 CircuitStep::BitAnd(
299 37,
300 1,
301 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
302 ),
303 CircuitStep::Set(
304 2,
305 38,
306 150,
307 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
308 ),
309 CircuitStep::Sub(
310 37,
311 38,
312 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
313 ),
314 CircuitStep::Mul(
315 39,
316 3,
317 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
318 ),
319 CircuitStep::BitAnd(
320 40,
321 1,
322 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
323 ),
324 CircuitStep::Set(
325 2,
326 41,
327 151,
328 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
329 ),
330 CircuitStep::Sub(
331 40,
332 41,
333 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
334 ),
335 CircuitStep::Mul(
336 42,
337 3,
338 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
339 ),
340 CircuitStep::BitAnd(
341 43,
342 1,
343 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
344 ),
345 CircuitStep::Set(
346 2,
347 44,
348 152,
349 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
350 ),
351 CircuitStep::Sub(
352 43,
353 44,
354 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
355 ),
356 CircuitStep::Mul(
357 45,
358 3,
359 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
360 ),
361 CircuitStep::BitAnd(
362 46,
363 1,
364 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
365 ),
366 CircuitStep::Set(
367 2,
368 47,
369 153,
370 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
371 ),
372 CircuitStep::Sub(
373 46,
374 47,
375 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
376 ),
377 CircuitStep::Mul(
378 48,
379 3,
380 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
381 ),
382 CircuitStep::BitAnd(
383 49,
384 1,
385 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
386 ),
387 CircuitStep::Set(
388 2,
389 50,
390 154,
391 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
392 ),
393 CircuitStep::Sub(
394 49,
395 50,
396 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
397 ),
398 CircuitStep::Mul(
399 51,
400 3,
401 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
402 ),
403 CircuitStep::BitAnd(
404 52,
405 1,
406 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
407 ),
408 CircuitStep::Set(
409 2,
410 53,
411 155,
412 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
413 ),
414 CircuitStep::Sub(
415 52,
416 53,
417 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
418 ),
419 CircuitStep::Mul(
420 54,
421 3,
422 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
423 ),
424 CircuitStep::BitAnd(
425 55,
426 1,
427 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
428 ),
429 CircuitStep::Set(
430 2,
431 56,
432 156,
433 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
434 ),
435 CircuitStep::Sub(
436 55,
437 56,
438 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
439 ),
440 CircuitStep::Mul(
441 57,
442 3,
443 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
444 ),
445 CircuitStep::BitAnd(
446 58,
447 1,
448 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
449 ),
450 CircuitStep::Set(
451 2,
452 59,
453 157,
454 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
455 ),
456 CircuitStep::Sub(
457 58,
458 59,
459 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
460 ),
461 CircuitStep::Mul(
462 60,
463 3,
464 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
465 ),
466 CircuitStep::BitAnd(
467 61,
468 1,
469 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
470 ),
471 CircuitStep::Set(
472 2,
473 62,
474 158,
475 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
476 ),
477 CircuitStep::Sub(
478 61,
479 62,
480 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
481 ),
482 CircuitStep::Mul(
483 63,
484 3,
485 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
486 ),
487 CircuitStep::BitAnd(
488 64,
489 1,
490 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
491 ),
492 CircuitStep::Set(
493 2,
494 65,
495 159,
496 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
497 ),
498 CircuitStep::Sub(
499 64,
500 65,
501 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
502 ),
503 CircuitStep::Mul(
504 66,
505 3,
506 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
507 ),
508 CircuitStep::BitAnd(
509 67,
510 1,
511 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
512 ),
513 CircuitStep::Set(
514 2,
515 68,
516 160,
517 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
518 ),
519 CircuitStep::Sub(
520 67,
521 68,
522 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
523 ),
524 CircuitStep::Mul(
525 69,
526 3,
527 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
528 ),
529 CircuitStep::BitAnd(
530 70,
531 1,
532 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
533 ),
534 CircuitStep::Set(
535 2,
536 71,
537 161,
538 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
539 ),
540 ],
541 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
542 ),
543 CircuitStep::Get(
544 2,
545 150,
546 0,
547 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
548 ),
549 CircuitStep::Get(
550 2,
551 151,
552 0,
553 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
554 ),
555 CircuitStep::Mul(
556 39,
557 2,
558 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
559 ),
560 CircuitStep::Add(
561 38,
562 40,
563 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
564 ),
565 CircuitStep::Get(
566 2,
567 152,
568 0,
569 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
570 ),
571 CircuitStep::Mul(
572 42,
573 4,
574 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
575 ),
576 CircuitStep::Add(
577 41,
578 43,
579 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
580 ),
581 CircuitStep::Get(
582 2,
583 153,
584 0,
585 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
586 ),
587 CircuitStep::Mul(
588 45,
589 5,
590 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
591 ),
592 CircuitStep::Add(
593 44,
594 46,
595 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
596 ),
597 CircuitStep::Get(
598 2,
599 154,
600 0,
601 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
602 ),
603 CircuitStep::Mul(
604 48,
605 6,
606 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
607 ),
608 CircuitStep::Add(
609 47,
610 49,
611 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
612 ),
613 CircuitStep::Get(
614 2,
615 155,
616 0,
617 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
618 ),
619 CircuitStep::Mul(
620 51,
621 7,
622 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
623 ),
624 CircuitStep::Add(
625 50,
626 52,
627 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
628 ),
629 CircuitStep::Get(
630 2,
631 156,
632 0,
633 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
634 ),
635 CircuitStep::Mul(
636 54,
637 8,
638 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
639 ),
640 CircuitStep::Add(
641 53,
642 55,
643 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
644 ),
645 CircuitStep::Get(
646 2,
647 157,
648 0,
649 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
650 ),
651 CircuitStep::Mul(
652 57,
653 9,
654 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
655 ),
656 CircuitStep::Add(
657 56,
658 58,
659 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
660 ),
661 CircuitStep::Get(
662 2,
663 158,
664 0,
665 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
666 ),
667 CircuitStep::Mul(
668 60,
669 10,
670 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
671 ),
672 CircuitStep::Add(
673 59,
674 61,
675 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
676 ),
677 CircuitStep::Get(
678 2,
679 159,
680 0,
681 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
682 ),
683 CircuitStep::Mul(
684 63,
685 11,
686 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
687 ),
688 CircuitStep::Add(
689 62,
690 64,
691 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
692 ),
693 CircuitStep::Get(
694 2,
695 160,
696 0,
697 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
698 ),
699 CircuitStep::Mul(
700 66,
701 12,
702 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
703 ),
704 CircuitStep::Add(
705 65,
706 67,
707 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
708 ),
709 CircuitStep::Get(
710 2,
711 161,
712 0,
713 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
714 ),
715 CircuitStep::Mul(
716 69,
717 13,
718 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
719 ),
720 CircuitStep::Add(
721 68,
722 70,
723 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
724 ),
725 CircuitStep::Sub(
726 37,
727 71,
728 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
729 ),
730 CircuitStep::Mul(
731 72,
732 14,
733 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
734 ),
735 CircuitStep::EqZero(
736 73,
737 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:46",
738 ),
739 ],
740 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:40",
741 ),
742 CircuitStep::Sub(
743 15,
744 30,
745 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
746 ),
747 CircuitStep::If(
748 31,
749 &[
750 CircuitStep::Sub(
751 28,
752 29,
753 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
754 ),
755 CircuitStep::Sub(
756 32,
757 15,
758 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
759 ),
760 CircuitStep::Nondet(
761 &[
762 CircuitStep::BitAnd(
763 33,
764 1,
765 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
766 ),
767 CircuitStep::Set(
768 2,
769 34,
770 150,
771 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
772 ),
773 CircuitStep::Sub(
774 33,
775 34,
776 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
777 ),
778 CircuitStep::Mul(
779 35,
780 3,
781 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
782 ),
783 CircuitStep::BitAnd(
784 36,
785 1,
786 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
787 ),
788 CircuitStep::Set(
789 2,
790 37,
791 151,
792 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
793 ),
794 CircuitStep::Sub(
795 36,
796 37,
797 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
798 ),
799 CircuitStep::Mul(
800 38,
801 3,
802 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
803 ),
804 CircuitStep::BitAnd(
805 39,
806 1,
807 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
808 ),
809 CircuitStep::Set(
810 2,
811 40,
812 152,
813 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
814 ),
815 CircuitStep::Sub(
816 39,
817 40,
818 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
819 ),
820 CircuitStep::Mul(
821 41,
822 3,
823 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
824 ),
825 CircuitStep::BitAnd(
826 42,
827 1,
828 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
829 ),
830 CircuitStep::Set(
831 2,
832 43,
833 153,
834 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
835 ),
836 CircuitStep::Sub(
837 42,
838 43,
839 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
840 ),
841 CircuitStep::Mul(
842 44,
843 3,
844 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
845 ),
846 CircuitStep::BitAnd(
847 45,
848 1,
849 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
850 ),
851 CircuitStep::Set(
852 2,
853 46,
854 154,
855 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
856 ),
857 CircuitStep::Sub(
858 45,
859 46,
860 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
861 ),
862 CircuitStep::Mul(
863 47,
864 3,
865 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
866 ),
867 CircuitStep::BitAnd(
868 48,
869 1,
870 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
871 ),
872 CircuitStep::Set(
873 2,
874 49,
875 155,
876 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
877 ),
878 CircuitStep::Sub(
879 48,
880 49,
881 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
882 ),
883 CircuitStep::Mul(
884 50,
885 3,
886 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
887 ),
888 CircuitStep::BitAnd(
889 51,
890 1,
891 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
892 ),
893 CircuitStep::Set(
894 2,
895 52,
896 156,
897 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
898 ),
899 CircuitStep::Sub(
900 51,
901 52,
902 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
903 ),
904 CircuitStep::Mul(
905 53,
906 3,
907 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
908 ),
909 CircuitStep::BitAnd(
910 54,
911 1,
912 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
913 ),
914 CircuitStep::Set(
915 2,
916 55,
917 157,
918 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
919 ),
920 CircuitStep::Sub(
921 54,
922 55,
923 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
924 ),
925 CircuitStep::Mul(
926 56,
927 3,
928 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
929 ),
930 CircuitStep::BitAnd(
931 57,
932 1,
933 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
934 ),
935 CircuitStep::Set(
936 2,
937 58,
938 158,
939 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
940 ),
941 CircuitStep::Sub(
942 57,
943 58,
944 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
945 ),
946 CircuitStep::Mul(
947 59,
948 3,
949 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
950 ),
951 CircuitStep::BitAnd(
952 60,
953 1,
954 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
955 ),
956 CircuitStep::Set(
957 2,
958 61,
959 159,
960 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
961 ),
962 CircuitStep::Sub(
963 60,
964 61,
965 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
966 ),
967 CircuitStep::Mul(
968 62,
969 3,
970 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
971 ),
972 CircuitStep::BitAnd(
973 63,
974 1,
975 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
976 ),
977 CircuitStep::Set(
978 2,
979 64,
980 160,
981 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
982 ),
983 CircuitStep::Sub(
984 63,
985 64,
986 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
987 ),
988 CircuitStep::Mul(
989 65,
990 3,
991 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
992 ),
993 CircuitStep::BitAnd(
994 66,
995 1,
996 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
997 ),
998 CircuitStep::Set(
999 2,
1000 67,
1001 161,
1002 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1003 ),
1004 ],
1005 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1006 ),
1007 CircuitStep::Get(
1008 2,
1009 150,
1010 0,
1011 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1012 ),
1013 CircuitStep::Get(
1014 2,
1015 151,
1016 0,
1017 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1018 ),
1019 CircuitStep::Mul(
1020 35,
1021 2,
1022 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1023 ),
1024 CircuitStep::Add(
1025 34,
1026 36,
1027 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1028 ),
1029 CircuitStep::Get(
1030 2,
1031 152,
1032 0,
1033 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1034 ),
1035 CircuitStep::Mul(
1036 38,
1037 4,
1038 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1039 ),
1040 CircuitStep::Add(
1041 37,
1042 39,
1043 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1044 ),
1045 CircuitStep::Get(
1046 2,
1047 153,
1048 0,
1049 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1050 ),
1051 CircuitStep::Mul(
1052 41,
1053 5,
1054 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1055 ),
1056 CircuitStep::Add(
1057 40,
1058 42,
1059 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1060 ),
1061 CircuitStep::Get(
1062 2,
1063 154,
1064 0,
1065 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1066 ),
1067 CircuitStep::Mul(
1068 44,
1069 6,
1070 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1071 ),
1072 CircuitStep::Add(
1073 43,
1074 45,
1075 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1076 ),
1077 CircuitStep::Get(
1078 2,
1079 155,
1080 0,
1081 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1082 ),
1083 CircuitStep::Mul(
1084 47,
1085 7,
1086 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1087 ),
1088 CircuitStep::Add(
1089 46,
1090 48,
1091 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1092 ),
1093 CircuitStep::Get(
1094 2,
1095 156,
1096 0,
1097 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1098 ),
1099 CircuitStep::Mul(
1100 50,
1101 8,
1102 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1103 ),
1104 CircuitStep::Add(
1105 49,
1106 51,
1107 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1108 ),
1109 CircuitStep::Get(
1110 2,
1111 157,
1112 0,
1113 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1114 ),
1115 CircuitStep::Mul(
1116 53,
1117 9,
1118 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1119 ),
1120 CircuitStep::Add(
1121 52,
1122 54,
1123 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1124 ),
1125 CircuitStep::Get(
1126 2,
1127 158,
1128 0,
1129 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1130 ),
1131 CircuitStep::Mul(
1132 56,
1133 10,
1134 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1135 ),
1136 CircuitStep::Add(
1137 55,
1138 57,
1139 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1140 ),
1141 CircuitStep::Get(
1142 2,
1143 159,
1144 0,
1145 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1146 ),
1147 CircuitStep::Mul(
1148 59,
1149 11,
1150 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1151 ),
1152 CircuitStep::Add(
1153 58,
1154 60,
1155 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1156 ),
1157 CircuitStep::Get(
1158 2,
1159 160,
1160 0,
1161 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1162 ),
1163 CircuitStep::Mul(
1164 62,
1165 12,
1166 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1167 ),
1168 CircuitStep::Add(
1169 61,
1170 63,
1171 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1172 ),
1173 CircuitStep::Get(
1174 2,
1175 161,
1176 0,
1177 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1178 ),
1179 CircuitStep::Mul(
1180 65,
1181 13,
1182 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1183 ),
1184 CircuitStep::Add(
1185 64,
1186 66,
1187 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1188 ),
1189 CircuitStep::Sub(
1190 33,
1191 67,
1192 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1193 ),
1194 CircuitStep::Mul(
1195 68,
1196 14,
1197 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1198 ),
1199 CircuitStep::EqZero(
1200 69,
1201 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1202 ),
1203 ],
1204 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:48",
1205 ),
1206 ],
1207 "external/risc0/risc0/zkvm/circuit/mem_check.cpp:33",
1208 ),
1209 CircuitStep::Get(
1210 2,
1211 149,
1212 0,
1213 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1214 ),
1215 CircuitStep::Sub(28, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1216 CircuitStep::Mul(28, 29, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1217 CircuitStep::EqZero(30, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1218 CircuitStep::Get(
1219 2,
1220 150,
1221 0,
1222 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1223 ),
1224 CircuitStep::Sub(31, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1225 CircuitStep::Mul(31, 32, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1226 CircuitStep::Sub(31, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1227 CircuitStep::Mul(33, 34, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1228 CircuitStep::Sub(31, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1229 CircuitStep::Mul(35, 36, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1230 CircuitStep::EqZero(37, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1231 CircuitStep::Get(
1232 2,
1233 151,
1234 0,
1235 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1236 ),
1237 CircuitStep::Sub(38, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1238 CircuitStep::Mul(38, 39, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1239 CircuitStep::Sub(38, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1240 CircuitStep::Mul(40, 41, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1241 CircuitStep::Sub(38, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1242 CircuitStep::Mul(42, 43, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1243 CircuitStep::EqZero(44, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1244 CircuitStep::Get(
1245 2,
1246 152,
1247 0,
1248 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1249 ),
1250 CircuitStep::Sub(45, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1251 CircuitStep::Mul(45, 46, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1252 CircuitStep::Sub(45, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1253 CircuitStep::Mul(47, 48, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1254 CircuitStep::Sub(45, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1255 CircuitStep::Mul(49, 50, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1256 CircuitStep::EqZero(51, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1257 CircuitStep::Get(
1258 2,
1259 153,
1260 0,
1261 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1262 ),
1263 CircuitStep::Sub(52, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1264 CircuitStep::Mul(52, 53, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1265 CircuitStep::Sub(52, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1266 CircuitStep::Mul(54, 55, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1267 CircuitStep::Sub(52, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1268 CircuitStep::Mul(56, 57, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1269 CircuitStep::EqZero(58, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1270 CircuitStep::Get(
1271 2,
1272 154,
1273 0,
1274 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1275 ),
1276 CircuitStep::Sub(59, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1277 CircuitStep::Mul(59, 60, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1278 CircuitStep::Sub(59, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1279 CircuitStep::Mul(61, 62, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1280 CircuitStep::Sub(59, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1281 CircuitStep::Mul(63, 64, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1282 CircuitStep::EqZero(65, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1283 CircuitStep::Get(
1284 2,
1285 155,
1286 0,
1287 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1288 ),
1289 CircuitStep::Sub(66, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1290 CircuitStep::Mul(66, 67, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1291 CircuitStep::Sub(66, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1292 CircuitStep::Mul(68, 69, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1293 CircuitStep::Sub(66, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1294 CircuitStep::Mul(70, 71, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1295 CircuitStep::EqZero(72, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1296 CircuitStep::Get(
1297 2,
1298 156,
1299 0,
1300 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1301 ),
1302 CircuitStep::Sub(73, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1303 CircuitStep::Mul(73, 74, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1304 CircuitStep::Sub(73, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1305 CircuitStep::Mul(75, 76, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1306 CircuitStep::Sub(73, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1307 CircuitStep::Mul(77, 78, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1308 CircuitStep::EqZero(79, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1309 CircuitStep::Get(
1310 2,
1311 157,
1312 0,
1313 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1314 ),
1315 CircuitStep::Sub(80, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1316 CircuitStep::Mul(80, 81, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1317 CircuitStep::Sub(80, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1318 CircuitStep::Mul(82, 83, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1319 CircuitStep::Sub(80, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1320 CircuitStep::Mul(84, 85, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1321 CircuitStep::EqZero(86, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1322 CircuitStep::Get(
1323 2,
1324 158,
1325 0,
1326 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1327 ),
1328 CircuitStep::Sub(87, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1329 CircuitStep::Mul(87, 88, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1330 CircuitStep::Sub(87, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1331 CircuitStep::Mul(89, 90, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1332 CircuitStep::Sub(87, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1333 CircuitStep::Mul(91, 92, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1334 CircuitStep::EqZero(93, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1335 CircuitStep::Get(
1336 2,
1337 159,
1338 0,
1339 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1340 ),
1341 CircuitStep::Sub(94, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1342 CircuitStep::Mul(94, 95, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1343 CircuitStep::Sub(94, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1344 CircuitStep::Mul(96, 97, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1345 CircuitStep::Sub(94, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1346 CircuitStep::Mul(98, 99, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1347 CircuitStep::EqZero(100, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1348 CircuitStep::Get(
1349 2,
1350 160,
1351 0,
1352 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1353 ),
1354 CircuitStep::Sub(101, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1355 CircuitStep::Mul(101, 102, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1356 CircuitStep::Sub(101, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1357 CircuitStep::Mul(103, 104, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1358 CircuitStep::Sub(101, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1359 CircuitStep::Mul(105, 106, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1360 CircuitStep::EqZero(107, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1361 CircuitStep::Get(
1362 2,
1363 161,
1364 0,
1365 "external/risc0/risc0/zkvm/circuit/mem_check.h:28",
1366 ),
1367 CircuitStep::Sub(108, 15, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1368 CircuitStep::Mul(108, 109, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1369 CircuitStep::Sub(108, 0, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1370 CircuitStep::Mul(110, 111, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1371 CircuitStep::Sub(108, 1, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1372 CircuitStep::Mul(112, 113, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1373 CircuitStep::EqZero(114, "external/risc0/risc0/zkvm/circuit/mem_check.h:28"),
1374 ],
1375 "external/risc0/risc0/zkvm/circuit/data_regs.cpp:190",
1376 ),
1377 ],
1378 ret: 15,
1379};
1380
1381impl<S: CustomStep> CircuitStepVerify<S> for CircuitImpl {
1382 #[allow(unused)]
1383 fn step_verify(
1384 &self,
1385 ctx: &CircuitStepContext,
1386 custom: &mut S,
1387 args: &mut [&mut [Fp]],
1388 ) -> Result<Fp> {
1389 DEF.step(ctx, custom, args)
1390 }
1391}