add v1.0.8

succinctlabs · Jun 20, 2024 · 0e320db · 0e320db
1 parent d42f71e
commit 0e320db
Show file tree

Hide file tree

Showing 4 changed files with 1,436 additions and 2 deletions.
diff --git a/contracts/script/deploy/SP1Verifier.s.sol b/contracts/script/deploy/SP1Verifier.s.sol
@@ -3,7 +3,7 @@ pragma solidity ^0.8.20;
 
 import {console} from "forge-std/console.sol";
 import {BaseScript} from "../utils/Base.s.sol";
-import {SP1Verifier} from "../../src/v1.0.7-testnet/SP1Verifier.sol";
+import {SP1Verifier} from "../../src/v1.0.8-testnet/SP1Verifier.sol";
 import {SP1VerifierGateway} from "../../src/SP1VerifierGateway.sol";
 
 contract SP1VerifierScript is BaseScript {

diff --git a/contracts/src/SP1MockVerifier.sol b/contracts/src/SP1MockVerifier.sol
@@ -7,9 +7,17 @@ import {ISP1Verifier} from "./ISP1Verifier.sol";
 /// @author Succinct Labs
 /// @notice This contracts implements a Mock solidity verifier for SP1.
 contract SP1MockVerifier is ISP1Verifier {
+    function VERSION() external pure returns (string memory) {
+        return "TODO";
+    }
+
     /// @notice Verifies a mock proof with given public values and vkey.
     /// @param proofBytes The proof of the program execution the SP1 zkVM encoded as bytes.
-    function verifyProof(bytes32, bytes calldata, bytes calldata proofBytes) external pure {
+    function verifyProof(
+        bytes32,
+        bytes memory,
+        bytes memory proofBytes
+    ) external pure {
         assert(proofBytes.length == 0);
     }
 }