Getter for full verification key

l1-contracts/contracts/state-transition/Verifier.sol

@@ -2,7 +2,7 @@
 
 pragma solidity 0.8.24;
 
-import {IVerifier} from "./chain-interfaces/IVerifier.sol";
+import {IVerifier, VerificationKeyData} from "./chain-interfaces/IVerifier.sol";
 
 /* solhint-disable max-line-length */
 /// @author Matter Labs
@@ -268,6 +268,19 @@ contract Verifier is IVerifier {
         }
     }
 
+    /// @inheritdoc IVerifier
+    function verificationKey() external pure returns (VerificationKeyData memory) {
+        _loadVerificationKey();
+
+        assembly {
+            let start := VK_GATE_SETUP_0_X_SLOT
+            let end := VK_RECURSIVE_FLAG_SLOT
+            let length := add(sub(end, start), 0x20)
+
+            return(start, length)
+        }
+    }
+
     /// @notice Load verification keys to memory in runtime.
     /// @dev The constants are loaded into memory in a specific layout declared in the constants starting from
     /// `VK_` prefix.

l1-contracts/contracts/state-transition/chain-interfaces/IVerifier.sol

@@ -9,6 +9,30 @@ struct VerifierParams {
     bytes32 recursionCircuitsSetVksHash;
 }
 
+/// @notice A struct that represents an elliptic curve point.
+struct ECPoint {
+    uint256 x;
+    uint256 y;
+}
+
+/// @notice A struct that represents the verification key data.
+struct VerificationKeyData {
+    /// @notice 8 points for gate setups
+    ECPoint[8] gateSetup;
+    /// @notice 2 points for gate selectors
+    ECPoint[2] gateSelectors;
+    /// @notice 4 points for permutations
+    ECPoint[4] permutation;
+    /// @notice A point element for lookup selector
+    ECPoint lookupSelector;
+    /// @notice 4 points for lookup tables
+    ECPoint[4] lookupTable;
+    /// @notice A point for lookup table type
+    ECPoint lookupTableType;
+    /// @notice A flag that denotes whether recursion is supported
+    uint256 recursiveFlag;
+}
+
 /// @title The interface of the Verifier contract, responsible for the zero knowledge proof verification.
 /// @author Matter Labs
 /// @custom:security-contact [email protected]
@@ -25,4 +49,9 @@ interface IVerifier {
     /// @notice Calculates a keccak256 hash of the runtime loaded verification keys.
     /// @return vkHash The keccak256 hash of the loaded verification keys.
     function verificationKeyHash() external pure returns (bytes32);
+
+    /// @notice Returns the verification key.
+    /// @dev IMPORTANT: The outside developers should not expect this method to always return result in the same
+    /// format. It might be changed in case of the change of the verification key format.
+    function verificationKey() external pure returns (VerificationKeyData memory);
 }

l1-contracts/test/foundry/unit/concrete/Verifier/Verifier.t.sol

@@ -4,6 +4,7 @@ pragma solidity 0.8.24;
 import {Test} from "forge-std/Test.sol";
 
 import {Verifier} from "contracts/state-transition/Verifier.sol";
+import {VerificationKeyData} from "contracts/state-transition/chain-interfaces/IVerifier.sol";
 import {VerifierTest} from "contracts/dev-contracts/test/VerifierTest.sol";
 
 contract VerifierTestTest is Test {
@@ -161,4 +162,10 @@ contract VerifierTestTest is Test {
         bytes32 verificationKeyHash = verifier.verificationKeyHash();
         assertEq(verificationKeyHash, 0x6625fa96781746787b58306d414b1e25bd706d37d883a9b3acf57b2bd5e0de52);
     }
+
+    function testVerificationKey() public virtual {
+        VerificationKeyData memory vkData = verifier.verificationKey();
+        bytes32 verificationKeyHash = keccak256(abi.encode(vkData));
+        assertEq(verificationKeyHash, 0x6625fa96781746787b58306d414b1e25bd706d37d883a9b3acf57b2bd5e0de52);
+    }
 }

l1-contracts/test/foundry/unit/concrete/Verifier/VerifierRecursive.t.sol

@@ -2,6 +2,7 @@
 pragma solidity 0.8.24;
 
 import {VerifierTestTest} from "./Verifier.t.sol";
+import {VerificationKeyData} from "contracts/state-transition/chain-interfaces/IVerifier.sol";
 import {VerifierRecursiveTest} from "contracts/dev-contracts/test/VerifierRecursiveTest.sol";
 
 contract VerifierRecursiveTestTest is VerifierTestTest {
@@ -52,4 +53,10 @@ contract VerifierRecursiveTestTest is VerifierTestTest {
         bytes32 verificationKeyHash = verifier.verificationKeyHash();
         assertEq(verificationKeyHash, 0x88b3ddc4ed85974c7e14297dcad4097169440305c05fdb6441ca8dfd77cd7fa7);
     }
+
+    function testVerificationKey() public override {
+        VerificationKeyData memory vkData = verifier.verificationKey();
+        bytes32 verificationKeyHash = keccak256(abi.encode(vkData));
+        assertEq(verificationKeyHash, 0x88b3ddc4ed85974c7e14297dcad4097169440305c05fdb6441ca8dfd77cd7fa7);
+    }
 }