udpate vierifeir

JDawg287 · Jan 25, 2024 · f545c77 · f545c77
1 parent 847b25a
commit f545c77
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/contracts/interfaces/IVerifierRollup.sol b/contracts/interfaces/IVerifierRollup.sol
@@ -8,6 +8,6 @@ pragma solidity ^0.8.20;
 interface IVerifierRollup {
     function verifyProof(
         bytes32[24] calldata proof,
-        uint256[1] memory pubSignals
+        uint256[1] calldata pubSignals
     ) external view returns (bool);
 }
diff --git a/contracts/verifiers/FflonkVerifier.sol b/contracts/verifiers/FflonkVerifier.sol
@@ -48,8 +48,8 @@ contract FflonkVerifier {
     uint256 constant w8_7 = 8613538655231327379234925296132678673308827349856085326283699237864372525723;
 
     // Verifier preprocessed input C_0(x)·[1]_1
-    uint256 constant C0x  = 7436841426934271843999872946312645822871802402068881571108027575346498207286;
-    uint256 constant C0y  = 18448034242258174646222819724328439025708531082946938915005051387020977719791;
+    uint256 constant C0x  = 13740223412188786024382620276207902995170246026576302003212539499946277391680;
+    uint256 constant C0y  = 5215376971112980485769354596643131749394956291061945857226755788999033966865;
 
     // Verifier preprocessed input x·[1]_2
     uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822;

diff --git a/package.json b/package.json
@@ -87,7 +87,7 @@
     "deploy:testnet:v2:goerli": "npx hardhat compile && rm -f deployment/v2/deploy_ongoing.json && npm run prepare:testnet:ZkEVM:goerli && npm run deploy:v2:goerli",
     "verify:v2:goerli": "npx hardhat run deployment/v2/verifyContracts.js --network goerli",
     "prepare:testnet:ZkEVM:sepolia": "npx hardhat run deployment/testnet/prepareTestnet.ts --network sepolia",
-    "deploy:v2:sepolia": "npx hardhat compile && npx ts-node deployment/v2/1_createGenesis.ts && npx hardhat run deployment/v2/2_deployPolygonZKEVMDeployer.ts --network sepolia && npx hardhat run deployment/v2/3_deployContracts.ts --network sepolia && npx hardhat run deployment/v2/4_createRollup.ts --network sepolia && npm run saveDeployment:sepolia",
+    "deploy:v2:sepolia": "npx hardhat compile && npx ts-node deployment/v2/1_createGenesis.ts --test && npx hardhat run deployment/v2/2_deployPolygonZKEVMDeployer.ts --network sepolia && npx hardhat run deployment/v2/3_deployContracts.ts --network sepolia && npx hardhat run deployment/v2/4_createRollup.ts --network sepolia && npm run saveDeployment:sepolia",
     "deploy:testnet:v2:sepolia": "npx hardhat compile && rm -f deployment/v2/deploy_ongoing.json && npm run prepare:testnet:ZkEVM:sepolia && npm run deploy:v2:sepolia",
     "verify:v2:sepolia": "npx hardhat run deployment/v2/verifyContracts.js --network sepolia",
     "prepare:v1ToV2:ZkEVM:localhost": "npx hardhat run deployment/v1ToV2/prepareTestnet.ts --network localhost",