@nori-zk/ethprocessor
Version:
zkApp for verifying SP1 Helios Nori proof and storing latest execution state root on Mina
231 lines (230 loc) • 8.34 kB
JSON
{
"proof": {
"Plonk": {
"public_inputs": [
"356591477763559327841179722254541194498141890019220331629082400130000650621",
"13151293184323453531892944635584013697179064770370436397047637032501050662447"
],
"encoded_proof": "0023eb7c7b6f4fca08e9a4d25e6e49b0be08083238a6d8db5b489d13e9314ab31f6c64511c0a13eb35e202d3b73b45133a843f8474cb9b4f8dea76a0a91cc20b2f2a668e57ffc94ddddc3da5727419540ab2d606fb85bbad08450ab3a8483b6c0b7e58abecdf1922205b8ef27b860510f3d9dd129d63e18fc6e2d1b7ec5bf57329d6ff939bea2073f6255d5cfa2f497cfe2aa3b1bafb69c7ae2ae9e86979cb2c21e22e80338a26239fec51de35eb40ea395c65609c539e73be09745ff51f0a6c1b6869a2a5294189c231c515e01acc3e300325d532454a71b2f7c50b0e0c51961649ec768f27442ebe02c54f9af0a71c04aafcef8191efbc1d84474be09a50d62ee1ecfbfa60e5d80cf23bce4c3560bc640c4e78b57710f98fabfa02b98278fa0c35acc61663c3fceafcedf70d8cc458efd3c6fcfb481b6c8ffc2de14a7f759a098198b4888d582ee82d3795a21745ee0ae68d2a905ffbd1e97b4717b834c91c1d01e5b64e3f07e468f68ce48ede2a2a61193eec11ff9c6b0bbaf683a382aa571700b7ec9a3e602f467845c61e62124a92b1aab5d6a7b256c1b04acf9631c4262c0f857cd5c38cb97551b3b31ef998acfebbff8cf89438c96a62d8e3e5ea4b880a4ab03163e024e552a22f6f7bb43344ddca60ad5569b4d4c2dbf6231831cda2139ed05fd4c751abc90b18fa4456481829528ed4214f939b13ea5290fef3365b0f739324e150b3fb6db49255e1e2bdaeb8aaf25b783fca2750e7eeb863d85b320d7fa898a2864487a21ad8e7d7ec993a99ffdc4d6eb61777d3c0ffbd7fb7c8dc1fac169f955dd622179b5070a1b3d4f43cb34d264b7caf96d03bdc1c5a5ce4e70edc6f54e5d7fabd4c597abf9948a4c07cb6ffa61a9a47fddc63afce258ae8ce1fc8cee5a6a2288de474e5efb7b5bf9d0b5f8b6fb79a47770f8c2f824953272d12c92273e67416c6d6c87e13a87d8278c8d5da141768c156ba3136cb62293b0f124d5414d67233d97465e8a7c34db1f1324c4fed79d781a605ddd467902c37e427b5988a266d37d6d1946900a7cc4cc200181b14f8190c0c5b038254d413cc340f1f3e3ae99755a8f19a15d85ad90ba7fb0efb524fac61a74bf71b1d328667ca258d129a9ddf072754fd2b4bcb4f2b2569246f5375ba12db237fdca4e184106a059256aa2400074bb0dd1751c2dc9e7c9beb754b09b736ca5dae7c0d5a953827",
"raw_proof": "0023eb7c7b6f4fca08e9a4d25e6e49b0be08083238a6d8db5b489d13e9314ab31f6c64511c0a13eb35e202d3b73b45133a843f8474cb9b4f8dea76a0a91cc20b2f2a668e57ffc94ddddc3da5727419540ab2d606fb85bbad08450ab3a8483b6c0b7e58abecdf1922205b8ef27b860510f3d9dd129d63e18fc6e2d1b7ec5bf57329d6ff939bea2073f6255d5cfa2f497cfe2aa3b1bafb69c7ae2ae9e86979cb2c21e22e80338a26239fec51de35eb40ea395c65609c539e73be09745ff51f0a6c0d7fa898a2864487a21ad8e7d7ec993a99ffdc4d6eb61777d3c0ffbd7fb7c8dc1fac169f955dd622179b5070a1b3d4f43cb34d264b7caf96d03bdc1c5a5ce4e71b6869a2a5294189c231c515e01acc3e300325d532454a71b2f7c50b0e0c51961649ec768f27442ebe02c54f9af0a71c04aafcef8191efbc1d84474be09a50d62ee1ecfbfa60e5d80cf23bce4c3560bc640c4e78b57710f98fabfa02b98278fa0c35acc61663c3fceafcedf70d8cc458efd3c6fcfb481b6c8ffc2de14a7f759a098198b4888d582ee82d3795a21745ee0ae68d2a905ffbd1e97b4717b834c91c1d01e5b64e3f07e468f68ce48ede2a2a61193eec11ff9c6b0bbaf683a382aa571fc8cee5a6a2288de474e5efb7b5bf9d0b5f8b6fb79a47770f8c2f824953272d12c92273e67416c6d6c87e13a87d8278c8d5da141768c156ba3136cb62293b0f00000007253d1b3acb2a47895d53f4f85e6a02e143109fc44cd5eaf49b11e024ba89add71700b7ec9a3e602f467845c61e62124a92b1aab5d6a7b256c1b04acf9631c4262c0f857cd5c38cb97551b3b31ef998acfebbff8cf89438c96a62d8e3e5ea4b880a4ab03163e024e552a22f6f7bb43344ddca60ad5569b4d4c2dbf6231831cda2139ed05fd4c751abc90b18fa4456481829528ed4214f939b13ea5290fef3365b0f739324e150b3fb6db49255e1e2bdaeb8aaf25b783fca2750e7eeb863d85b320f1f3e3ae99755a8f19a15d85ad90ba7fb0efb524fac61a74bf71b1d328667ca124d5414d67233d97465e8a7c34db1f1324c4fed79d781a605ddd467902c37e427b5988a266d37d6d1946900a7cc4cc200181b14f8190c0c5b038254d413cc340edc6f54e5d7fabd4c597abf9948a4c07cb6ffa61a9a47fddc63afce258ae8ce00000001258d129a9ddf072754fd2b4bcb4f2b2569246f5375ba12db237fdca4e184106a059256aa2400074bb0dd1751c2dc9e7c9beb754b09b736ca5dae7c0d5a953827",
"plonk_vkey_hash": [
212,
232,
236,
210,
53,
125,
216,
130,
32,
152,
0,
172,
214,
171,
180,
67,
210,
49,
207,
40,
125,
119,
186,
98,
183,
50,
206,
147,
124,
139,
86,
231
]
}
},
"public_values": {
"buffer": {
"data": [
0,
0,
0,
0,
0,
71,
53,
32,
150,
110,
16,
38,
143,
121,
99,
178,
152,
165,
88,
11,
179,
205,
95,
198,
69,
94,
138,
157,
217,
123,
90,
3,
60,
217,
6,
233,
155,
11,
89,
183,
0,
0,
0,
0,
0,
71,
53,
64,
83,
31,
190,
142,
222,
220,
111,
235,
128,
126,
81,
21,
215,
190,
41,
96,
117,
81,
68,
214,
112,
50,
233,
251,
61,
3,
66,
95,
46,
122,
4,
63,
33,
228,
101,
5,
31,
93,
159,
234,
232,
13,
1,
75,
10,
254,
82,
176,
100,
38,
46,
160,
175,
228,
201,
162,
26,
62,
122,
62,
182,
161,
63,
132,
237,
239,
206,
199,
3,
115,
185,
24,
94,
179,
13,
71,
63,
174,
6,
194,
71,
100,
106,
43,
108,
178,
56,
239,
229,
78,
11,
139,
135,
73,
247,
3,
176,
242,
177,
5,
128,
214,
127,
34,
190,
117,
31,
103,
174,
237,
207,
238,
199,
60,
180,
94,
198,
177,
122,
43,
214,
46,
201,
151,
60,
108,
72,
150
]
}
},
"sp1_version": "v5.0.0",
"tee_proof": null
}