Files
ezkl/examples/test_failure_proof.json

3208 lines
46 KiB
JSON

{
"protocol": null,
"instances": [
[
"4600000000000000000000000000000000000000000000000000000000000000",
"4600000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000"
]
],
"proof": [
27,
52,
229,
237,
106,
47,
104,
139,
195,
16,
247,
18,
145,
238,
193,
112,
231,
210,
162,
181,
88,
159,
105,
146,
235,
166,
231,
94,
190,
221,
114,
121,
38,
74,
15,
203,
84,
140,
187,
76,
74,
119,
169,
120,
36,
11,
231,
145,
93,
149,
127,
116,
121,
103,
2,
201,
9,
141,
150,
86,
168,
163,
224,
75,
13,
218,
248,
168,
228,
38,
80,
126,
232,
235,
204,
38,
70,
52,
149,
234,
57,
12,
168,
137,
212,
201,
30,
196,
116,
174,
32,
208,
21,
13,
9,
203,
12,
255,
163,
165,
95,
59,
134,
110,
145,
6,
116,
175,
184,
193,
91,
57,
79,
33,
142,
137,
114,
97,
53,
217,
103,
182,
217,
130,
59,
185,
122,
12,
0,
3,
80,
187,
27,
66,
77,
167,
18,
86,
17,
150,
240,
246,
61,
78,
205,
173,
156,
81,
146,
64,
223,
26,
73,
65,
106,
133,
175,
13,
38,
135,
44,
87,
116,
65,
60,
12,
58,
40,
196,
84,
219,
147,
152,
61,
51,
44,
0,
88,
227,
233,
26,
181,
230,
211,
194,
243,
79,
224,
16,
106,
254,
126,
11,
75,
228,
55,
247,
155,
178,
243,
203,
146,
128,
212,
172,
11,
235,
75,
230,
227,
143,
131,
195,
235,
75,
90,
20,
25,
31,
36,
18,
152,
85,
155,
40,
43,
96,
236,
189,
27,
240,
31,
59,
20,
73,
239,
202,
117,
143,
202,
218,
197,
14,
18,
63,
238,
128,
100,
147,
200,
169,
200,
115,
26,
251,
229,
6,
169,
20,
178,
220,
99,
47,
227,
75,
1,
221,
168,
65,
184,
117,
235,
32,
53,
50,
45,
75,
244,
103,
152,
163,
83,
158,
55,
221,
107,
206,
250,
14,
226,
249,
139,
103,
105,
131,
174,
4,
49,
122,
25,
59,
54,
49,
100,
143,
46,
119,
34,
52,
116,
78,
128,
65,
36,
160,
203,
253,
234,
22,
245,
28,
66,
162,
182,
192,
39,
94,
159,
25,
59,
170,
240,
94,
1,
175,
79,
213,
171,
126,
180,
172,
66,
178,
250,
154,
178,
17,
157,
37,
230,
234,
252,
31,
206,
23,
6,
223,
70,
123,
65,
250,
94,
164,
16,
127,
66,
129,
95,
107,
91,
131,
242,
65,
115,
71,
127,
52,
244,
148,
12,
54,
63,
46,
94,
10,
243,
138,
37,
18,
62,
214,
145,
102,
91,
117,
114,
137,
50,
91,
90,
189,
78,
93,
1,
5,
79,
95,
35,
248,
66,
251,
121,
166,
19,
212,
47,
21,
232,
138,
68,
251,
80,
110,
74,
211,
173,
21,
102,
135,
74,
251,
151,
139,
243,
81,
30,
213,
173,
14,
231,
37,
20,
90,
220,
8,
30,
73,
81,
5,
87,
20,
204,
192,
196,
80,
21,
221,
163,
158,
55,
16,
162,
15,
9,
146,
185,
165,
202,
185,
2,
230,
250,
56,
250,
65,
74,
247,
176,
229,
107,
34,
99,
97,
13,
139,
27,
178,
113,
5,
95,
115,
48,
31,
195,
190,
79,
21,
253,
124,
208,
207,
159,
29,
18,
228,
58,
22,
152,
74,
14,
105,
249,
8,
2,
216,
232,
212,
134,
143,
18,
88,
250,
104,
246,
24,
60,
117,
96,
146,
59,
124,
254,
213,
160,
212,
131,
222,
138,
227,
170,
147,
7,
238,
45,
47,
172,
214,
115,
61,
116,
118,
57,
24,
162,
89,
226,
36,
110,
115,
253,
114,
23,
177,
209,
101,
189,
185,
195,
63,
208,
93,
36,
95,
196,
237,
205,
7,
93,
96,
253,
113,
60,
38,
201,
75,
244,
59,
189,
93,
225,
18,
232,
176,
213,
143,
220,
184,
142,
225,
142,
222,
36,
170,
6,
77,
210,
247,
133,
3,
227,
178,
229,
185,
76,
53,
37,
40,
2,
62,
30,
86,
138,
56,
116,
122,
206,
37,
119,
166,
208,
128,
27,
238,
58,
80,
190,
84,
255,
212,
162,
41,
232,
20,
247,
79,
58,
122,
199,
49,
202,
255,
73,
225,
145,
159,
154,
183,
136,
201,
53,
252,
195,
247,
17,
46,
136,
73,
150,
55,
198,
36,
195,
5,
19,
13,
4,
125,
129,
234,
196,
242,
104,
236,
0,
47,
213,
149,
238,
54,
70,
131,
174,
77,
40,
146,
151,
255,
221,
18,
136,
138,
109,
24,
12,
1,
93,
137,
54,
80,
52,
198,
39,
132,
115,
61,
229,
11,
208,
130,
219,
159,
239,
160,
81,
3,
20,
116,
158,
249,
111,
159,
168,
101,
206,
244,
102,
40,
121,
103,
242,
201,
38,
176,
180,
214,
157,
55,
11,
8,
96,
114,
80,
76,
214,
204,
68,
98,
32,
61,
21,
103,
171,
160,
152,
31,
193,
126,
5,
46,
58,
203,
12,
159,
205,
137,
61,
238,
141,
214,
147,
228,
108,
95,
40,
148,
176,
136,
21,
233,
95,
103,
249,
78,
10,
120,
237,
1,
234,
37,
136,
13,
14,
140,
142,
155,
90,
231,
143,
236,
31,
61,
196,
217,
62,
201,
175,
60,
156,
164,
67,
89,
246,
156,
169,
188,
71,
83,
154,
103,
11,
70,
155,
37,
84,
179,
199,
55,
235,
10,
219,
109,
127,
74,
226,
23,
19,
32,
9,
92,
96,
6,
12,
176,
95,
45,
197,
88,
175,
119,
223,
108,
173,
108,
79,
20,
74,
70,
251,
33,
138,
206,
193,
103,
136,
89,
31,
20,
6,
195,
66,
205,
242,
100,
173,
183,
181,
129,
63,
238,
225,
137,
197,
127,
7,
203,
204,
0,
90,
178,
148,
202,
53,
130,
110,
41,
95,
99,
34,
12,
180,
71,
159,
77,
225,
50,
45,
195,
107,
154,
79,
224,
115,
222,
180,
4,
82,
231,
235,
27,
72,
62,
193,
146,
200,
97,
22,
175,
51,
71,
5,
191,
116,
247,
115,
201,
31,
123,
216,
125,
128,
72,
107,
58,
199,
159,
24,
17,
176,
46,
119,
32,
204,
215,
32,
243,
48,
216,
4,
51,
112,
167,
4,
104,
191,
188,
242,
176,
10,
32,
84,
74,
22,
238,
81,
203,
240,
92,
193,
116,
223,
152,
112,
25,
12,
15,
32,
86,
102,
112,
161,
129,
36,
251,
226,
3,
72,
94,
165,
152,
189,
212,
177,
94,
25,
15,
105,
138,
239,
239,
196,
177,
148,
88,
199,
44,
37,
26,
235,
175,
14,
119,
35,
54,
165,
172,
28,
167,
84,
167,
241,
232,
226,
148,
58,
141,
201,
138,
121,
108,
84,
52,
239,
103,
21,
190,
13,
27,
64,
73,
183,
29,
200,
142,
212,
114,
216,
93,
130,
50,
119,
88,
191,
13,
22,
220,
202,
176,
169,
47,
19,
71,
211,
213,
118,
95,
94,
140,
83,
44,
84,
126,
245,
84,
93,
60,
249,
19,
120,
165,
123,
101,
19,
203,
79,
59,
26,
249,
217,
191,
64,
121,
246,
23,
166,
237,
121,
125,
159,
166,
172,
32,
98,
105,
44,
83,
80,
50,
36,
81,
127,
237,
120,
204,
59,
250,
13,
13,
16,
195,
1,
149,
203,
111,
111,
49,
83,
183,
135,
4,
24,
159,
116,
6,
162,
198,
102,
2,
6,
208,
162,
203,
65,
172,
183,
111,
173,
122,
251,
56,
197,
166,
27,
60,
170,
12,
214,
223,
189,
107,
242,
43,
19,
106,
36,
1,
57,
46,
243,
249,
30,
156,
8,
103,
184,
9,
36,
102,
111,
218,
116,
192,
94,
39,
172,
124,
108,
118,
139,
179,
223,
104,
106,
224,
16,
78,
239,
8,
158,
204,
39,
73,
217,
184,
255,
187,
92,
156,
237,
70,
3,
98,
178,
40,
45,
28,
152,
60,
205,
237,
99,
40,
146,
152,
47,
120,
212,
197,
160,
13,
1,
166,
161,
121,
46,
201,
118,
221,
210,
159,
211,
25,
228,
108,
9,
144,
146,
0,
99,
52,
204,
57,
218,
228,
155,
42,
152,
91,
183,
195,
210,
31,
131,
165,
121,
147,
50,
150,
196,
2,
97,
229,
233,
49,
254,
47,
70,
132,
225,
233,
186,
248,
106,
203,
241,
235,
32,
44,
49,
32,
169,
228,
134,
37,
252,
40,
12,
176,
167,
15,
173,
23,
156,
108,
180,
101,
221,
89,
106,
91,
91,
129,
124,
67,
115,
55,
99,
30,
155,
251,
98,
150,
116,
24,
117,
45,
156,
23,
222,
1,
254,
123,
115,
19,
93,
14,
43,
89,
65,
254,
158,
94,
42,
103,
52,
45,
68,
179,
83,
53,
16,
98,
225,
59,
59,
204,
200,
3,
244,
12,
217,
120,
60,
122,
197,
80,
227,
5,
37,
157,
130,
212,
96,
240,
83,
119,
154,
174,
41,
115,
126,
249,
102,
57,
159,
225,
147,
24,
145,
3,
206,
64,
169,
97,
71,
125,
32,
218,
72,
216,
253,
39,
223,
159,
253,
128,
23,
95,
200,
35,
227,
97,
54,
196,
190,
96,
19,
192,
49,
41,
214,
35,
237,
205,
113,
116,
225,
176,
126,
245,
113,
94,
38,
140,
49,
32,
83,
136,
51,
76,
121,
194,
100,
115,
27,
92,
127,
102,
182,
199,
215,
128,
205,
16,
88,
123,
226,
70,
17,
159,
162,
76,
97,
111,
242,
110,
58,
209,
95,
114,
217,
191,
242,
8,
79,
176,
123,
13,
31,
61,
54,
97,
9,
90,
239,
41,
33,
130,
120,
78,
0,
120,
215,
85,
25,
97,
173,
202,
244,
56,
64,
70,
27,
23,
242,
243,
204,
78,
99,
215,
134,
22,
188,
109,
45,
177,
80,
39,
65,
219,
193,
27,
245,
221,
128,
8,
44,
72,
99,
104,
10,
193,
181,
155,
237,
212,
76,
242,
212,
94,
14,
33,
208,
7,
149,
72,
10,
51,
72,
34,
201,
47,
117,
204,
113,
236,
188,
217,
156,
187,
108,
233,
61,
254,
176,
161,
86,
87,
162,
238,
114,
211,
219,
118,
91,
248,
71,
219,
64,
206,
134,
19,
29,
179,
135,
33,
249,
166,
204,
92,
9,
82,
21,
142,
96,
180,
34,
98,
97,
236,
189,
86,
170,
92,
4,
221,
103,
218,
80,
190,
5,
225,
111,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
16,
156,
43,
52,
182,
44,
62,
203,
137,
210,
68,
168,
100,
203,
129,
152,
29,
162,
103,
15,
143,
89,
133,
41,
125,
4,
249,
193,
247,
0,
241,
15,
13,
23,
250,
245,
50,
182,
4,
90,
179,
97,
124,
194,
129,
222,
104,
57,
145,
6,
7,
76,
234,
197,
230,
14,
181,
142,
154,
14,
131,
254,
189,
89,
9,
118,
242,
210,
208,
189,
184,
237,
128,
85,
109,
136,
3,
44,
50,
207,
113,
20,
43,
182,
54,
194,
112,
39,
135,
60,
200,
176,
54,
23,
60,
75,
23,
198,
224,
100,
15,
9,
165,
5,
65,
131,
10,
31,
209,
235,
26,
20,
253,
146,
148,
4,
134,
61,
230,
101,
241,
211,
226,
226,
97,
154,
169,
35,
23,
198,
224,
100,
15,
9,
165,
5,
65,
131,
10,
31,
209,
235,
26,
20,
253,
146,
148,
4,
134,
61,
230,
101,
241,
211,
226,
226,
97,
154,
169,
35,
45,
117,
105,
20,
72,
47,
158,
55,
37,
68,
13,
208,
59,
226,
182,
235,
72,
122,
251,
209,
173,
165,
241,
132,
109,
191,
176,
131,
106,
158,
59,
247,
45,
117,
105,
20,
72,
47,
158,
55,
37,
68,
13,
208,
59,
226,
182,
235,
72,
122,
251,
209,
173,
165,
241,
132,
109,
191,
176,
131,
106,
158,
59,
247,
22,
153,
73,
106,
249,
133,
203,
178,
57,
9,
135,
41,
187,
132,
11,
240,
138,
27,
180,
88,
105,
211,
99,
169,
190,
185,
129,
255,
57,
100,
122,
54,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
22,
153,
73,
106,
249,
133,
203,
178,
57,
9,
135,
41,
187,
132,
11,
240,
138,
27,
180,
88,
105,
211,
99,
169,
190,
185,
129,
255,
57,
100,
122,
54,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
2,
173,
223,
141,
156,
76,
111,
106,
233,
174,
53,
162,
64,
11,
1,
250,
217,
153,
62,
144,
128,
73,
94,
33,
168,
41,
43,
210,
121,
243,
243,
60,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
20,
67,
235,
191,
9,
37,
59,
228,
80,
162,
120,
52,
186,
64,
176,
255,
161,
118,
233,
127,
0,
20,
61,
141,
21,
65,
177,
244,
91,
151,
209,
119,
38,
23,
90,
85,
94,
224,
23,
172,
40,
164,
153,
28,
189,
211,
189,
213,
171,
81,
242,
200,
179,
31,
59,
199,
251,
197,
112,
74,
173,
138,
79,
28,
21,
120,
173,
71,
245,
28,
44,
124,
132,
150,
190,
90,
153,
102,
85,
178,
171,
66,
125,
89,
197,
171,
183,
213,
29,
87,
94,
61,
11,
178,
104,
196,
8,
148,
58,
92,
199,
185,
225,
45,
252,
126,
32,
173,
70,
76,
126,
73,
24,
151,
131,
121,
14,
93,
208,
56,
108,
124,
153,
108,
99,
147,
28,
138,
39,
155,
134,
172,
192,
11,
57,
138,
151,
211,
71,
0,
223,
3,
62,
205,
145,
39,
195,
82,
63,
44,
72,
184,
23,
129,
76,
128,
147,
204,
1,
210,
24,
18,
221,
208,
158,
18,
217,
254,
109,
115,
248,
54,
72,
94,
95,
214,
55,
34,
212,
141,
14,
182,
124,
54,
40,
194,
189,
124,
47,
198,
97,
68,
35,
187,
34,
212,
1,
82,
54,
197,
101,
7,
50,
180,
22,
101,
105,
223,
108,
18,
152,
77,
84,
66,
48,
214,
63,
104,
176,
181,
46,
18,
193,
120,
37,
188,
111,
219,
22,
237,
83,
253,
23,
161,
119,
106,
203,
16,
4,
171,
201,
101,
153,
31,
237,
189,
69,
1,
19,
141,
211,
29,
169,
147,
131,
28,
22,
189,
178,
176,
100,
21,
159,
93,
91,
168,
97,
55,
41,
150,
18,
41,
50,
13,
144,
39,
247,
180,
21,
234,
128,
35,
161,
87,
176,
75,
254,
3,
37,
147,
220,
231,
149,
194,
25,
65,
132,
170,
242,
166,
78,
174,
170,
97,
215,
64,
242,
79,
156,
35,
140,
84,
31,
217,
215,
14,
61,
186,
188,
166,
18,
113,
219,
149,
98,
93,
147,
12,
43,
18,
46,
110,
34,
158,
176,
83,
52,
188,
58,
212,
82,
218,
69,
133,
240,
169,
233,
132,
10,
167,
60,
186,
30,
233,
174,
94,
84,
65,
155,
216,
97,
9,
55,
196,
78,
200,
60,
170,
41,
98,
122,
198,
63,
86,
70,
78,
53,
188,
99,
73,
24,
49,
135,
232,
5,
41,
91,
123,
231,
58,
77,
52,
21,
193,
164,
178,
114,
210,
108,
92,
228,
238,
171,
16,
140,
121,
210,
196,
177,
188,
19,
131,
73,
24,
138,
52,
21,
36,
166,
129,
211,
128,
28,
46,
206,
221,
155,
59,
111,
215,
33,
74,
47,
0,
157,
240,
69,
93,
59,
79,
7,
171,
15,
13,
141,
197,
245,
240,
12,
21,
167,
197,
81,
222,
25,
223,
119,
17,
43,
96,
61,
165,
246,
22,
123,
70,
79,
252,
224,
93,
20,
66,
178,
9,
57,
6,
118,
109,
135,
148,
16,
210,
71,
42,
221,
89,
4,
166,
115,
133,
78,
178,
62,
1,
127,
203,
24,
115,
225,
182,
187,
64,
173,
119,
2,
88,
236,
233,
59,
139,
233,
51,
15,
155,
132,
79,
164,
25,
248,
10,
211,
245,
75,
84,
100,
33,
255,
169,
45,
150,
247,
9,
172,
1,
9,
198,
70,
199,
222,
205,
31,
0,
133,
15,
33,
67,
76,
117,
43,
57,
38,
164,
107,
5,
2,
242,
20,
125,
79,
82,
188,
200,
212,
16,
196,
215,
116,
188,
232,
97,
186,
1,
154,
109,
117,
71,
22,
9,
240,
105,
136,
83,
106,
193,
64,
18,
86,
90,
89,
197,
205,
59,
109,
222,
5,
245,
134,
83,
11,
136,
151,
93,
248,
32,
165,
79,
23,
244,
2,
230,
236,
141,
59,
233,
1,
3,
88,
91,
53,
167,
103,
80,
244,
179,
103,
173,
137,
122,
224,
65,
76,
44,
147,
161,
61,
201,
132,
58,
250,
124,
18,
111,
145,
59,
187,
123,
83,
230,
159,
70,
123,
134,
130,
14,
245,
63,
4,
75,
55,
24,
224,
108,
70,
196,
18,
217,
42,
167,
111,
216,
155,
30,
48,
76,
138,
25,
29,
203,
166,
210,
18,
72,
62,
57,
79,
45,
213,
159,
117,
63,
151,
236,
249,
253,
21,
44,
111,
243,
94,
237,
197,
168,
0,
102,
34,
4,
189,
25,
78,
145,
120,
233,
53,
133,
77,
129,
84,
182,
186,
21,
26,
195,
196,
227,
98,
124,
1,
25,
134,
46,
95,
208,
192,
233,
226,
173,
18,
177,
7,
185,
37,
94,
205,
154,
202,
84,
117,
132,
255,
135,
187,
203,
88,
35,
252,
57,
106,
237,
193,
240,
90,
71,
253,
209,
28,
67,
130,
199,
4,
51,
245,
46,
224,
64,
190,
111,
20,
89,
55,
175,
223,
20,
206,
193,
57,
185,
223,
210,
193,
191,
184,
190,
209,
175,
70,
131,
5,
29,
20,
142,
15,
188,
202,
28,
129,
183,
200,
126,
217,
46,
64,
73,
162,
210,
107,
254,
100,
82,
99,
32,
163,
107,
182,
66,
110,
233,
130,
14,
55,
36,
132,
102,
6,
236,
125,
10,
18,
148,
159,
116,
202,
128,
36,
35,
132,
176,
235,
16,
239,
150,
20,
40,
244,
242,
56,
20,
215,
47,
114,
89,
217,
3,
111,
99,
40,
14,
251,
208,
27,
225,
70,
116,
90,
145,
223,
11,
180,
164,
147,
73,
248,
139,
125,
34,
112,
254,
94,
196,
79,
44,
234,
96,
95,
117,
76,
46,
35,
147,
108,
231,
182,
17,
97,
239,
174,
184,
228,
210,
134,
182,
142,
100,
83,
96,
106,
27,
63,
56,
172,
37,
178,
78,
178,
132,
32,
215,
115,
250,
9,
124,
203,
92,
40,
42,
75,
139,
116,
72,
57,
35,
53,
31,
62,
186,
98,
134,
97,
75,
118,
5,
142,
99,
227,
13,
88,
212,
225,
28,
213,
50,
24,
197,
187,
7,
225,
107,
197,
197,
58,
127,
87,
116,
161,
233,
44,
209,
249,
241,
172,
16,
197,
234,
200,
242,
90,
9,
75,
13,
0,
165,
213,
75,
34,
12,
194,
255,
119,
224,
254,
155,
59,
45,
99,
20,
41,
138,
233,
184,
89,
190,
23,
213,
115,
27,
151,
23,
130,
251,
249,
135,
215,
124,
20,
90,
22,
79,
113,
255,
232,
58,
41,
111,
93,
37,
73,
138,
217,
29,
216,
213,
228,
110,
185,
97,
4,
108,
119,
104,
212,
215,
46,
140,
253,
180,
39,
7
],
"hex_proof": "0x1b34e5ed6a2f688bc310f71291eec170e7d2a2b5589f6992eba6e75ebedd7279264a0fcb548cbb4c4a77a978240be7915d957f74796702c9098d9656a8a3e04b0ddaf8a8e426507ee8ebcc26463495ea390ca889d4c91ec474ae20d0150d09cb0cffa3a55f3b866e910674afb8c15b394f218e89726135d967b6d9823bb97a0c000350bb1b424da712561196f0f63d4ecdad9c519240df1a49416a85af0d26872c5774413c0c3a28c454db93983d332c0058e3e91ab5e6d3c2f34fe0106afe7e0b4be437f79bb2f3cb9280d4ac0beb4be6e38f83c3eb4b5a14191f241298559b282b60ecbd1bf01f3b1449efca758fcadac50e123fee806493c8a9c8731afbe506a914b2dc632fe34b01dda841b875eb2035322d4bf46798a3539e37dd6bcefa0ee2f98b676983ae04317a193b3631648f2e772234744e804124a0cbfdea16f51c42a2b6c0275e9f193baaf05e01af4fd5ab7eb4ac42b2fa9ab2119d25e6eafc1fce1706df467b41fa5ea4107f42815f6b5b83f24173477f34f4940c363f2e5e0af38a25123ed691665b757289325b5abd4e5d01054f5f23f842fb79a613d42f15e88a44fb506e4ad3ad1566874afb978bf3511ed5ad0ee725145adc081e4951055714ccc0c45015dda39e3710a20f0992b9a5cab902e6fa38fa414af7b0e56b2263610d8b1bb271055f73301fc3be4f15fd7cd0cf9f1d12e43a16984a0e69f90802d8e8d4868f1258fa68f6183c7560923b7cfed5a0d483de8ae3aa9307ee2d2facd6733d74763918a259e2246e73fd7217b1d165bdb9c33fd05d245fc4edcd075d60fd713c26c94bf43bbd5de112e8b0d58fdcb88ee18ede24aa064dd2f78503e3b2e5b94c352528023e1e568a38747ace2577a6d0801bee3a50be54ffd4a229e814f74f3a7ac731caff49e1919f9ab788c935fcc3f7112e88499637c624c305130d047d81eac4f268ec002fd595ee364683ae4d289297ffdd12888a6d180c015d89365034c62784733de50bd082db9fefa0510314749ef96f9fa865cef466287967f2c926b0b4d69d370b086072504cd6cc4462203d1567aba0981fc17e052e3acb0c9fcd893dee8dd693e46c5f2894b08815e95f67f94e0a78ed01ea25880d0e8c8e9b5ae78fec1f3dc4d93ec9af3c9ca44359f69ca9bc47539a670b469b2554b3c737eb0adb6d7f4ae2171320095c60060cb05f2dc558af77df6cad6c4f144a46fb218acec16788591f1406c342cdf264adb7b5813feee189c57f07cbcc005ab294ca35826e295f63220cb4479f4de1322dc36b9a4fe073deb40452e7eb1b483ec192c86116af334705bf74f773c91f7bd87d80486b3ac79f1811b02e7720ccd720f330d8043370a70468bfbcf2b00a20544a16ee51cbf05cc174df9870190c0f20566670a18124fbe203485ea598bdd4b15e190f698aefefc4b19458c72c251aebaf0e772336a5ac1ca754a7f1e8e2943a8dc98a796c5434ef6715be0d1b4049b71dc88ed472d85d82327758bf0d16dccab0a92f1347d3d5765f5e8c532c547ef5545d3cf91378a57b6513cb4f3b1af9d9bf4079f617a6ed797d9fa6ac2062692c53503224517fed78cc3bfa0d0d10c30195cb6f6f3153b78704189f7406a2c6660206d0a2cb41acb76fad7afb38c5a61b3caa0cd6dfbd6bf22b136a2401392ef3f91e9c0867b80924666fda74c05e27ac7c6c768bb3df686ae0104eef089ecc2749d9b8ffbb5c9ced460362b2282d1c983ccded632892982f78d4c5a00d01a6a1792ec976ddd29fd319e46c099092006334cc39dae49b2a985bb7c3d21f83a579933296c40261e5e931fe2f4684e1e9baf86acbf1eb202c3120a9e48625fc280cb0a70fad179c6cb465dd596a5b5b817c437337631e9bfb62967418752d9c17de01fe7b73135d0e2b5941fe9e5e2a67342d44b353351062e13b3bccc803f40cd9783c7ac550e305259d82d460f053779aae29737ef966399fe193189103ce40a961477d20da48d8fd27df9ffd80175fc823e36136c4be6013c03129d623edcd7174e1b07ef5715e268c31205388334c79c264731b5c7f66b6c7d780cd10587be246119fa24c616ff26e3ad15f72d9bff2084fb07b0d1f3d3661095aef292182784e0078d7551961adcaf43840461b17f2f3cc4e63d78616bc6d2db1502741dbc11bf5dd80082c4863680ac1b59bedd44cf2d45e0e21d00795480a334822c92f75cc71ecbcd99cbb6ce93dfeb0a15657a2ee72d3db765bf847db40ce86131db38721f9a6cc5c0952158e60b4226261ecbd56aa5c04dd67da50be05e16f0000000000000000000000000000000000000000000000000000000000000000109c2b34b62c3ecb89d244a864cb81981da2670f8f5985297d04f9c1f700f10f0d17faf532b6045ab3617cc281de68399106074ceac5e60eb58e9a0e83febd590976f2d2d0bdb8ed80556d88032c32cf71142bb636c27027873cc8b036173c4b17c6e0640f09a50541830a1fd1eb1a14fd929404863de665f1d3e2e2619aa92317c6e0640f09a50541830a1fd1eb1a14fd929404863de665f1d3e2e2619aa9232d756914482f9e3725440dd03be2b6eb487afbd1ada5f1846dbfb0836a9e3bf72d756914482f9e3725440dd03be2b6eb487afbd1ada5f1846dbfb0836a9e3bf71699496af985cbb239098729bb840bf08a1bb45869d363a9beb981ff39647a3600000000000000000000000000000000000000000000000000000000000000001699496af985cbb239098729bb840bf08a1bb45869d363a9beb981ff39647a36000000000000000000000000000000000000000000000000000000000000000002addf8d9c4c6f6ae9ae35a2400b01fad9993e9080495e21a8292bd279f3f33c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001443ebbf09253be450a27834ba40b0ffa176e97f00143d8d1541b1f45b97d17726175a555ee017ac28a4991cbdd3bdd5ab51f2c8b31f3bc7fbc5704aad8a4f1c1578ad47f51c2c7c8496be5a996655b2ab427d59c5abb7d51d575e3d0bb268c408943a5cc7b9e12dfc7e20ad464c7e49189783790e5dd0386c7c996c63931c8a279b86acc00b398a97d34700df033ecd9127c3523f2c48b817814c8093cc01d21812ddd09e12d9fe6d73f836485e5fd63722d48d0eb67c3628c2bd7c2fc6614423bb22d4015236c5650732b4166569df6c12984d544230d63f68b0b52e12c17825bc6fdb16ed53fd17a1776acb1004abc965991fedbd4501138dd31da993831c16bdb2b064159f5d5ba8613729961229320d9027f7b415ea8023a157b04bfe032593dce795c2194184aaf2a64eaeaa61d740f24f9c238c541fd9d70e3dbabca61271db95625d930c2b122e6e229eb05334bc3ad452da4585f0a9e9840aa73cba1ee9ae5e54419bd8610937c44ec83caa29627ac63f56464e35bc6349183187e805295b7be73a4d3415c1a4b272d26c5ce4eeab108c79d2c4b1bc138349188a341524a681d3801c2ecedd9b3b6fd7214a2f009df0455d3b4f07ab0f0d8dc5f5f00c15a7c551de19df77112b603da5f6167b464ffce05d1442b2093906766d879410d2472add5904a673854eb23e017fcb1873e1b6bb40ad770258ece93b8be9330f9b844fa419f80ad3f54b546421ffa92d96f709ac0109c646c7decd1f00850f21434c752b3926a46b0502f2147d4f52bcc8d410c4d774bce861ba019a6d75471609f06988536ac14012565a59c5cd3b6dde05f586530b88975df820a54f17f402e6ec8d3be90103585b35a76750f4b367ad897ae0414c2c93a13dc9843afa7c126f913bbb7b53e69f467b86820ef53f044b3718e06c46c412d92aa76fd89b1e304c8a191dcba6d212483e394f2dd59f753f97ecf9fd152c6ff35eedc5a800662204bd194e9178e935854d8154b6ba151ac3c4e3627c0119862e5fd0c0e9e2ad12b107b9255ecd9aca547584ff87bbcb5823fc396aedc1f05a47fdd11c4382c70433f52ee040be6f145937afdf14cec139b9dfd2c1bfb8bed1af4683051d148e0fbcca1c81b7c87ed92e4049a2d26bfe64526320a36bb6426ee9820e3724846606ec7d0a12949f74ca80242384b0eb10ef961428f4f23814d72f7259d9036f63280efbd01be146745a91df0bb4a49349f88b7d2270fe5ec44f2cea605f754c2e23936ce7b61161efaeb8e4d286b68e6453606a1b3f38ac25b24eb28420d773fa097ccb5c282a4b8b74483923351f3eba6286614b76058e63e30d58d4e11cd53218c5bb07e16bc5c53a7f5774a1e92cd1f9f1ac10c5eac8f25a094b0d00a5d54b220cc2ff77e0fe9b3b2d6314298ae9b859be17d5731b971782fbf987d77c145a164f71ffe83a296f5d25498ad91dd8d5e46eb961046c7768d4d72e8cfdb42707",
"transcript_type": "EVM",
"split": null,
"pretty_public_inputs": {
"rescaled_inputs": [],
"inputs": [],
"processed_inputs": [],
"processed_params": [],
"processed_outputs": [],
"rescaled_outputs": [
[
"0.2734375",
"0.64453125",
"0",
"0"
]
],
"outputs": [
[
"0x0000000000000000000000000000000000000000000000000000000000000046",
"0x00000000000000000000000000000000000000000000000000000000000000a5",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000"
]
]
},
"timestamp": 1705947194974
}