Skip to content

Commit 31242e6

Browse files
0xMimir0xMimir
committed
Formatted proof files
1 parent b31459d commit 31242e6

File tree

4 files changed

+3434
-4
lines changed

4 files changed

+3434
-4
lines changed

‎ledger/src/proofs/data/devnet_blockchain_verifier_index.json‎

Lines changed: 167 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,167 @@
1-
{"domain":"00400000000000000e000000004000000000000000000000000000000000000000000000000000000000000001007c5305bad0e88a82a4a5e10f46220000000000000000000000000000ff3fe7beaf68d0348b89bdd305c696e458495971539c8db379b03b2524706887551e19429440c0d6dda9640e2856b0ed40f84fc0f5f9ed7dd028cf3d4d38cd355b2e6766666640914f6b25dda1d064704fa799999999999999999999999999999919","max_poly_size":32768,"zk_rows":3,"public":40,"prev_challenges":2,"sigma_comm":[{"elems":["ac8bd027a9304142af5875c8777ff30e682454af9eb1efaa27d6330fb0cba21600"]},{"elems":["cc9b639929d7f0670d7007e01720285ae24759586436138ebe918f112eadcf2280"]},{"elems":["ebc961cc7ea035f0aa68243f3c2618ede4b1a989038b7cfc2a2611ee6166fb0280"]},{"elems":["055d143d1309e33249fc0052d6bc0a35874f0df68d848582be92f37ce715d60f80"]},{"elems":["ab2db78a806736648a414ef6a0f97b9076a6b99aff7d071f83438ecf379fc82080"]},{"elems":["d1bd9a7ab6f956c73362e41d806a159ea6790b402f511804b9b7674fee8a541380"]},{"elems":["55e51fd3031e1ef98fba6ecc179df2e69719143f6ff62626c466744b066d212000"]}],"coefficients_comm":[{"elems":["b46c878c9534d6f5d2ff8974f353378611436dd2f7830ec1dee754231210ec2680"]},{"elems":["2299130706c7d6a85573afc967d2a1d841aec1a54ea026e740ae3852d10f060800"]},{"elems":["0fafec88aa611ed0eddfdb49bf3c399e351c80091f1af766602487557307e03a00"]},{"elems":["36b208e72f08825cb3f3ef4f5320acb432e6bcb3a160b5ef8a598f257ffdcb3d80"]},{"elems":["14d68d61f70190e00e6db4054868b7a45a1aae006496f5a6c02ca7c509164f3600"]},{"elems":["e812c853609db257416d6a21c3fa40ece3cada381ece80160cc5041b21efa42e80"]},{"elems":["2111541adb7611dd720dd94c761b357afe755ddce944360453e6612770e6323e00"]},{"elems":["ca2f65be9c06ae3bd38e3c1a9855cf2b7a768158eb5f56412f74974a81cee21a00"]},{"elems":["1f524503bbfaa37ffa3d597672ea191dc586ae2bee125418e8616cbb40fa100a80"]},{"elems":["66a71a1a7776235a4a863b9651da7a3b71a88d299d6b05919a139128d6c2b22100"]},{"elems":["36d0bbb91110354a2b4c47caf7b712504a505c0db581037a1487c3b2a5e7632700"]},{"elems":["037163fe33de4d9b4078a9787f4329cb9efeab6c10a378e41e5753a0436e593280"]},{"elems":["8ece63908d483eb3778899f9b017edbaba5067fa229ec6b2378af32472fe731d80"]},{"elems":["af4cd42b539de9355d04ea33b9f05a2b733236a4b706acaf6504c77b885ddf2f80"]},{"elems":["394d46b4e0c0ffd4d6ff518a8454c3f5caa363345721b3cf15d9547d88ba290d80"]}],"generic_comm":{"elems":["1b921bb273d9ec54df3ad9bcfa27bb0512df51b65fcfc0183e694e3b7462363600"]},"psm_comm":{"elems":["24433049d9d52411a0fe32472a60b1181c51af40aaed21c767630c67f53e8b0a00"]},"complete_add_comm":{"elems":["4b4d315bb85c236ac63c69ebde7b30bd7c450353fd065ce77c781ff11892851e80"]},"mul_comm":{"elems":["c5b9c77cc3aeea7a67285a0627159bb92579818471b6312ba905d48c3a7dc93e80"]},"emul_comm":{"elems":["b90c824d829e89424b21a866a827908221716b665bd7d760665eaf0f0272471100"]},"endomul_scalar_comm":{"elems":["dd6aa757b582dc4ff7018e86082bc5bb59b7d420caef5ecd4e5912649b0ac30400"]},"range_check0_comm":null,"range_check1_comm":null,"foreign_field_add_comm":null,"foreign_field_mul_comm":null,"xor_comm":null,"rot_comm":null,"shift":["0100000000000000000000000000000000000000000000000000000000000000","e3a214e91334d0caf1eb85df5bd7524d73d5eb7aaf742a7eb2d40bfdc8cdb900","c627350db4ff37a501a0e2d694338be612ad32a946006e621240d86081f67c00","6d0f44339a339fb8a4e49bf1099620aa649918482b95a397ae39b9ec5ad47700","b40923bd78e619c80a7b39c0f3f11e48005519d2fef16a1f77d40545e5c77700","847440624c26426e8480a31f28991cbe3647df8e70f027477aaec6ec68afb300","a17401b24a567ee6bc8d8918b675061a6f13874aa7505d93edc06f53a41c3800"],"lookup_index":null}
1+
{
2+
"domain": "00400000000000000e000000004000000000000000000000000000000000000000000000000000000000000001007c5305bad0e88a82a4a5e10f46220000000000000000000000000000ff3fe7beaf68d0348b89bdd305c696e458495971539c8db379b03b2524706887551e19429440c0d6dda9640e2856b0ed40f84fc0f5f9ed7dd028cf3d4d38cd355b2e6766666640914f6b25dda1d064704fa799999999999999999999999999999919",
3+
"max_poly_size": 32768,
4+
"zk_rows": 3,
5+
"public": 40,
6+
"prev_challenges": 2,
7+
"sigma_comm": [
8+
{
9+
"elems": [
10+
"ac8bd027a9304142af5875c8777ff30e682454af9eb1efaa27d6330fb0cba21600"
11+
]
12+
},
13+
{
14+
"elems": [
15+
"cc9b639929d7f0670d7007e01720285ae24759586436138ebe918f112eadcf2280"
16+
]
17+
},
18+
{
19+
"elems": [
20+
"ebc961cc7ea035f0aa68243f3c2618ede4b1a989038b7cfc2a2611ee6166fb0280"
21+
]
22+
},
23+
{
24+
"elems": [
25+
"055d143d1309e33249fc0052d6bc0a35874f0df68d848582be92f37ce715d60f80"
26+
]
27+
},
28+
{
29+
"elems": [
30+
"ab2db78a806736648a414ef6a0f97b9076a6b99aff7d071f83438ecf379fc82080"
31+
]
32+
},
33+
{
34+
"elems": [
35+
"d1bd9a7ab6f956c73362e41d806a159ea6790b402f511804b9b7674fee8a541380"
36+
]
37+
},
38+
{
39+
"elems": [
40+
"55e51fd3031e1ef98fba6ecc179df2e69719143f6ff62626c466744b066d212000"
41+
]
42+
}
43+
],
44+
"coefficients_comm": [
45+
{
46+
"elems": [
47+
"b46c878c9534d6f5d2ff8974f353378611436dd2f7830ec1dee754231210ec2680"
48+
]
49+
},
50+
{
51+
"elems": [
52+
"2299130706c7d6a85573afc967d2a1d841aec1a54ea026e740ae3852d10f060800"
53+
]
54+
},
55+
{
56+
"elems": [
57+
"0fafec88aa611ed0eddfdb49bf3c399e351c80091f1af766602487557307e03a00"
58+
]
59+
},
60+
{
61+
"elems": [
62+
"36b208e72f08825cb3f3ef4f5320acb432e6bcb3a160b5ef8a598f257ffdcb3d80"
63+
]
64+
},
65+
{
66+
"elems": [
67+
"14d68d61f70190e00e6db4054868b7a45a1aae006496f5a6c02ca7c509164f3600"
68+
]
69+
},
70+
{
71+
"elems": [
72+
"e812c853609db257416d6a21c3fa40ece3cada381ece80160cc5041b21efa42e80"
73+
]
74+
},
75+
{
76+
"elems": [
77+
"2111541adb7611dd720dd94c761b357afe755ddce944360453e6612770e6323e00"
78+
]
79+
},
80+
{
81+
"elems": [
82+
"ca2f65be9c06ae3bd38e3c1a9855cf2b7a768158eb5f56412f74974a81cee21a00"
83+
]
84+
},
85+
{
86+
"elems": [
87+
"1f524503bbfaa37ffa3d597672ea191dc586ae2bee125418e8616cbb40fa100a80"
88+
]
89+
},
90+
{
91+
"elems": [
92+
"66a71a1a7776235a4a863b9651da7a3b71a88d299d6b05919a139128d6c2b22100"
93+
]
94+
},
95+
{
96+
"elems": [
97+
"36d0bbb91110354a2b4c47caf7b712504a505c0db581037a1487c3b2a5e7632700"
98+
]
99+
},
100+
{
101+
"elems": [
102+
"037163fe33de4d9b4078a9787f4329cb9efeab6c10a378e41e5753a0436e593280"
103+
]
104+
},
105+
{
106+
"elems": [
107+
"8ece63908d483eb3778899f9b017edbaba5067fa229ec6b2378af32472fe731d80"
108+
]
109+
},
110+
{
111+
"elems": [
112+
"af4cd42b539de9355d04ea33b9f05a2b733236a4b706acaf6504c77b885ddf2f80"
113+
]
114+
},
115+
{
116+
"elems": [
117+
"394d46b4e0c0ffd4d6ff518a8454c3f5caa363345721b3cf15d9547d88ba290d80"
118+
]
119+
}
120+
],
121+
"generic_comm": {
122+
"elems": [
123+
"1b921bb273d9ec54df3ad9bcfa27bb0512df51b65fcfc0183e694e3b7462363600"
124+
]
125+
},
126+
"psm_comm": {
127+
"elems": [
128+
"24433049d9d52411a0fe32472a60b1181c51af40aaed21c767630c67f53e8b0a00"
129+
]
130+
},
131+
"complete_add_comm": {
132+
"elems": [
133+
"4b4d315bb85c236ac63c69ebde7b30bd7c450353fd065ce77c781ff11892851e80"
134+
]
135+
},
136+
"mul_comm": {
137+
"elems": [
138+
"c5b9c77cc3aeea7a67285a0627159bb92579818471b6312ba905d48c3a7dc93e80"
139+
]
140+
},
141+
"emul_comm": {
142+
"elems": [
143+
"b90c824d829e89424b21a866a827908221716b665bd7d760665eaf0f0272471100"
144+
]
145+
},
146+
"endomul_scalar_comm": {
147+
"elems": [
148+
"dd6aa757b582dc4ff7018e86082bc5bb59b7d420caef5ecd4e5912649b0ac30400"
149+
]
150+
},
151+
"range_check0_comm": null,
152+
"range_check1_comm": null,
153+
"foreign_field_add_comm": null,
154+
"foreign_field_mul_comm": null,
155+
"xor_comm": null,
156+
"rot_comm": null,
157+
"shift": [
158+
"0100000000000000000000000000000000000000000000000000000000000000",
159+
"e3a214e91334d0caf1eb85df5bd7524d73d5eb7aaf742a7eb2d40bfdc8cdb900",
160+
"c627350db4ff37a501a0e2d694338be612ad32a946006e621240d86081f67c00",
161+
"6d0f44339a339fb8a4e49bf1099620aa649918482b95a397ae39b9ec5ad47700",
162+
"b40923bd78e619c80a7b39c0f3f11e48005519d2fef16a1f77d40545e5c77700",
163+
"847440624c26426e8480a31f28991cbe3647df8e70f027477aaec6ec68afb300",
164+
"a17401b24a567ee6bc8d8918b675061a6f13874aa7505d93edc06f53a41c3800"
165+
],
166+
"lookup_index": null
167+
}

‎ledger/src/proofs/data/devnet_transaction_verifier_index.json‎

Lines changed: 167 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,167 @@
1-
{"domain":"00400000000000000e000000004000000000000000000000000000000000000000000000000000000000000001007c5305bad0e88a82a4a5e10f46220000000000000000000000000000ff3fe7beaf68d0348b89bdd305c696e458495971539c8db379b03b2524706887551e19429440c0d6dda9640e2856b0ed40f84fc0f5f9ed7dd028cf3d4d38cd355b2e6766666640914f6b25dda1d064704fa799999999999999999999999999999919","max_poly_size":32768,"zk_rows":3,"public":40,"prev_challenges":2,"sigma_comm":[{"elems":["90c73b1ec54c26bae22caca2ebfb7f428273d8bb4e707cb411e10da092a31b2e80"]},{"elems":["bcb575448cecbf9c1395c1d68056f5ff42a46d286763e264bc75281e779b140d00"]},{"elems":["eda3d8981033895b4212aef150ea7bd4183414e0292eae7c6968450f1dd4662800"]},{"elems":["b20ca3c2e55ccc53430ec74e85afde8d52934609f88ba397bba0e137900f0a0c00"]},{"elems":["eb98c43a4354ed8ce7e486fd09401423f72c06c674fe97312cf1b4a1f0fe2a3400"]},{"elems":["99db19342a4e6101c2a0307d64a2233a636dcfb00a3757725a0f0499c5a3e91400"]},{"elems":["9a0500bbe7e4ff39f236658f15ab3ab7a9492199f4f336601e60bb90b6073b1480"]}],"coefficients_comm":[{"elems":["299f4b3e51427c64b4681f8b3e315556076d3ccb76e2d2328d8a1ac753016c1a00"]},{"elems":["965430e5c1615641e0cc8c5e371a3ce402d7adf50dfa109602ed7ee7eec1df0200"]},{"elems":["27f6e5c0cb30793dd572d830db227b696211fd3b3f37f7096e80fce44a29713c80"]},{"elems":["1770f3f6bc84d5287d550f8abcd9df38f25ef0f3dd1b161bd3cbcea66fec650380"]},{"elems":["8d3394f89b8e5814754a99885c19856137a3de15ba8079ea586bc2e71d058c2c00"]},{"elems":["e1043c2698170acf5ac6e0621db06689884ab62e953a8292e73143ae0354482280"]},{"elems":["eb45515b4445bef8beea8f72c456b9d147ed28c0eeea8b21d7b7a4b58042bc1400"]},{"elems":["03dd51e41b61d6e52d3e370fded80e6a25c1aa35715c1481dfd533e3ed81453180"]},{"elems":["a3a26573549290670c346a03b3d2cbfb1ea834cbd748688ba10790efb02a893180"]},{"elems":["21c87f7f2e6e6aa2ad762b01db220c90574f5e2fc1c572f469b9fa25d02fc81300"]},{"elems":["5f3f0a0b06cb16ddf2ef13d54fbde08f3cfc5721126f8f1e8038de67921dd13780"]},{"elems":["fb9a0d228e8cdc829c748c8b8d7751998b81805959d307dcbf2f3b601daa813300"]},{"elems":["1019ec7567d56fc10eefa766c8b75033eab1dccea27b413d748549485213263300"]},{"elems":["641190c8bb3021d87f0c0c20dcfee80c2287e986ba0c818077ff73a67e6d393f80"]},{"elems":["6db248045f24c41a5557c5fac1c95f3500c97476746035a9c58a1a5e1a88d72c00"]}],"generic_comm":{"elems":["a1c3dfaace548babe5bcee0b85cef11d19e5a4fa0b34174761a4780582a2b61100"]},"psm_comm":{"elems":["e40983dc71ab596a8ada1c5b61f562a8aef8ffbc5f1b597f39da39bc6eb5233880"]},"complete_add_comm":{"elems":["5eb9158f8e25ff0d9b11a16ccd67af47a189a0d30093c09026c2420742033d1a00"]},"mul_comm":{"elems":["854aa61b80095185fa2a85001652da3cb73857aa72359ceb0241ca5928479e2f00"]},"emul_comm":{"elems":["6c916fe9d7aea7194dac9509e8e424234761dbbe038ab48f73115cc4e3538b0180"]},"endomul_scalar_comm":{"elems":["845f2d1bdbcc25c5ad005decc9bd3f0cdd928c157aadc55a88dd1cd74f8ee51b00"]},"range_check0_comm":null,"range_check1_comm":null,"foreign_field_add_comm":null,"foreign_field_mul_comm":null,"xor_comm":null,"rot_comm":null,"shift":["0100000000000000000000000000000000000000000000000000000000000000","e3a214e91334d0caf1eb85df5bd7524d73d5eb7aaf742a7eb2d40bfdc8cdb900","c627350db4ff37a501a0e2d694338be612ad32a946006e621240d86081f67c00","6d0f44339a339fb8a4e49bf1099620aa649918482b95a397ae39b9ec5ad47700","b40923bd78e619c80a7b39c0f3f11e48005519d2fef16a1f77d40545e5c77700","847440624c26426e8480a31f28991cbe3647df8e70f027477aaec6ec68afb300","a17401b24a567ee6bc8d8918b675061a6f13874aa7505d93edc06f53a41c3800"],"lookup_index":null}
1+
{
2+
"domain": "00400000000000000e000000004000000000000000000000000000000000000000000000000000000000000001007c5305bad0e88a82a4a5e10f46220000000000000000000000000000ff3fe7beaf68d0348b89bdd305c696e458495971539c8db379b03b2524706887551e19429440c0d6dda9640e2856b0ed40f84fc0f5f9ed7dd028cf3d4d38cd355b2e6766666640914f6b25dda1d064704fa799999999999999999999999999999919",
3+
"max_poly_size": 32768,
4+
"zk_rows": 3,
5+
"public": 40,
6+
"prev_challenges": 2,
7+
"sigma_comm": [
8+
{
9+
"elems": [
10+
"90c73b1ec54c26bae22caca2ebfb7f428273d8bb4e707cb411e10da092a31b2e80"
11+
]
12+
},
13+
{
14+
"elems": [
15+
"bcb575448cecbf9c1395c1d68056f5ff42a46d286763e264bc75281e779b140d00"
16+
]
17+
},
18+
{
19+
"elems": [
20+
"eda3d8981033895b4212aef150ea7bd4183414e0292eae7c6968450f1dd4662800"
21+
]
22+
},
23+
{
24+
"elems": [
25+
"b20ca3c2e55ccc53430ec74e85afde8d52934609f88ba397bba0e137900f0a0c00"
26+
]
27+
},
28+
{
29+
"elems": [
30+
"eb98c43a4354ed8ce7e486fd09401423f72c06c674fe97312cf1b4a1f0fe2a3400"
31+
]
32+
},
33+
{
34+
"elems": [
35+
"99db19342a4e6101c2a0307d64a2233a636dcfb00a3757725a0f0499c5a3e91400"
36+
]
37+
},
38+
{
39+
"elems": [
40+
"9a0500bbe7e4ff39f236658f15ab3ab7a9492199f4f336601e60bb90b6073b1480"
41+
]
42+
}
43+
],
44+
"coefficients_comm": [
45+
{
46+
"elems": [
47+
"299f4b3e51427c64b4681f8b3e315556076d3ccb76e2d2328d8a1ac753016c1a00"
48+
]
49+
},
50+
{
51+
"elems": [
52+
"965430e5c1615641e0cc8c5e371a3ce402d7adf50dfa109602ed7ee7eec1df0200"
53+
]
54+
},
55+
{
56+
"elems": [
57+
"27f6e5c0cb30793dd572d830db227b696211fd3b3f37f7096e80fce44a29713c80"
58+
]
59+
},
60+
{
61+
"elems": [
62+
"1770f3f6bc84d5287d550f8abcd9df38f25ef0f3dd1b161bd3cbcea66fec650380"
63+
]
64+
},
65+
{
66+
"elems": [
67+
"8d3394f89b8e5814754a99885c19856137a3de15ba8079ea586bc2e71d058c2c00"
68+
]
69+
},
70+
{
71+
"elems": [
72+
"e1043c2698170acf5ac6e0621db06689884ab62e953a8292e73143ae0354482280"
73+
]
74+
},
75+
{
76+
"elems": [
77+
"eb45515b4445bef8beea8f72c456b9d147ed28c0eeea8b21d7b7a4b58042bc1400"
78+
]
79+
},
80+
{
81+
"elems": [
82+
"03dd51e41b61d6e52d3e370fded80e6a25c1aa35715c1481dfd533e3ed81453180"
83+
]
84+
},
85+
{
86+
"elems": [
87+
"a3a26573549290670c346a03b3d2cbfb1ea834cbd748688ba10790efb02a893180"
88+
]
89+
},
90+
{
91+
"elems": [
92+
"21c87f7f2e6e6aa2ad762b01db220c90574f5e2fc1c572f469b9fa25d02fc81300"
93+
]
94+
},
95+
{
96+
"elems": [
97+
"5f3f0a0b06cb16ddf2ef13d54fbde08f3cfc5721126f8f1e8038de67921dd13780"
98+
]
99+
},
100+
{
101+
"elems": [
102+
"fb9a0d228e8cdc829c748c8b8d7751998b81805959d307dcbf2f3b601daa813300"
103+
]
104+
},
105+
{
106+
"elems": [
107+
"1019ec7567d56fc10eefa766c8b75033eab1dccea27b413d748549485213263300"
108+
]
109+
},
110+
{
111+
"elems": [
112+
"641190c8bb3021d87f0c0c20dcfee80c2287e986ba0c818077ff73a67e6d393f80"
113+
]
114+
},
115+
{
116+
"elems": [
117+
"6db248045f24c41a5557c5fac1c95f3500c97476746035a9c58a1a5e1a88d72c00"
118+
]
119+
}
120+
],
121+
"generic_comm": {
122+
"elems": [
123+
"a1c3dfaace548babe5bcee0b85cef11d19e5a4fa0b34174761a4780582a2b61100"
124+
]
125+
},
126+
"psm_comm": {
127+
"elems": [
128+
"e40983dc71ab596a8ada1c5b61f562a8aef8ffbc5f1b597f39da39bc6eb5233880"
129+
]
130+
},
131+
"complete_add_comm": {
132+
"elems": [
133+
"5eb9158f8e25ff0d9b11a16ccd67af47a189a0d30093c09026c2420742033d1a00"
134+
]
135+
},
136+
"mul_comm": {
137+
"elems": [
138+
"854aa61b80095185fa2a85001652da3cb73857aa72359ceb0241ca5928479e2f00"
139+
]
140+
},
141+
"emul_comm": {
142+
"elems": [
143+
"6c916fe9d7aea7194dac9509e8e424234761dbbe038ab48f73115cc4e3538b0180"
144+
]
145+
},
146+
"endomul_scalar_comm": {
147+
"elems": [
148+
"845f2d1bdbcc25c5ad005decc9bd3f0cdd928c157aadc55a88dd1cd74f8ee51b00"
149+
]
150+
},
151+
"range_check0_comm": null,
152+
"range_check1_comm": null,
153+
"foreign_field_add_comm": null,
154+
"foreign_field_mul_comm": null,
155+
"xor_comm": null,
156+
"rot_comm": null,
157+
"shift": [
158+
"0100000000000000000000000000000000000000000000000000000000000000",
159+
"e3a214e91334d0caf1eb85df5bd7524d73d5eb7aaf742a7eb2d40bfdc8cdb900",
160+
"c627350db4ff37a501a0e2d694338be612ad32a946006e621240d86081f67c00",
161+
"6d0f44339a339fb8a4e49bf1099620aa649918482b95a397ae39b9ec5ad47700",
162+
"b40923bd78e619c80a7b39c0f3f11e48005519d2fef16a1f77d40545e5c77700",
163+
"847440624c26426e8480a31f28991cbe3647df8e70f027477aaec6ec68afb300",
164+
"a17401b24a567ee6bc8d8918b675061a6f13874aa7505d93edc06f53a41c3800"
165+
],
166+
"lookup_index": null
167+
}

0 commit comments

Comments
 (0)