AtHeartEngineer/linea-monorepo
1
0
Fork 0
mirror of https://github.com/vacp2p/linea-monorepo.git synced 2026-01-09 07:28:05 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore: rollback verifiers changes not supported in status network

Browse Source
This commit is contained in:
Andrea Franz
2025-06-23 11:08:20 +02:00
parent 79dbaa9d8b
commit a6bfa2048d
6 changed files with 24 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
contracts/src/verifiers/PlonkVerifierDev.sol
View File

@@ -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)
}
}

2
contracts/src/verifiers/PlonkVerifierForDataAggregation.sol
View File

@@ -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;

2
contracts/src/verifiers/PlonkVerifierForMultiTypeDataAggregation.sol
View File

@@ -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;

24
contracts/src/verifiers/PlonkVerifierMainnetFull.sol
View File

@@ -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;

10
contracts/src/verifiers/PlonkVerifierSepoliaFull.sol
View File

@@ -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;

2
contracts/src/verifiers/interfaces/IPlonkVerifier.sol
View File

@@ -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.