diff --git a/ledger/src/proofs/data/devnet_blockchain_verifier_index.json b/ledger/src/proofs/data/devnet_blockchain_verifier_index.json index 557dda1ded..4ce9df6cb1 100644 --- a/ledger/src/proofs/data/devnet_blockchain_verifier_index.json +++ b/ledger/src/proofs/data/devnet_blockchain_verifier_index.json @@ -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} \ No newline at end of file +{ + "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 +} \ No newline at end of file diff --git a/ledger/src/proofs/data/devnet_transaction_verifier_index.json b/ledger/src/proofs/data/devnet_transaction_verifier_index.json index 1b6d435d94..aa84c09365 100644 --- a/ledger/src/proofs/data/devnet_transaction_verifier_index.json +++ b/ledger/src/proofs/data/devnet_transaction_verifier_index.json @@ -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} \ No newline at end of file +{ + "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 +} \ No newline at end of file diff --git a/ledger/src/proofs/data/mainnet_blockchain_verifier_index.json b/ledger/src/proofs/data/mainnet_blockchain_verifier_index.json index ec11f73fa2..2c4cd3642b 100644 --- a/ledger/src/proofs/data/mainnet_blockchain_verifier_index.json +++ b/ledger/src/proofs/data/mainnet_blockchain_verifier_index.json @@ -1 +1,1550 @@ -{"domain":[0,64,0,0,0,0,0,0,14,0,0,0,0,64,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,1,0,124,83,5,186,208,232,138,130,164,165,225,15,70,34,0,0,0,0,0,0,0,0,0,0,0,0,0,0,255,63,231,190,175,104,208,52,139,137,189,211,5,198,150,228,88,73,89,113,83,156,141,179,121,176,59,37,36,112,104,135,85,30,25,66,148,64,192,214,221,169,100,14,40,86,176,237,64,248,79,192,245,249,237,125,208,40,207,61,77,56,205,53,91,46,103,102,102,102,64,145,79,107,37,221,161,208,100,112,79,167,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,25],"max_poly_size":32768,"public":40,"prev_challenges":2,"sigma_comm":[{"unshifted":[[172,139,208,39,169,48,65,66,175,88,117,200,119,127,243,14,104,36,84,175,158,177,239,170,39,214,51,15,176,203,162,22,0]],"shifted":null},{"unshifted":[[204,155,99,153,41,215,240,103,13,112,7,224,23,32,40,90,226,71,89,88,100,54,19,142,190,145,143,17,46,173,207,34,128]],"shifted":null},{"unshifted":[[235,201,97,204,126,160,53,240,170,104,36,63,60,38,24,237,228,177,169,137,3,139,124,252,42,38,17,238,97,102,251,2,128]],"shifted":null},{"unshifted":[[5,93,20,61,19,9,227,50,73,252,0,82,214,188,10,53,135,79,13,246,141,132,133,130,190,146,243,124,231,21,214,15,128]],"shifted":null},{"unshifted":[[171,45,183,138,128,103,54,100,138,65,78,246,160,249,123,144,118,166,185,154,255,125,7,31,131,67,142,207,55,159,200,32,128]],"shifted":null},{"unshifted":[[209,189,154,122,182,249,86,199,51,98,228,29,128,106,21,158,166,121,11,64,47,81,24,4,185,183,103,79,238,138,84,19,128]],"shifted":null},{"unshifted":[[85,229,31,211,3,30,30,249,143,186,110,204,23,157,242,230,151,25,20,63,111,246,38,38,196,102,116,75,6,109,33,32,0]],"shifted":null}],"coefficients_comm":[{"unshifted":[[101,251,112,207,82,239,41,60,245,174,220,86,91,152,3,217,76,87,242,56,175,250,240,4,186,254,63,172,149,129,133,52,0]],"shifted":null},{"unshifted":[[34,153,19,7,6,199,214,168,85,115,175,201,103,210,161,216,65,174,193,165,78,160,38,231,64,174,56,82,209,15,6,8,0]],"shifted":null},{"unshifted":[[15,175,236,136,170,97,30,208,237,223,219,73,191,60,57,158,53,28,128,9,31,26,247,102,96,36,135,85,115,7,224,58,0]],"shifted":null},{"unshifted":[[54,178,8,231,47,8,130,92,179,243,239,79,83,32,172,180,50,230,188,179,161,96,181,239,138,89,143,37,127,253,203,61,128]],"shifted":null},{"unshifted":[[20,214,141,97,247,1,144,224,14,109,180,5,72,104,183,164,90,26,174,0,100,150,245,166,192,44,167,197,9,22,79,54,0]],"shifted":null},{"unshifted":[[171,162,10,184,154,157,36,109,199,252,104,54,205,67,70,69,25,244,26,171,39,142,203,146,51,142,185,58,163,65,232,11,128]],"shifted":null},{"unshifted":[[33,17,84,26,219,118,17,221,114,13,217,76,118,27,53,122,254,117,93,220,233,68,54,4,83,230,97,39,112,230,50,62,0]],"shifted":null},{"unshifted":[[202,47,101,190,156,6,174,59,211,142,60,26,152,85,207,43,122,118,129,88,235,95,86,65,47,116,151,74,129,206,226,26,0]],"shifted":null},{"unshifted":[[31,82,69,3,187,250,163,127,250,61,89,118,114,234,25,29,197,134,174,43,238,18,84,24,232,97,108,187,64,250,16,10,128]],"shifted":null},{"unshifted":[[102,167,26,26,119,118,35,90,74,134,59,150,81,218,122,59,113,168,141,41,157,107,5,145,154,19,145,40,214,194,178,33,0]],"shifted":null},{"unshifted":[[54,208,187,185,17,16,53,74,43,76,71,202,247,183,18,80,74,80,92,13,181,129,3,122,20,135,195,178,165,231,99,39,0]],"shifted":null},{"unshifted":[[3,113,99,254,51,222,77,155,64,120,169,120,127,67,41,203,158,254,171,108,16,163,120,228,30,87,83,160,67,110,89,50,128]],"shifted":null},{"unshifted":[[142,206,99,144,141,72,62,179,119,136,153,249,176,23,237,186,186,80,103,250,34,158,198,178,55,138,243,36,114,254,115,29,128]],"shifted":null},{"unshifted":[[175,76,212,43,83,157,233,53,93,4,234,51,185,240,90,43,115,50,54,164,183,6,172,175,101,4,199,123,136,93,223,47,128]],"shifted":null},{"unshifted":[[57,77,70,180,224,192,255,212,214,255,81,138,132,84,195,245,202,163,99,52,87,33,179,207,21,217,84,125,136,186,41,13,128]],"shifted":null}],"generic_comm":{"unshifted":[[27,146,27,178,115,217,236,84,223,58,217,188,250,39,187,5,18,223,81,182,95,207,192,24,62,105,78,59,116,98,54,54,0]],"shifted":null},"psm_comm":{"unshifted":[[36,67,48,73,217,213,36,17,160,254,50,71,42,96,177,24,28,81,175,64,170,237,33,199,103,99,12,103,245,62,139,10,0]],"shifted":null},"complete_add_comm":{"unshifted":[[75,77,49,91,184,92,35,106,198,60,105,235,222,123,48,189,124,69,3,83,253,6,92,231,124,120,31,241,24,146,133,30,128]],"shifted":null},"mul_comm":{"unshifted":[[197,185,199,124,195,174,234,122,103,40,90,6,39,21,155,185,37,121,129,132,113,182,49,43,169,5,212,140,58,125,201,62,128]],"shifted":null},"emul_comm":{"unshifted":[[185,12,130,77,130,158,137,66,75,33,168,102,168,39,144,130,33,113,107,102,91,215,215,96,102,94,175,15,2,114,71,17,0]],"shifted":null},"endomul_scalar_comm":{"unshifted":[[221,106,167,87,181,130,220,79,247,1,142,134,8,43,197,187,89,183,212,32,202,239,94,205,78,89,18,100,155,10,195,4,0]],"shifted":null},"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":[[1,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],[227,162,20,233,19,52,208,202,241,235,133,223,91,215,82,77,115,213,235,122,175,116,42,126,178,212,11,253,200,205,185,0],[198,39,53,13,180,255,55,165,1,160,226,214,148,51,139,230,18,173,50,169,70,0,110,98,18,64,216,96,129,246,124,0],[109,15,68,51,154,51,159,184,164,228,155,241,9,150,32,170,100,153,24,72,43,149,163,151,174,57,185,236,90,212,119,0],[180,9,35,189,120,230,25,200,10,123,57,192,243,241,30,72,0,85,25,210,254,241,106,31,119,212,5,69,229,199,119,0],[132,116,64,98,76,38,66,110,132,128,163,31,40,153,28,190,54,71,223,142,112,240,39,71,122,174,198,236,104,175,179,0],[161,116,1,178,74,86,126,230,188,141,137,24,182,117,6,26,111,19,135,74,167,80,93,147,237,192,111,83,164,28,56,0]],"lookup_index":null} \ No newline at end of file +{ + "domain": [ + 0, + 64, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 0, + 0, + 0, + 0, + 64, + 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, + 1, + 0, + 124, + 83, + 5, + 186, + 208, + 232, + 138, + 130, + 164, + 165, + 225, + 15, + 70, + 34, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 255, + 63, + 231, + 190, + 175, + 104, + 208, + 52, + 139, + 137, + 189, + 211, + 5, + 198, + 150, + 228, + 88, + 73, + 89, + 113, + 83, + 156, + 141, + 179, + 121, + 176, + 59, + 37, + 36, + 112, + 104, + 135, + 85, + 30, + 25, + 66, + 148, + 64, + 192, + 214, + 221, + 169, + 100, + 14, + 40, + 86, + 176, + 237, + 64, + 248, + 79, + 192, + 245, + 249, + 237, + 125, + 208, + 40, + 207, + 61, + 77, + 56, + 205, + 53, + 91, + 46, + 103, + 102, + 102, + 102, + 64, + 145, + 79, + 107, + 37, + 221, + 161, + 208, + 100, + 112, + 79, + 167, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 25 + ], + "max_poly_size": 32768, + "public": 40, + "prev_challenges": 2, + "sigma_comm": [ + { + "unshifted": [ + [ + 172, + 139, + 208, + 39, + 169, + 48, + 65, + 66, + 175, + 88, + 117, + 200, + 119, + 127, + 243, + 14, + 104, + 36, + 84, + 175, + 158, + 177, + 239, + 170, + 39, + 214, + 51, + 15, + 176, + 203, + 162, + 22, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 204, + 155, + 99, + 153, + 41, + 215, + 240, + 103, + 13, + 112, + 7, + 224, + 23, + 32, + 40, + 90, + 226, + 71, + 89, + 88, + 100, + 54, + 19, + 142, + 190, + 145, + 143, + 17, + 46, + 173, + 207, + 34, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 235, + 201, + 97, + 204, + 126, + 160, + 53, + 240, + 170, + 104, + 36, + 63, + 60, + 38, + 24, + 237, + 228, + 177, + 169, + 137, + 3, + 139, + 124, + 252, + 42, + 38, + 17, + 238, + 97, + 102, + 251, + 2, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 5, + 93, + 20, + 61, + 19, + 9, + 227, + 50, + 73, + 252, + 0, + 82, + 214, + 188, + 10, + 53, + 135, + 79, + 13, + 246, + 141, + 132, + 133, + 130, + 190, + 146, + 243, + 124, + 231, + 21, + 214, + 15, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 171, + 45, + 183, + 138, + 128, + 103, + 54, + 100, + 138, + 65, + 78, + 246, + 160, + 249, + 123, + 144, + 118, + 166, + 185, + 154, + 255, + 125, + 7, + 31, + 131, + 67, + 142, + 207, + 55, + 159, + 200, + 32, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 209, + 189, + 154, + 122, + 182, + 249, + 86, + 199, + 51, + 98, + 228, + 29, + 128, + 106, + 21, + 158, + 166, + 121, + 11, + 64, + 47, + 81, + 24, + 4, + 185, + 183, + 103, + 79, + 238, + 138, + 84, + 19, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 85, + 229, + 31, + 211, + 3, + 30, + 30, + 249, + 143, + 186, + 110, + 204, + 23, + 157, + 242, + 230, + 151, + 25, + 20, + 63, + 111, + 246, + 38, + 38, + 196, + 102, + 116, + 75, + 6, + 109, + 33, + 32, + 0 + ] + ], + "shifted": null + } + ], + "coefficients_comm": [ + { + "unshifted": [ + [ + 101, + 251, + 112, + 207, + 82, + 239, + 41, + 60, + 245, + 174, + 220, + 86, + 91, + 152, + 3, + 217, + 76, + 87, + 242, + 56, + 175, + 250, + 240, + 4, + 186, + 254, + 63, + 172, + 149, + 129, + 133, + 52, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 34, + 153, + 19, + 7, + 6, + 199, + 214, + 168, + 85, + 115, + 175, + 201, + 103, + 210, + 161, + 216, + 65, + 174, + 193, + 165, + 78, + 160, + 38, + 231, + 64, + 174, + 56, + 82, + 209, + 15, + 6, + 8, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 15, + 175, + 236, + 136, + 170, + 97, + 30, + 208, + 237, + 223, + 219, + 73, + 191, + 60, + 57, + 158, + 53, + 28, + 128, + 9, + 31, + 26, + 247, + 102, + 96, + 36, + 135, + 85, + 115, + 7, + 224, + 58, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 54, + 178, + 8, + 231, + 47, + 8, + 130, + 92, + 179, + 243, + 239, + 79, + 83, + 32, + 172, + 180, + 50, + 230, + 188, + 179, + 161, + 96, + 181, + 239, + 138, + 89, + 143, + 37, + 127, + 253, + 203, + 61, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 20, + 214, + 141, + 97, + 247, + 1, + 144, + 224, + 14, + 109, + 180, + 5, + 72, + 104, + 183, + 164, + 90, + 26, + 174, + 0, + 100, + 150, + 245, + 166, + 192, + 44, + 167, + 197, + 9, + 22, + 79, + 54, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 171, + 162, + 10, + 184, + 154, + 157, + 36, + 109, + 199, + 252, + 104, + 54, + 205, + 67, + 70, + 69, + 25, + 244, + 26, + 171, + 39, + 142, + 203, + 146, + 51, + 142, + 185, + 58, + 163, + 65, + 232, + 11, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 33, + 17, + 84, + 26, + 219, + 118, + 17, + 221, + 114, + 13, + 217, + 76, + 118, + 27, + 53, + 122, + 254, + 117, + 93, + 220, + 233, + 68, + 54, + 4, + 83, + 230, + 97, + 39, + 112, + 230, + 50, + 62, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 202, + 47, + 101, + 190, + 156, + 6, + 174, + 59, + 211, + 142, + 60, + 26, + 152, + 85, + 207, + 43, + 122, + 118, + 129, + 88, + 235, + 95, + 86, + 65, + 47, + 116, + 151, + 74, + 129, + 206, + 226, + 26, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 31, + 82, + 69, + 3, + 187, + 250, + 163, + 127, + 250, + 61, + 89, + 118, + 114, + 234, + 25, + 29, + 197, + 134, + 174, + 43, + 238, + 18, + 84, + 24, + 232, + 97, + 108, + 187, + 64, + 250, + 16, + 10, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 102, + 167, + 26, + 26, + 119, + 118, + 35, + 90, + 74, + 134, + 59, + 150, + 81, + 218, + 122, + 59, + 113, + 168, + 141, + 41, + 157, + 107, + 5, + 145, + 154, + 19, + 145, + 40, + 214, + 194, + 178, + 33, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 54, + 208, + 187, + 185, + 17, + 16, + 53, + 74, + 43, + 76, + 71, + 202, + 247, + 183, + 18, + 80, + 74, + 80, + 92, + 13, + 181, + 129, + 3, + 122, + 20, + 135, + 195, + 178, + 165, + 231, + 99, + 39, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 3, + 113, + 99, + 254, + 51, + 222, + 77, + 155, + 64, + 120, + 169, + 120, + 127, + 67, + 41, + 203, + 158, + 254, + 171, + 108, + 16, + 163, + 120, + 228, + 30, + 87, + 83, + 160, + 67, + 110, + 89, + 50, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 142, + 206, + 99, + 144, + 141, + 72, + 62, + 179, + 119, + 136, + 153, + 249, + 176, + 23, + 237, + 186, + 186, + 80, + 103, + 250, + 34, + 158, + 198, + 178, + 55, + 138, + 243, + 36, + 114, + 254, + 115, + 29, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 175, + 76, + 212, + 43, + 83, + 157, + 233, + 53, + 93, + 4, + 234, + 51, + 185, + 240, + 90, + 43, + 115, + 50, + 54, + 164, + 183, + 6, + 172, + 175, + 101, + 4, + 199, + 123, + 136, + 93, + 223, + 47, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 57, + 77, + 70, + 180, + 224, + 192, + 255, + 212, + 214, + 255, + 81, + 138, + 132, + 84, + 195, + 245, + 202, + 163, + 99, + 52, + 87, + 33, + 179, + 207, + 21, + 217, + 84, + 125, + 136, + 186, + 41, + 13, + 128 + ] + ], + "shifted": null + } + ], + "generic_comm": { + "unshifted": [ + [ + 27, + 146, + 27, + 178, + 115, + 217, + 236, + 84, + 223, + 58, + 217, + 188, + 250, + 39, + 187, + 5, + 18, + 223, + 81, + 182, + 95, + 207, + 192, + 24, + 62, + 105, + 78, + 59, + 116, + 98, + 54, + 54, + 0 + ] + ], + "shifted": null + }, + "psm_comm": { + "unshifted": [ + [ + 36, + 67, + 48, + 73, + 217, + 213, + 36, + 17, + 160, + 254, + 50, + 71, + 42, + 96, + 177, + 24, + 28, + 81, + 175, + 64, + 170, + 237, + 33, + 199, + 103, + 99, + 12, + 103, + 245, + 62, + 139, + 10, + 0 + ] + ], + "shifted": null + }, + "complete_add_comm": { + "unshifted": [ + [ + 75, + 77, + 49, + 91, + 184, + 92, + 35, + 106, + 198, + 60, + 105, + 235, + 222, + 123, + 48, + 189, + 124, + 69, + 3, + 83, + 253, + 6, + 92, + 231, + 124, + 120, + 31, + 241, + 24, + 146, + 133, + 30, + 128 + ] + ], + "shifted": null + }, + "mul_comm": { + "unshifted": [ + [ + 197, + 185, + 199, + 124, + 195, + 174, + 234, + 122, + 103, + 40, + 90, + 6, + 39, + 21, + 155, + 185, + 37, + 121, + 129, + 132, + 113, + 182, + 49, + 43, + 169, + 5, + 212, + 140, + 58, + 125, + 201, + 62, + 128 + ] + ], + "shifted": null + }, + "emul_comm": { + "unshifted": [ + [ + 185, + 12, + 130, + 77, + 130, + 158, + 137, + 66, + 75, + 33, + 168, + 102, + 168, + 39, + 144, + 130, + 33, + 113, + 107, + 102, + 91, + 215, + 215, + 96, + 102, + 94, + 175, + 15, + 2, + 114, + 71, + 17, + 0 + ] + ], + "shifted": null + }, + "endomul_scalar_comm": { + "unshifted": [ + [ + 221, + 106, + 167, + 87, + 181, + 130, + 220, + 79, + 247, + 1, + 142, + 134, + 8, + 43, + 197, + 187, + 89, + 183, + 212, + 32, + 202, + 239, + 94, + 205, + 78, + 89, + 18, + 100, + 155, + 10, + 195, + 4, + 0 + ] + ], + "shifted": null + }, + "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": [ + [ + 1, + 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 + ], + [ + 227, + 162, + 20, + 233, + 19, + 52, + 208, + 202, + 241, + 235, + 133, + 223, + 91, + 215, + 82, + 77, + 115, + 213, + 235, + 122, + 175, + 116, + 42, + 126, + 178, + 212, + 11, + 253, + 200, + 205, + 185, + 0 + ], + [ + 198, + 39, + 53, + 13, + 180, + 255, + 55, + 165, + 1, + 160, + 226, + 214, + 148, + 51, + 139, + 230, + 18, + 173, + 50, + 169, + 70, + 0, + 110, + 98, + 18, + 64, + 216, + 96, + 129, + 246, + 124, + 0 + ], + [ + 109, + 15, + 68, + 51, + 154, + 51, + 159, + 184, + 164, + 228, + 155, + 241, + 9, + 150, + 32, + 170, + 100, + 153, + 24, + 72, + 43, + 149, + 163, + 151, + 174, + 57, + 185, + 236, + 90, + 212, + 119, + 0 + ], + [ + 180, + 9, + 35, + 189, + 120, + 230, + 25, + 200, + 10, + 123, + 57, + 192, + 243, + 241, + 30, + 72, + 0, + 85, + 25, + 210, + 254, + 241, + 106, + 31, + 119, + 212, + 5, + 69, + 229, + 199, + 119, + 0 + ], + [ + 132, + 116, + 64, + 98, + 76, + 38, + 66, + 110, + 132, + 128, + 163, + 31, + 40, + 153, + 28, + 190, + 54, + 71, + 223, + 142, + 112, + 240, + 39, + 71, + 122, + 174, + 198, + 236, + 104, + 175, + 179, + 0 + ], + [ + 161, + 116, + 1, + 178, + 74, + 86, + 126, + 230, + 188, + 141, + 137, + 24, + 182, + 117, + 6, + 26, + 111, + 19, + 135, + 74, + 167, + 80, + 93, + 147, + 237, + 192, + 111, + 83, + 164, + 28, + 56, + 0 + ] + ], + "lookup_index": null +} \ No newline at end of file diff --git a/ledger/src/proofs/data/mainnet_transaction_verifier_index.json b/ledger/src/proofs/data/mainnet_transaction_verifier_index.json index aedd3ff2d0..cace120878 100644 --- a/ledger/src/proofs/data/mainnet_transaction_verifier_index.json +++ b/ledger/src/proofs/data/mainnet_transaction_verifier_index.json @@ -1 +1,1550 @@ -{"domain":[0,64,0,0,0,0,0,0,14,0,0,0,0,64,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,1,0,124,83,5,186,208,232,138,130,164,165,225,15,70,34,0,0,0,0,0,0,0,0,0,0,0,0,0,0,255,63,231,190,175,104,208,52,139,137,189,211,5,198,150,228,88,73,89,113,83,156,141,179,121,176,59,37,36,112,104,135,85,30,25,66,148,64,192,214,221,169,100,14,40,86,176,237,64,248,79,192,245,249,237,125,208,40,207,61,77,56,205,53,91,46,103,102,102,102,64,145,79,107,37,221,161,208,100,112,79,167,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,25],"max_poly_size":32768,"public":40,"prev_challenges":2,"sigma_comm":[{"unshifted":[[144,199,59,30,197,76,38,186,226,44,172,162,235,251,127,66,130,115,216,187,78,112,124,180,17,225,13,160,146,163,27,46,128]],"shifted":null},{"unshifted":[[188,181,117,68,140,236,191,156,19,149,193,214,128,86,245,255,66,164,109,40,103,99,226,100,188,117,40,30,119,155,20,13,0]],"shifted":null},{"unshifted":[[237,163,216,152,16,51,137,91,66,18,174,241,80,234,123,212,24,52,20,224,41,46,174,124,105,104,69,15,29,212,102,40,0]],"shifted":null},{"unshifted":[[178,12,163,194,229,92,204,83,67,14,199,78,133,175,222,141,82,147,70,9,248,139,163,151,187,160,225,55,144,15,10,12,0]],"shifted":null},{"unshifted":[[235,152,196,58,67,84,237,140,231,228,134,253,9,64,20,35,247,44,6,198,116,254,151,49,44,241,180,161,240,254,42,52,0]],"shifted":null},{"unshifted":[[153,219,25,52,42,78,97,1,194,160,48,125,100,162,35,58,99,109,207,176,10,55,87,114,90,15,4,153,197,163,233,20,0]],"shifted":null},{"unshifted":[[154,5,0,187,231,228,255,57,242,54,101,143,21,171,58,183,169,73,33,153,244,243,54,96,30,96,187,144,182,7,59,20,128]],"shifted":null}],"coefficients_comm":[{"unshifted":[[96,29,250,167,250,21,3,74,122,105,178,240,238,47,120,55,63,183,218,81,213,116,97,251,32,166,4,25,103,201,73,13,128]],"shifted":null},{"unshifted":[[205,6,174,128,34,12,95,245,227,82,40,100,101,228,184,243,63,75,150,250,194,217,134,152,171,71,87,193,222,46,192,32,0]],"shifted":null},{"unshifted":[[39,246,229,192,203,48,121,61,213,114,216,48,219,34,123,105,98,17,253,59,63,55,247,9,110,128,252,228,74,41,113,60,128]],"shifted":null},{"unshifted":[[23,112,243,246,188,132,213,40,125,85,15,138,188,217,223,56,242,94,240,243,221,27,22,27,211,203,206,166,111,236,101,3,128]],"shifted":null},{"unshifted":[[141,51,148,248,155,142,88,20,117,74,153,136,92,25,133,97,55,163,222,21,186,128,121,234,88,107,194,231,29,5,140,44,0]],"shifted":null},{"unshifted":[[219,25,219,5,12,162,123,107,225,173,248,216,150,84,171,91,205,35,207,129,68,128,160,190,156,182,133,15,82,42,195,18,0]],"shifted":null},{"unshifted":[[235,69,81,91,68,69,190,248,190,234,143,114,196,86,185,209,71,237,40,192,238,234,139,33,215,183,164,181,128,66,188,20,0]],"shifted":null},{"unshifted":[[3,221,81,228,27,97,214,229,45,62,55,15,222,216,14,106,37,193,170,53,113,92,20,129,223,213,51,227,237,129,69,49,128]],"shifted":null},{"unshifted":[[163,162,101,115,84,146,144,103,12,52,106,3,179,210,203,251,30,168,52,203,215,72,104,139,161,7,144,239,176,42,137,49,128]],"shifted":null},{"unshifted":[[33,200,127,127,46,110,106,162,173,118,43,1,219,34,12,144,87,79,94,47,193,197,114,244,105,185,250,37,208,47,200,19,0]],"shifted":null},{"unshifted":[[95,63,10,11,6,203,22,221,242,239,19,213,79,189,224,143,60,252,87,33,18,111,143,30,128,56,222,103,146,29,209,55,128]],"shifted":null},{"unshifted":[[251,154,13,34,142,140,220,130,156,116,140,139,141,119,81,153,139,129,128,89,89,211,7,220,191,47,59,96,29,170,129,51,0]],"shifted":null},{"unshifted":[[16,25,236,117,103,213,111,193,14,239,167,102,200,183,80,51,234,177,220,206,162,123,65,61,116,133,73,72,82,19,38,51,0]],"shifted":null},{"unshifted":[[100,17,144,200,187,48,33,216,127,12,12,32,220,254,232,12,34,135,233,134,186,12,129,128,119,255,115,166,126,109,57,63,128]],"shifted":null},{"unshifted":[[109,178,72,4,95,36,196,26,85,87,197,250,193,201,95,53,0,201,116,118,116,96,53,169,197,138,26,94,26,136,215,44,0]],"shifted":null}],"generic_comm":{"unshifted":[[161,195,223,170,206,84,139,171,229,188,238,11,133,206,241,29,25,229,164,250,11,52,23,71,97,164,120,5,130,162,182,17,0]],"shifted":null},"psm_comm":{"unshifted":[[228,9,131,220,113,171,89,106,138,218,28,91,97,245,98,168,174,248,255,188,95,27,89,127,57,218,57,188,110,181,35,56,128]],"shifted":null},"complete_add_comm":{"unshifted":[[94,185,21,143,142,37,255,13,155,17,161,108,205,103,175,71,161,137,160,211,0,147,192,144,38,194,66,7,66,3,61,26,0]],"shifted":null},"mul_comm":{"unshifted":[[133,74,166,27,128,9,81,133,250,42,133,0,22,82,218,60,183,56,87,170,114,53,156,235,2,65,202,89,40,71,158,47,0]],"shifted":null},"emul_comm":{"unshifted":[[108,145,111,233,215,174,167,25,77,172,149,9,232,228,36,35,71,97,219,190,3,138,180,143,115,17,92,196,227,83,139,1,128]],"shifted":null},"endomul_scalar_comm":{"unshifted":[[132,95,45,27,219,204,37,197,173,0,93,236,201,189,63,12,221,146,140,21,122,173,197,90,136,221,28,215,79,142,229,27,0]],"shifted":null},"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":[[1,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],[227,162,20,233,19,52,208,202,241,235,133,223,91,215,82,77,115,213,235,122,175,116,42,126,178,212,11,253,200,205,185,0],[198,39,53,13,180,255,55,165,1,160,226,214,148,51,139,230,18,173,50,169,70,0,110,98,18,64,216,96,129,246,124,0],[109,15,68,51,154,51,159,184,164,228,155,241,9,150,32,170,100,153,24,72,43,149,163,151,174,57,185,236,90,212,119,0],[180,9,35,189,120,230,25,200,10,123,57,192,243,241,30,72,0,85,25,210,254,241,106,31,119,212,5,69,229,199,119,0],[132,116,64,98,76,38,66,110,132,128,163,31,40,153,28,190,54,71,223,142,112,240,39,71,122,174,198,236,104,175,179,0],[161,116,1,178,74,86,126,230,188,141,137,24,182,117,6,26,111,19,135,74,167,80,93,147,237,192,111,83,164,28,56,0]],"lookup_index":null} \ No newline at end of file +{ + "domain": [ + 0, + 64, + 0, + 0, + 0, + 0, + 0, + 0, + 14, + 0, + 0, + 0, + 0, + 64, + 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, + 1, + 0, + 124, + 83, + 5, + 186, + 208, + 232, + 138, + 130, + 164, + 165, + 225, + 15, + 70, + 34, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 255, + 63, + 231, + 190, + 175, + 104, + 208, + 52, + 139, + 137, + 189, + 211, + 5, + 198, + 150, + 228, + 88, + 73, + 89, + 113, + 83, + 156, + 141, + 179, + 121, + 176, + 59, + 37, + 36, + 112, + 104, + 135, + 85, + 30, + 25, + 66, + 148, + 64, + 192, + 214, + 221, + 169, + 100, + 14, + 40, + 86, + 176, + 237, + 64, + 248, + 79, + 192, + 245, + 249, + 237, + 125, + 208, + 40, + 207, + 61, + 77, + 56, + 205, + 53, + 91, + 46, + 103, + 102, + 102, + 102, + 64, + 145, + 79, + 107, + 37, + 221, + 161, + 208, + 100, + 112, + 79, + 167, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 153, + 25 + ], + "max_poly_size": 32768, + "public": 40, + "prev_challenges": 2, + "sigma_comm": [ + { + "unshifted": [ + [ + 144, + 199, + 59, + 30, + 197, + 76, + 38, + 186, + 226, + 44, + 172, + 162, + 235, + 251, + 127, + 66, + 130, + 115, + 216, + 187, + 78, + 112, + 124, + 180, + 17, + 225, + 13, + 160, + 146, + 163, + 27, + 46, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 188, + 181, + 117, + 68, + 140, + 236, + 191, + 156, + 19, + 149, + 193, + 214, + 128, + 86, + 245, + 255, + 66, + 164, + 109, + 40, + 103, + 99, + 226, + 100, + 188, + 117, + 40, + 30, + 119, + 155, + 20, + 13, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 237, + 163, + 216, + 152, + 16, + 51, + 137, + 91, + 66, + 18, + 174, + 241, + 80, + 234, + 123, + 212, + 24, + 52, + 20, + 224, + 41, + 46, + 174, + 124, + 105, + 104, + 69, + 15, + 29, + 212, + 102, + 40, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 178, + 12, + 163, + 194, + 229, + 92, + 204, + 83, + 67, + 14, + 199, + 78, + 133, + 175, + 222, + 141, + 82, + 147, + 70, + 9, + 248, + 139, + 163, + 151, + 187, + 160, + 225, + 55, + 144, + 15, + 10, + 12, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 235, + 152, + 196, + 58, + 67, + 84, + 237, + 140, + 231, + 228, + 134, + 253, + 9, + 64, + 20, + 35, + 247, + 44, + 6, + 198, + 116, + 254, + 151, + 49, + 44, + 241, + 180, + 161, + 240, + 254, + 42, + 52, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 153, + 219, + 25, + 52, + 42, + 78, + 97, + 1, + 194, + 160, + 48, + 125, + 100, + 162, + 35, + 58, + 99, + 109, + 207, + 176, + 10, + 55, + 87, + 114, + 90, + 15, + 4, + 153, + 197, + 163, + 233, + 20, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 154, + 5, + 0, + 187, + 231, + 228, + 255, + 57, + 242, + 54, + 101, + 143, + 21, + 171, + 58, + 183, + 169, + 73, + 33, + 153, + 244, + 243, + 54, + 96, + 30, + 96, + 187, + 144, + 182, + 7, + 59, + 20, + 128 + ] + ], + "shifted": null + } + ], + "coefficients_comm": [ + { + "unshifted": [ + [ + 96, + 29, + 250, + 167, + 250, + 21, + 3, + 74, + 122, + 105, + 178, + 240, + 238, + 47, + 120, + 55, + 63, + 183, + 218, + 81, + 213, + 116, + 97, + 251, + 32, + 166, + 4, + 25, + 103, + 201, + 73, + 13, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 205, + 6, + 174, + 128, + 34, + 12, + 95, + 245, + 227, + 82, + 40, + 100, + 101, + 228, + 184, + 243, + 63, + 75, + 150, + 250, + 194, + 217, + 134, + 152, + 171, + 71, + 87, + 193, + 222, + 46, + 192, + 32, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 39, + 246, + 229, + 192, + 203, + 48, + 121, + 61, + 213, + 114, + 216, + 48, + 219, + 34, + 123, + 105, + 98, + 17, + 253, + 59, + 63, + 55, + 247, + 9, + 110, + 128, + 252, + 228, + 74, + 41, + 113, + 60, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 23, + 112, + 243, + 246, + 188, + 132, + 213, + 40, + 125, + 85, + 15, + 138, + 188, + 217, + 223, + 56, + 242, + 94, + 240, + 243, + 221, + 27, + 22, + 27, + 211, + 203, + 206, + 166, + 111, + 236, + 101, + 3, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 141, + 51, + 148, + 248, + 155, + 142, + 88, + 20, + 117, + 74, + 153, + 136, + 92, + 25, + 133, + 97, + 55, + 163, + 222, + 21, + 186, + 128, + 121, + 234, + 88, + 107, + 194, + 231, + 29, + 5, + 140, + 44, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 219, + 25, + 219, + 5, + 12, + 162, + 123, + 107, + 225, + 173, + 248, + 216, + 150, + 84, + 171, + 91, + 205, + 35, + 207, + 129, + 68, + 128, + 160, + 190, + 156, + 182, + 133, + 15, + 82, + 42, + 195, + 18, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 235, + 69, + 81, + 91, + 68, + 69, + 190, + 248, + 190, + 234, + 143, + 114, + 196, + 86, + 185, + 209, + 71, + 237, + 40, + 192, + 238, + 234, + 139, + 33, + 215, + 183, + 164, + 181, + 128, + 66, + 188, + 20, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 3, + 221, + 81, + 228, + 27, + 97, + 214, + 229, + 45, + 62, + 55, + 15, + 222, + 216, + 14, + 106, + 37, + 193, + 170, + 53, + 113, + 92, + 20, + 129, + 223, + 213, + 51, + 227, + 237, + 129, + 69, + 49, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 163, + 162, + 101, + 115, + 84, + 146, + 144, + 103, + 12, + 52, + 106, + 3, + 179, + 210, + 203, + 251, + 30, + 168, + 52, + 203, + 215, + 72, + 104, + 139, + 161, + 7, + 144, + 239, + 176, + 42, + 137, + 49, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 33, + 200, + 127, + 127, + 46, + 110, + 106, + 162, + 173, + 118, + 43, + 1, + 219, + 34, + 12, + 144, + 87, + 79, + 94, + 47, + 193, + 197, + 114, + 244, + 105, + 185, + 250, + 37, + 208, + 47, + 200, + 19, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 95, + 63, + 10, + 11, + 6, + 203, + 22, + 221, + 242, + 239, + 19, + 213, + 79, + 189, + 224, + 143, + 60, + 252, + 87, + 33, + 18, + 111, + 143, + 30, + 128, + 56, + 222, + 103, + 146, + 29, + 209, + 55, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 251, + 154, + 13, + 34, + 142, + 140, + 220, + 130, + 156, + 116, + 140, + 139, + 141, + 119, + 81, + 153, + 139, + 129, + 128, + 89, + 89, + 211, + 7, + 220, + 191, + 47, + 59, + 96, + 29, + 170, + 129, + 51, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 16, + 25, + 236, + 117, + 103, + 213, + 111, + 193, + 14, + 239, + 167, + 102, + 200, + 183, + 80, + 51, + 234, + 177, + 220, + 206, + 162, + 123, + 65, + 61, + 116, + 133, + 73, + 72, + 82, + 19, + 38, + 51, + 0 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 100, + 17, + 144, + 200, + 187, + 48, + 33, + 216, + 127, + 12, + 12, + 32, + 220, + 254, + 232, + 12, + 34, + 135, + 233, + 134, + 186, + 12, + 129, + 128, + 119, + 255, + 115, + 166, + 126, + 109, + 57, + 63, + 128 + ] + ], + "shifted": null + }, + { + "unshifted": [ + [ + 109, + 178, + 72, + 4, + 95, + 36, + 196, + 26, + 85, + 87, + 197, + 250, + 193, + 201, + 95, + 53, + 0, + 201, + 116, + 118, + 116, + 96, + 53, + 169, + 197, + 138, + 26, + 94, + 26, + 136, + 215, + 44, + 0 + ] + ], + "shifted": null + } + ], + "generic_comm": { + "unshifted": [ + [ + 161, + 195, + 223, + 170, + 206, + 84, + 139, + 171, + 229, + 188, + 238, + 11, + 133, + 206, + 241, + 29, + 25, + 229, + 164, + 250, + 11, + 52, + 23, + 71, + 97, + 164, + 120, + 5, + 130, + 162, + 182, + 17, + 0 + ] + ], + "shifted": null + }, + "psm_comm": { + "unshifted": [ + [ + 228, + 9, + 131, + 220, + 113, + 171, + 89, + 106, + 138, + 218, + 28, + 91, + 97, + 245, + 98, + 168, + 174, + 248, + 255, + 188, + 95, + 27, + 89, + 127, + 57, + 218, + 57, + 188, + 110, + 181, + 35, + 56, + 128 + ] + ], + "shifted": null + }, + "complete_add_comm": { + "unshifted": [ + [ + 94, + 185, + 21, + 143, + 142, + 37, + 255, + 13, + 155, + 17, + 161, + 108, + 205, + 103, + 175, + 71, + 161, + 137, + 160, + 211, + 0, + 147, + 192, + 144, + 38, + 194, + 66, + 7, + 66, + 3, + 61, + 26, + 0 + ] + ], + "shifted": null + }, + "mul_comm": { + "unshifted": [ + [ + 133, + 74, + 166, + 27, + 128, + 9, + 81, + 133, + 250, + 42, + 133, + 0, + 22, + 82, + 218, + 60, + 183, + 56, + 87, + 170, + 114, + 53, + 156, + 235, + 2, + 65, + 202, + 89, + 40, + 71, + 158, + 47, + 0 + ] + ], + "shifted": null + }, + "emul_comm": { + "unshifted": [ + [ + 108, + 145, + 111, + 233, + 215, + 174, + 167, + 25, + 77, + 172, + 149, + 9, + 232, + 228, + 36, + 35, + 71, + 97, + 219, + 190, + 3, + 138, + 180, + 143, + 115, + 17, + 92, + 196, + 227, + 83, + 139, + 1, + 128 + ] + ], + "shifted": null + }, + "endomul_scalar_comm": { + "unshifted": [ + [ + 132, + 95, + 45, + 27, + 219, + 204, + 37, + 197, + 173, + 0, + 93, + 236, + 201, + 189, + 63, + 12, + 221, + 146, + 140, + 21, + 122, + 173, + 197, + 90, + 136, + 221, + 28, + 215, + 79, + 142, + 229, + 27, + 0 + ] + ], + "shifted": null + }, + "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": [ + [ + 1, + 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 + ], + [ + 227, + 162, + 20, + 233, + 19, + 52, + 208, + 202, + 241, + 235, + 133, + 223, + 91, + 215, + 82, + 77, + 115, + 213, + 235, + 122, + 175, + 116, + 42, + 126, + 178, + 212, + 11, + 253, + 200, + 205, + 185, + 0 + ], + [ + 198, + 39, + 53, + 13, + 180, + 255, + 55, + 165, + 1, + 160, + 226, + 214, + 148, + 51, + 139, + 230, + 18, + 173, + 50, + 169, + 70, + 0, + 110, + 98, + 18, + 64, + 216, + 96, + 129, + 246, + 124, + 0 + ], + [ + 109, + 15, + 68, + 51, + 154, + 51, + 159, + 184, + 164, + 228, + 155, + 241, + 9, + 150, + 32, + 170, + 100, + 153, + 24, + 72, + 43, + 149, + 163, + 151, + 174, + 57, + 185, + 236, + 90, + 212, + 119, + 0 + ], + [ + 180, + 9, + 35, + 189, + 120, + 230, + 25, + 200, + 10, + 123, + 57, + 192, + 243, + 241, + 30, + 72, + 0, + 85, + 25, + 210, + 254, + 241, + 106, + 31, + 119, + 212, + 5, + 69, + 229, + 199, + 119, + 0 + ], + [ + 132, + 116, + 64, + 98, + 76, + 38, + 66, + 110, + 132, + 128, + 163, + 31, + 40, + 153, + 28, + 190, + 54, + 71, + 223, + 142, + 112, + 240, + 39, + 71, + 122, + 174, + 198, + 236, + 104, + 175, + 179, + 0 + ], + [ + 161, + 116, + 1, + 178, + 74, + 86, + 126, + 230, + 188, + 141, + 137, + 24, + 182, + 117, + 6, + 26, + 111, + 19, + 135, + 74, + 167, + 80, + 93, + 147, + 237, + 192, + 111, + 83, + 164, + 28, + 56, + 0 + ] + ], + "lookup_index": null +} \ No newline at end of file