From d8d32b2130328e5b53fec30d1149d1c23ba9b1b8 Mon Sep 17 00:00:00 2001 From: zkronos73 Date: Wed, 4 Sep 2024 15:32:52 +0000 Subject: [PATCH 1/2] buildsetup-v7.0.0-rc30 verifiers for forks 10 and 11 --- contracts/verifiers/FflonkVerifier_10.sol | 8 ++++---- contracts/verifiers/FflonkVerifier_11.sol | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/contracts/verifiers/FflonkVerifier_10.sol b/contracts/verifiers/FflonkVerifier_10.sol index 536235e08..8802ca0b8 100644 --- a/contracts/verifiers/FflonkVerifier_10.sol +++ b/contracts/verifiers/FflonkVerifier_10.sol @@ -20,7 +20,7 @@ pragma solidity >=0.7.0 <0.9.0; -contract FflonkVerifier_10 { +contract FflonkVerifier { uint32 constant n = 16777216; // Domain size // Verification Key data @@ -48,8 +48,8 @@ contract FflonkVerifier_10 { uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723; // Verifier preprocessed input C_0(x)·[1]_1 - uint256 constant C0x = 1994511655043659082795852683195380325378879257059488547998206007926469246776; - uint256 constant C0y = 21654483303940956161215913593419782322836269247276039101149437960660654437463; + uint256 constant C0x = 11210367295020917257703235313889457022168952188583021305208665558514331769248; + uint256 constant C0y = 17059301660817115093380673187280876999008701101209472326054844504600568092098; // Verifier preprocessed input x·[1]_2 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822; @@ -1241,4 +1241,4 @@ contract FflonkVerifier_10 { return(0, 0x20) } } -} \ No newline at end of file +} diff --git a/contracts/verifiers/FflonkVerifier_11.sol b/contracts/verifiers/FflonkVerifier_11.sol index ab8511c1a..1365fac11 100644 --- a/contracts/verifiers/FflonkVerifier_11.sol +++ b/contracts/verifiers/FflonkVerifier_11.sol @@ -20,7 +20,7 @@ pragma solidity >=0.7.0 <0.9.0; -contract FflonkVerifier_11 { +contract FflonkVerifier { uint32 constant n = 16777216; // Domain size // Verification Key data @@ -48,8 +48,8 @@ contract FflonkVerifier_11 { uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723; // Verifier preprocessed input C_0(x)·[1]_1 - uint256 constant C0x = 11553294103217785023516748419184161960688215767988858039368256322332861589771; - uint256 constant C0y = 10092895974211559972859178879634538990964607545177723538837209775275130760109; + uint256 constant C0x = 5025437015266224703663153706990323429998172899911094409768560315505934222779; + uint256 constant C0y = 16237221832599777269427415426993243095357146403844115525422788241385670511064; // Verifier preprocessed input x·[1]_2 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822; @@ -1241,4 +1241,4 @@ contract FflonkVerifier_11 { return(0, 0x20) } } -} \ No newline at end of file +} From 1f2b2fa53c30cd5ddf91bcef4da18507a7c4fa50 Mon Sep 17 00:00:00 2001 From: zkronos73 Date: Wed, 4 Sep 2024 15:41:37 +0000 Subject: [PATCH 2/2] update internal contract name of verifier, adding fork number to match with filename --- contracts/verifiers/FflonkVerifier_10.sol | 2 +- contracts/verifiers/FflonkVerifier_11.sol | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/contracts/verifiers/FflonkVerifier_10.sol b/contracts/verifiers/FflonkVerifier_10.sol index 8802ca0b8..95a7def5e 100644 --- a/contracts/verifiers/FflonkVerifier_10.sol +++ b/contracts/verifiers/FflonkVerifier_10.sol @@ -20,7 +20,7 @@ pragma solidity >=0.7.0 <0.9.0; -contract FflonkVerifier { +contract FflonkVerifier_10 { uint32 constant n = 16777216; // Domain size // Verification Key data diff --git a/contracts/verifiers/FflonkVerifier_11.sol b/contracts/verifiers/FflonkVerifier_11.sol index 1365fac11..1b5e8d0c7 100644 --- a/contracts/verifiers/FflonkVerifier_11.sol +++ b/contracts/verifiers/FflonkVerifier_11.sol @@ -20,7 +20,7 @@ pragma solidity >=0.7.0 <0.9.0; -contract FflonkVerifier { +contract FflonkVerifier_11 { uint32 constant n = 16777216; // Domain size // Verification Key data