Files
ezkl/tests/assets/proof_aggr.json
2024-10-23 09:58:55 -04:00

3075 lines
45 KiB
JSON

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