diff --git a/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol b/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol index 7dd60436..1c94f890 100644 --- a/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol +++ b/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol @@ -43,10 +43,10 @@ contract PlonkVerifierSepoliaFull { uint256 private constant VK_INV_DOMAIN_SIZE = 21888242219518804655518433051623070663413851959604507555939307129453691614729; uint256 private constant VK_OMEGA = 19200870435978225707111062059747084165650991997241425080699860725083300967194; - uint256 private constant VK_QL_COM_X = 12300961515833986717257078159959680104960885346903349531235475286119509949825; - uint256 private constant VK_QL_COM_Y = 11524824317947266610335840280306140721428910889493220323881026009275505766457; - uint256 private constant VK_QR_COM_X = 6094212123952151622901685349445122468633471749568545443515453591217377349801; - uint256 private constant VK_QR_COM_Y = 18759747481058471475615986801808753030693050718222552675678841146972453429465; + uint256 private constant VK_QL_COM_X = 3511624111547342756712450888649315655574299737071572931449186092917508751115; + uint256 private constant VK_QL_COM_Y = 4450925408361574070118070087893406410804142563998631907603248600269055878587; + uint256 private constant VK_QR_COM_X = 16811709085260881363700682541955322953859105829393419176289064014786813158854; + uint256 private constant VK_QR_COM_Y = 12615843206799133624845320265059938705761455976479029844654559305921656138535; uint256 private constant VK_QM_COM_X = 5553410513240938543232634851474389708189012141911611575921923499176928976035; uint256 private constant VK_QM_COM_Y = 21267989559503205894532435033155162591528358593663117280327683708498106399392; uint256 private constant VK_QO_COM_X = 13140407506194185536762256003490074009791461766528862809770970563406607579309; diff --git a/contracts/test/hardhat/_testData/betaV1/proof/7027059-7042723-d2221f5035e3dcbbc46e8a6130fef34fdec33c252b7d31fb8afa6848660260ba-getZkAggregatedProof.json b/contracts/test/hardhat/_testData/betaV1/proof/7027059-7042723-d2221f5035e3dcbbc46e8a6130fef34fdec33c252b7d31fb8afa6848660260ba-getZkAggregatedProof.json index 5c84812a..49b3f463 100644 --- a/contracts/test/hardhat/_testData/betaV1/proof/7027059-7042723-d2221f5035e3dcbbc46e8a6130fef34fdec33c252b7d31fb8afa6848660260ba-getZkAggregatedProof.json +++ b/contracts/test/hardhat/_testData/betaV1/proof/7027059-7042723-d2221f5035e3dcbbc46e8a6130fef34fdec33c252b7d31fb8afa6848660260ba-getZkAggregatedProof.json @@ -1,8 +1,8 @@ { "finalShnarf": "0x7a136069d307ccefc5b6717ea36f57cb2b84a46252f5187eb33b97293014817b", "parentAggregationFinalShnarf": "0x96753ec2fed56f5b394eb094eb5730e0f177f2a8da6b316c0d9af5a2922fb432", - "aggregatedProof": "0x22941b2b030bae3880eed2c64e5fc32a84b5727875098171e0621f64555296fd2f62a371090c3fe0945fa1427f5d64ab6d8298c59ed036182b51c5fabfe9b94f054a9acd3de6b5387d4b037a1c41c18c646105cc3def179bc818661736b5de862657b6391397e8c918b91d694d91c2bcd49861b5c6a70b7ca4119f52f2cbd1d314b2146cb5dc356b524e5b3e3d3afbde1aa313e3c7999ba7f21377e2388c889f2bc4186a36fa7217e40c7b9281d2bcece040aca8945abf3263b7772fa2d782d6073da435e54dbf39e97cf631058c678d3f3899b18c3c54516829cf840f45de1313205b3ddb3cb5d8fd2354e18b7b9d786ff70da5fc2e102eff9e0d7314215c64120aff5ea1c29bac558738fb38ca3817895fec139dffb9f7f0f4b59a3262186a08afd160f44ec195e3361dd469e524b0294ef413b9cb6dc58ecfc84d0f6588d70633eae413eeef3323ad211edf879276c9898da627911463cd344eff0fb5324d254544f7069a96a55e0744f5786c86e286aa482177ce83d031ed909bbabffd5314eeabc2ac6ed1ea37c776f0072610a2a2cea7292bc19e96faf9abc0a69eae2b271558ba47c3244c3d10679ae20ccb499aa3013718efdcf5dda811f66df8ea15247fd838573b049c6bfb2717fca129c36c4860c08aafe489870367cfcc8bae9b01b1216dfd0d37ef07c69dbf13cfe07cb920b14b9bee91146d4881cc2c09743626ee9fba9daf1b8b8a0573c18c826476ac4170a024355fd9f2026c95684059962d963db7b841c9fa6484aa8d9448a67f620e1c7cf346944f9220a5750aead5d80ab06cf6f05479a6c699f6dd2dcff112bcf122378fa24526aca2278e211e799720fc1c43d1ac20e19424e01942a31f4f187d604e57125be15e38b2793b40f67d07557764f1cfebfc50355a38ceb177c49c78cdbb859b19a6978dac4e3384519b093ad2eac88536f3230885cd558be5f98404107aa79bf8de9bd2972671973e462e6d77c13b2c764be5633af4c24964be3d84192f7a289b4156f5429c7e90019e241fea01e72169bb534a18cb1dab2e353656bff4beeca14b7fcb5851f25a0d7a19135cee2ea95ee65ba93505dc30c3e02e791a815dfbd708a5553e200bfa680f30289972f2628dc020b3a30b1d61da12121e87edf4a651998be69088ab146837176bcaf8aa36366de7ecaac61909524775a841cb5fa78132b9cdc9fd0a8e085b", - "aggregatedProverVersion": "5.0.0", + "aggregatedProof": "0x12ea00582ef1e961211e6932ea8d2e99df1aa1331cacb8849686bbaad67449c205dac79ff56d32a58c6072e2f7d56f7d1e8bbb3ea33ac27488af7d0d7fa5a3f72bf9f41a87025eb3fa8c04b7e63a7221c44f058706e2f51be7bde3127f7ff15e0273fb454151e7986ed592778af7722d920189838963bfe1d16e19f9eb49befa115a0758544c0bff718737d9d5836b2b1893373c862a28f248ed412d68d22705093fabafed112ab24cde801fe8685f4669a2b88612aeff19ada06648b9a7fce5103ab495e2f8f6191ec72c4e524d6c49c689cc0b0bec9f7873451be6e2d8de732e5c11c56c719d08e7975473cd2692ea1ecb287cfe4de287f187e14f131c8b77133e9219424fa008723e2c6a5133e9da1dd165edda8c26e20b375a3469966b6e0338298f8a0cc1380db5b682849f9bab39d36798cc66482686c10645d40f07740ebc3923c4df6d04b6e46a80b5b12d57cdb7cf53326ee22112789b78a5c78f752b9b20d08293a796b2f6f229d171f3f6015bb176f7e21ccd0c770bd92bb3213019876cf12487978defc46b8c8c2d38229b9c05abf437a558996e055d147a7fd6305cad63a8a7fed08f6c6b4c71b5a75114b03de5001a19d45afcd6357119082b0266e3f650fd12cb2140eab4a41bdb315576fa7c3b149c0cb77becfb63598c550219cbadc0af52890ada80a4b8103981338b15175951cc83dab9879f82e117761ed00e8e94d9ba1f769a1b971d9a60c7ba2b31b03027566c15ff180f10d5497e03711a044e0f0109b1b430328cc57c4cc3b26303174c2595b943d05d2d008a000d259504684125f4e6f0ecae767b1f5d088293c6d4127cf63f4edd222c861f4807bd57e6b3a038ac0898c928ccd8623a1cdc71de54be6f2e1a94851d433db82e22fac19ca4d2c437df0ef739b58b5e152193d06113752be31feeb78f53bc36ea161d92d85e8c7b777f5df448c52de40aa556ca0ea0ea3623282118c6c1ce130127834c0b40b70ca450203a593398932a2b6d4219fa11000cf9cac51090320bb41ba87c82a6bad01bb7b5f8f66545224fea1fc8d750ee3eaca01ac929ea0686070a19d58a949b5a960890d4ad3e403cb359c3710752de047d41c091560616ada61d5279da2e6b626dd5027ff56261fe1adde52fcdd5fa22ddc73ef3c258b598f812d01201ebe9d86747dae1c3171d553856bbdcf8dc09d8e7590b50fb178dea5b", + "aggregatedProverVersion": "5.0.2", "aggregatedVerifierIndex": 1, "aggregatedProofPublicInput": "0x2bf2182cedb120b0498f6f5c21d3fded5814d1baaaaf0ad0095c4af66aa43760", "dataHashes": [ diff --git a/prover/config/config-sepolia-full.toml b/prover/config/config-sepolia-full.toml index 0201187a..fd2a61b0 100644 --- a/prover/config/config-sepolia-full.toml +++ b/prover/config/config-sepolia-full.toml @@ -1,5 +1,5 @@ environment = "sepolia" -version = "5.0.0" # TODO @gbotrel hunt all version definitions. +version = "5.0.2" # TODO @gbotrel hunt all version definitions. assets_dir = "./prover-assets" log_level = 4 # TODO @gbotrel will be refactored with new logger. @@ -8,18 +8,18 @@ retry_delays = [0, 1] [execution] prover_mode = "full" -conflated_traces_dir = "/home/ubuntu/sepolia-testing-full/traces/conflated" -requests_root_dir = "/home/ubuntu/sepolia-testing-full/prover-execution" +conflated_traces_dir = "/home/ubuntu/testing-sepolia-0.8.0-rc8.1/traces/conflated" +requests_root_dir = "/home/ubuntu/testing-sepolia-0.8.0-rc8.1/prover-execution" [blob_decompression] prover_mode = "full" -requests_root_dir = "/home/ubuntu/sepolia-testing-full/prover-compression" +requests_root_dir = "/home/ubuntu/testing-sepolia-0.8.0-rc8.1/prover-compression" dict_paths = ["lib/compressor/compressor_dict.bin"] [aggregation] prover_mode = "full" -requests_root_dir = "/home/ubuntu/sepolia-testing-full/prover-aggregation" +requests_root_dir = "/home/ubuntu/testing-sepolia-0.8.0-rc8.1/prover-aggregation" num_proofs = [10, 20, 50, 100, 200, 400] allowed_inputs = ["execution-dummy", "execution", "execution-large", "blob-decompression-dummy", "blob-decompression-v0", "blob-decompression-v1"] verifier_id = 1