From a6bfa2048d15628f513b7357bb862863a76d7ba3 Mon Sep 17 00:00:00 2001 From: Andrea Franz Date: Mon, 23 Jun 2025 11:08:20 +0200 Subject: [PATCH] chore: rollback verifiers changes not supported in status network --- contracts/src/verifiers/PlonkVerifierDev.sol | 6 +++-- .../PlonkVerifierForDataAggregation.sol | 2 +- ...onkVerifierForMultiTypeDataAggregation.sol | 2 +- .../verifiers/PlonkVerifierMainnetFull.sol | 24 +++++++++---------- .../verifiers/PlonkVerifierSepoliaFull.sol | 10 ++++---- .../verifiers/interfaces/IPlonkVerifier.sol | 2 +- 6 files changed, 24 insertions(+), 22 deletions(-) diff --git a/contracts/src/verifiers/PlonkVerifierDev.sol b/contracts/src/verifiers/PlonkVerifierDev.sol index 4e56538e..9a184543 100644 --- a/contracts/src/verifiers/PlonkVerifierDev.sol +++ b/contracts/src/verifiers/PlonkVerifierDev.sol @@ -16,7 +16,7 @@ // Code generated by gnark DO NOT EDIT -pragma solidity 0.8.30; +pragma solidity 0.8.28; contract PlonkVerifierDev { uint256 private constant R_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617; @@ -1323,7 +1323,9 @@ contract PlonkVerifierDev { mstore(add(mPtr, 0x80), e) mstore(add(mPtr, 0xa0), R_MOD) let check_staticcall := staticcall(gas(), MOD_EXP, mPtr, 0xc0, mPtr, 0x20) - if eq(check_staticcall, 0) {} + if eq(check_staticcall, 0) { + + } res := mload(mPtr) } } diff --git a/contracts/src/verifiers/PlonkVerifierForDataAggregation.sol b/contracts/src/verifiers/PlonkVerifierForDataAggregation.sol index b9587985..6a910f84 100644 --- a/contracts/src/verifiers/PlonkVerifierForDataAggregation.sol +++ b/contracts/src/verifiers/PlonkVerifierForDataAggregation.sol @@ -16,7 +16,7 @@ // Code generated by gnark DO NOT EDIT -pragma solidity 0.8.30; +pragma solidity 0.8.28; contract PlonkVerifierForDataAggregation { uint256 private constant R_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617; diff --git a/contracts/src/verifiers/PlonkVerifierForMultiTypeDataAggregation.sol b/contracts/src/verifiers/PlonkVerifierForMultiTypeDataAggregation.sol index bb67c077..871ab531 100644 --- a/contracts/src/verifiers/PlonkVerifierForMultiTypeDataAggregation.sol +++ b/contracts/src/verifiers/PlonkVerifierForMultiTypeDataAggregation.sol @@ -16,7 +16,7 @@ // Code generated by gnark DO NOT EDIT -pragma solidity 0.8.30; +pragma solidity 0.8.28; contract PlonkVerifierForMultiTypeDataAggregation { uint256 private constant R_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617; diff --git a/contracts/src/verifiers/PlonkVerifierMainnetFull.sol b/contracts/src/verifiers/PlonkVerifierMainnetFull.sol index abcde932..d96a75ff 100644 --- a/contracts/src/verifiers/PlonkVerifierMainnetFull.sol +++ b/contracts/src/verifiers/PlonkVerifierMainnetFull.sol @@ -16,7 +16,7 @@ // Code generated by gnark DO NOT EDIT -pragma solidity 0.8.30; +pragma solidity 0.8.28; contract PlonkVerifierMainnetFull { uint256 private constant R_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617; @@ -43,31 +43,31 @@ contract PlonkVerifierMainnetFull { uint256 private constant VK_INV_DOMAIN_SIZE = 21888242219518804655518433051623070663413851959604507555939307129453691614729; uint256 private constant VK_OMEGA = 19200870435978225707111062059747084165650991997241425080699860725083300967194; - uint256 private constant VK_QL_COM_X = 6442075730565437876370635852230249971389397764610233307476382572791098202593; - uint256 private constant VK_QL_COM_Y = 10043013972259624830626812610501083232164297719348552390717925942117304587932; - uint256 private constant VK_QR_COM_X = 19700306395953640080682750077062371059144353301473895695664818857917187363297; - uint256 private constant VK_QR_COM_Y = 24703690747951583957807792601196768698719136030601242077666572912629126056; + uint256 private constant VK_QL_COM_X = 16763721632302187064245116535318993406793422693670709276397395043117985043396; + uint256 private constant VK_QL_COM_Y = 21704519434294991344748680408475309717320132372621249588391334885901175870089; + uint256 private constant VK_QR_COM_X = 4659174267124804103032945565127374540672993228651562455767923366230378925207; + uint256 private constant VK_QR_COM_Y = 10075466426568401715266713487428009727978964696508926491453956484207585528204; uint256 private constant VK_QM_COM_X = 5553410513240938543232634851474389708189012141911611575921923499176928976035; uint256 private constant VK_QM_COM_Y = 21267989559503205894532435033155162591528358593663117280327683708498106399392; uint256 private constant VK_QO_COM_X = 13140407506194185536762256003490074009791461766528862809770970563406607579309; uint256 private constant VK_QO_COM_Y = 11663278532712784593989622026161493805298382402342305264603337558265085421392; uint256 private constant VK_QK_COM_X = 21544117489243114508976994357104276445865936964460835218289822182809574259347; uint256 private constant VK_QK_COM_Y = 16099525972751353512827910298795837779966478757167964357688560266722970909995; - + uint256 private constant VK_S1_COM_X = 17908311428460199492590388039829063852878010071334545129594028234377672983820; uint256 private constant VK_S1_COM_Y = 10103954308412520729697582995254223647125533280505646768640456923233032025547; - + uint256 private constant VK_S2_COM_X = 12866105337297597904597049017273016292761285097880812243024788656739840139515; uint256 private constant VK_S2_COM_Y = 20599250613846035633202356428996750914987720427398215234715506893022862458023; - + uint256 private constant VK_S3_COM_X = 13307442681122525480630104759544119339845938219103784786642372773456371926253; uint256 private constant VK_S3_COM_Y = 50594248840254746757473639804224481189760085670009668062319144215804614333; - - uint256 private constant VK_COSET_SHIFT = 5; - + + uint256 private constant VK_COSET_SHIFT = 5; + uint256 private constant VK_QCP_0_X = 5422475623920098124263885207962814853820529823128844521562879788393274458288; uint256 private constant VK_QCP_0_Y = 8659836707667766389541194141097455574165699707943735466972591014628520691103; - + uint256 private constant VK_INDEX_COMMIT_API_0 = 9131137; uint256 private constant VK_NB_CUSTOM_GATES = 1; diff --git a/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol b/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol index 062ada64..1c94f890 100644 --- a/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol +++ b/contracts/src/verifiers/PlonkVerifierSepoliaFull.sol @@ -16,7 +16,7 @@ // Code generated by gnark DO NOT EDIT -pragma solidity 0.8.30; +pragma solidity 0.8.28; contract PlonkVerifierSepoliaFull { uint256 private constant R_MOD = 21888242871839275222246405745257275088548364400416034343698204186575808495617; @@ -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 = 15756470936035412277047776125402871556876026109630865268787473307008020634689; - uint256 private constant VK_QL_COM_Y = 17329246750480074186073316300400038482834343542885495848032654986679487281092; - uint256 private constant VK_QR_COM_X = 3507409708146069371927460279189422074786264649765828392476466489802428421710; - uint256 private constant VK_QR_COM_Y = 20650021389633971360436899802228992132215693051488017173888478361763186777092; + 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/src/verifiers/interfaces/IPlonkVerifier.sol b/contracts/src/verifiers/interfaces/IPlonkVerifier.sol index ec5092d9..da76afc3 100644 --- a/contracts/src/verifiers/interfaces/IPlonkVerifier.sol +++ b/contracts/src/verifiers/interfaces/IPlonkVerifier.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: Apache-2.0 -pragma solidity ^0.8.30; +pragma solidity ^0.8.26; /** * @title Interface declaring verifier functions.