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

Contract: update the Plonk verifier contract for betav2 (2) (#801)

Browse Source 
* chores(verifier): updates the plonk verifier for beta-v2 on sepolia

* chores(config): changes the prover config to point to 5.0.0

* chores(prover): change the trace limits

* chores(testdata): updates the testdata
This commit is contained in:
AlexandreBelling
2025-03-25 10:56:06 +01:00
committed by GitHub
parent e861b42699
commit efe3b24c25
3 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -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 = 9349760127507071311463574446810049532135998753576793196987266639081763555523;
uint256 private constant VK_QL_COM_Y = 358461266129592298494760607901841367675584325933801822968833008402898104723;
uint256 private constant VK_QR_COM_X = 2275640309040761102752961834772318266950765265111797993546993964761846354265;
uint256 private constant VK_QR_COM_Y = 8631265008371527487719777960950538113870510785343846694308775665278818044654;
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_QM_COM_X = 5553410513240938543232634851474389708189012141911611575921923499176928976035;
uint256 private constant VK_QM_COM_Y = 21267989559503205894532435033155162591528358593663117280327683708498106399392;
uint256 private constant VK_QO_COM_X = 13140407506194185536762256003490074009791461766528862809770970563406607579309;

4
contracts/test/hardhat/_testData/betaV1/proof/7027059-7042723-d2221f5035e3dcbbc46e8a6130fef34fdec33c252b7d31fb8afa6848660260ba-getZkAggregatedProof.json
View File

@@ -1,8 +1,8 @@
{
"finalShnarf": "0x7a136069d307ccefc5b6717ea36f57cb2b84a46252f5187eb33b97293014817b",
"parentAggregationFinalShnarf": "0x96753ec2fed56f5b394eb094eb5730e0f177f2a8da6b316c0d9af5a2922fb432",
"aggregatedProof": "0x253c873f20f8df9d9696dcfd0742e0017d935090335c108f332c3172c9fad04f0c88af3f1547a62b40fb952c55c0c18a45cafd4a3b4e6a5782dce81e8c6885651494cf285464ac8ab5260bd5873dc27798d01015902eed2f13af7cebdc5800c40655160b5dabf7b488f8e876252fe1df1f7ec9f797cfe9ce8bfa2c6e0366bfb70852a71b553035bc71e5ffd654203b1f1a367775357c558f6d17b3deabc7ba1f159511a79099380cd1ded40cbfbe930981b34671a015b0efe925dd668cffb35305fcb5b5bf06c43e300ae6f1910a9ed459450f58d4b09d2168fb92a0f4faa1ee1ef127cf1892d962878b8eb2f42e178f5d2ad9b76b01aed729e1807c99a5ccf1195317c11a135676c6f865f8f28088c3dc7d1206c573e2894757c6e01924077c1f193a061a0e2aa8f0d8c72d51e9dab7e9cbbbbaa3ab958a50f8699db5981c762faa13044b85061b4631927281eda2b261b5e88f800ec41ac2b89721c236524d26a6a241958bab2827f1804ebf1d3c7c4cbaac528cd34c1926643ca1aa69150210600f1d17b51252a08dc4f872afea734a3f6b74034873f93fc952d97bfb0bbc1ef35b003057183e6d25ad01bbf03c5113f52eceaf0048eb9d20fa0756853841233493500b5213164675b23c05e3a9d7268112665f80273a1ff1f3d30b445688018c406f105a6d7959c4faba615a429f54591d51c61660e9ba9dd05929dae9ed05f7231a115e09cd6f1517e48d1ba6c46d767528786340ba3a8263b43858ea4a1b831fdd780f2adb9051bc341b53822784e3d8fadee7964e7353682d88899c081e623bb5b170c685ee9117414e499fdf14ef915f681a39c0be119f32c289b0052d6b0abce20be08cadccae2cab8a3eaf187463cacf711b42021f2d34bab974c1087458905cdf6508a776d253e12fe34e9fa52b26342a2530b022578febdc2fcc03ebf75befd6681be1c695ffc4bdef188ec2d7e2adade6d9ebfb99613b1bcbf02be10f2f65428783c8ae4f621b53cdeef9a5831a1005b2fb51ed56cf4573aca4235a55672c7354a1ec5a16331311f966a94ff20ef01b3f0eedf82fd0415bf9c916ebcc0a499b525f2c1ca90d0d5b8b3a69ceb0d32dadea7615bc8a8f594ee98c17e0fbbe63a22775a00db8e5cb76fd609b8cc0fd654565ad6b63d17f69be6f8c184ae6ef1b68543aaa294145f26babe260414129d20110ffd777ae081ffadb62",
"aggregatedProverVersion": "4.0.1",
"aggregatedProof": "0x22941b2b030bae3880eed2c64e5fc32a84b5727875098171e0621f64555296fd2f62a371090c3fe0945fa1427f5d64ab6d8298c59ed036182b51c5fabfe9b94f054a9acd3de6b5387d4b037a1c41c18c646105cc3def179bc818661736b5de862657b6391397e8c918b91d694d91c2bcd49861b5c6a70b7ca4119f52f2cbd1d314b2146cb5dc356b524e5b3e3d3afbde1aa313e3c7999ba7f21377e2388c889f2bc4186a36fa7217e40c7b9281d2bcece040aca8945abf3263b7772fa2d782d6073da435e54dbf39e97cf631058c678d3f3899b18c3c54516829cf840f45de1313205b3ddb3cb5d8fd2354e18b7b9d786ff70da5fc2e102eff9e0d7314215c64120aff5ea1c29bac558738fb38ca3817895fec139dffb9f7f0f4b59a3262186a08afd160f44ec195e3361dd469e524b0294ef413b9cb6dc58ecfc84d0f6588d70633eae413eeef3323ad211edf879276c9898da627911463cd344eff0fb5324d254544f7069a96a55e0744f5786c86e286aa482177ce83d031ed909bbabffd5314eeabc2ac6ed1ea37c776f0072610a2a2cea7292bc19e96faf9abc0a69eae2b271558ba47c3244c3d10679ae20ccb499aa3013718efdcf5dda811f66df8ea15247fd838573b049c6bfb2717fca129c36c4860c08aafe489870367cfcc8bae9b01b1216dfd0d37ef07c69dbf13cfe07cb920b14b9bee91146d4881cc2c09743626ee9fba9daf1b8b8a0573c18c826476ac4170a024355fd9f2026c95684059962d963db7b841c9fa6484aa8d9448a67f620e1c7cf346944f9220a5750aead5d80ab06cf6f05479a6c699f6dd2dcff112bcf122378fa24526aca2278e211e799720fc1c43d1ac20e19424e01942a31f4f187d604e57125be15e38b2793b40f67d07557764f1cfebfc50355a38ceb177c49c78cdbb859b19a6978dac4e3384519b093ad2eac88536f3230885cd558be5f98404107aa79bf8de9bd2972671973e462e6d77c13b2c764be5633af4c24964be3d84192f7a289b4156f5429c7e90019e241fea01e72169bb534a18cb1dab2e353656bff4beeca14b7fcb5851f25a0d7a19135cee2ea95ee65ba93505dc30c3e02e791a815dfbd708a5553e200bfa680f30289972f2628dc020b3a30b1d61da12121e87edf4a651998be69088ab146837176bcaf8aa36366de7ecaac61909524775a841cb5fa78132b9cdc9fd0a8e085b",
"aggregatedProverVersion": "5.0.0",
"aggregatedVerifierIndex": 1,
"aggregatedProofPublicInput": "0x2bf2182cedb120b0498f6f5c21d3fded5814d1baaaaf0ad0095c4af66aa43760",
"dataHashes": [

8
prover/config/config-sepolia-full.toml
View File

@@ -1,5 +1,5 @@
environment = "sepolia"
version = "4.0.1" # TODO @gbotrel hunt all version definitions.
version = "5.0.0" # TODO @gbotrel hunt all version definitions.
assets_dir = "./prover-assets"
log_level = 4 # TODO @gbotrel will be refactored with new logger.
@@ -40,8 +40,8 @@ message_service_contract = "0x971e727e956690b9957be6d51Ec16E73AcAC83A7"
ADD = 524288
BIN = 262144
BLAKE_MODEXP_DATA = 16384
BLOCK_DATA = 4096
BLOCK_HASH = 512
BLOCK_DATA = 4096
BLOCK_HASH = 2048
EC_DATA = 262144
EUC = 65536
EXP = 8192
@@ -91,7 +91,7 @@ ADD = 1048576
BIN = 524288
BLAKE_MODEXP_DATA = 32768
BLOCK_DATA = 8192
BLOCK_HASH = 1024
BLOCK_HASH = 4096
EC_DATA = 524288
EUC = 131072
EXP = 16384