Skip to content

Formatted proof files #1293

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 12, 2025
Merged

Formatted proof files #1293

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
168 changes: 167 additions & 1 deletion ledger/src/proofs/data/devnet_blockchain_verifier_index.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1,167 @@
{"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}
{
"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
}
168 changes: 167 additions & 1 deletion ledger/src/proofs/data/devnet_transaction_verifier_index.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1,167 @@
{"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}
{
"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
}
Loading
Loading