diff --git a/ethereum/contracts/zksync/Verifier.sol b/ethereum/contracts/zksync/Verifier.sol index 4453a415a4f..32549d012b6 100644 --- a/ethereum/contracts/zksync/Verifier.sol +++ b/ethereum/contracts/zksync/Verifier.sol @@ -233,7 +233,7 @@ contract Verifier is IVerifier { /// @dev flip of 0xe000000000000000000000000000000000000000000000000000000000000000; uint256 internal constant FR_MASK = 0x1fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; - + // non residues uint256 internal constant NON_RESIDUES_0 = 0x5; uint256 internal constant NON_RESIDUES_1 = 0x7; @@ -276,7 +276,6 @@ contract Verifier is IVerifier { /// [table_type] - lookup table type commitment function _loadVerificationKey() internal pure virtual { assembly { - // gate setup commitments mstore(VK_GATE_SETUP_0_X_SLOT, 0x14c289d746e37aa82ec428491881c4732766492a8bc2e8e3cca2000a40c0ea27) mstore(VK_GATE_SETUP_0_Y_SLOT, 0x2f617a7eb9808ad9843d1e080b7cfbf99d61bb1b02076c905f31adb12731bc41) @@ -328,7 +327,6 @@ contract Verifier is IVerifier { // table type commitment mstore(VK_LOOKUP_TABLE_TYPE_X_SLOT, 0x2f85df2d6249ccbcc11b91727333cc800459de6ee274f29c657c8d56f6f01563) mstore(VK_LOOKUP_TABLE_TYPE_Y_SLOT, 0x088e1df178c47116a69c3c8f6d0c5feb530e2a72493694a623b1cceb7d44a76c) - } } diff --git a/ethereum/contracts/zksync/facets/Executor.sol b/ethereum/contracts/zksync/facets/Executor.sol index b71aaf1913b..31acc985b79 100644 --- a/ethereum/contracts/zksync/facets/Executor.sol +++ b/ethereum/contracts/zksync/facets/Executor.sol @@ -352,11 +352,19 @@ contract ExecutorFacet is Base, IExecutor { // We allow skipping the zkp verification for the test(net) environment // If the proof is not empty, verify it, otherwise, skip the verification if (_proof.serializedProof.length > 0) { - bool successVerifyProof = s.verifier.verify(proofPublicInput, _proof.serializedProof, _proof.recursiveAggregationInput); + bool successVerifyProof = s.verifier.verify( + proofPublicInput, + _proof.serializedProof, + _proof.recursiveAggregationInput + ); require(successVerifyProof, "p"); // Proof verification fail } // #else - bool successVerifyProof = s.verifier.verify(proofPublicInput, _proof.serializedProof, _proof.recursiveAggregationInput); + bool successVerifyProof = s.verifier.verify( + proofPublicInput, + _proof.serializedProof, + _proof.recursiveAggregationInput + ); require(successVerifyProof, "p"); // Proof verification fail // #endif