feat: zisk verification contracts

Author: MarcosNicolau

contracts/src/zisk/IZiskVerifier.sol

@@ -0,0 +1,17 @@
+// Taken from https://github.com/0xPolygonHermez/zisk/blob/feature/bn128/zisk-contracts/IZiskVerifier.sol
+
+// SPDX-License-Identifier: AGPL-3.0
+pragma solidity ^0.8.20;
+
+/// @title Zisk Verifier Interface
+/// @author SilentSig
+/// @notice This contract is the interface for the Zisk Verifier.
+interface IZiskVerifier {
+    /// @notice Verifies a proof with given public values and vkey.
+    /// @param programVK The verification key for the RISC-V program.
+    /// @param publicValues The public values encoded as bytes.
+    /// @param proofBytes The proof of the program execution the Zisk zkVM encoded as bytes.
+    function verifySnarkProof(uint64[4] calldata programVK, bytes calldata publicValues, bytes calldata proofBytes)
+        external
+        view;
+}