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 +}