chore: bump SP1 version in ZK game tutorial (#133)

Bumps the version of SP1 in the ZK game tutorial

Author: sarahschwartz

code/zk-game/Cargo.lock

@@ -4,7 +4,7 @@ edition = "2021"
 
 [dependencies]
 rocket = { version = "0.5.1", features = ["json"] }
-sp1-sdk = "4.0.0-rc.3"
+sp1-sdk = "5.0.0"
 hex = "0.4.3"
 uuid = { version = "1.11.0", features = ["v4"] }
 rocket_ws = { version ="0.1.1" }

code/zk-game/backend/api/Cargo.toml

@@ -5,7 +5,7 @@ edition = "2021"
 
 # ANCHOR: script-deps
 [dependencies]
-sp1-sdk = "4.0.0-rc.3"
+sp1-sdk = "5.0.0"
 hex = "0.4.3"
 alloy-sol-types = { workspace = true }
 game-lib = { path = "../../game_lib" }

code/zk-game/backend/elf/sp1_program

@@ -6,6 +6,6 @@ edition = "2021"
 # ANCHOR: program-deps
 [dependencies]
 alloy-sol-types = { workspace = true }
-sp1-zkvm = "4.0.0-rc.3"
+sp1-zkvm = "5.0.0"
 game-lib = { path = "../../game_lib" }
 # ANCHOR_END: program-deps

code/zk-game/backend/script/Cargo.toml

@@ -1,57 +1,53 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.20;
 
-import {ISP1Verifier, ISP1VerifierWithHash} from "./ISP1Verifier.sol";
-import {Groth16Verifier} from "./Groth16Verifier.sol";
+import { ISP1Verifier, ISP1VerifierWithHash } from './ISP1Verifier.sol';
+import { Groth16Verifier } from './Groth16Verifier.sol';
 
 /// @title SP1 Verifier
 /// @author Succinct Labs
 /// @notice This contracts implements a solidity verifier for SP1.
 contract SP1Verifier is Groth16Verifier, ISP1VerifierWithHash {
-    /// @notice Thrown when the verifier selector from this proof does not match the one in this
-    /// verifier. This indicates that this proof was sent to the wrong verifier.
-    /// @param received The verifier selector from the first 4 bytes of the proof.
-    /// @param expected The verifier selector from the first 4 bytes of the VERIFIER_HASH().
-    error WrongVerifierSelector(bytes4 received, bytes4 expected);
-
-    /// @notice Thrown when the proof is invalid.
-    error InvalidProof();
-
-    function VERSION() external pure returns (string memory) {
-        return "v4.0.0-rc.3";
-    }
-
-    /// @inheritdoc ISP1VerifierWithHash
-    function VERIFIER_HASH() public pure returns (bytes32) {
-        return 0x11b6a09d63d255ad425ee3a7f6211d5ec63fbde9805b40551c3136275b6f4eb4;
+  /// @notice Thrown when the verifier selector from this proof does not match the one in this
+  /// verifier. This indicates that this proof was sent to the wrong verifier.
+  /// @param received The verifier selector from the first 4 bytes of the proof.
+  /// @param expected The verifier selector from the first 4 bytes of the VERIFIER_HASH().
+  error WrongVerifierSelector(bytes4 received, bytes4 expected);
+
+  /// @notice Thrown when the proof is invalid.
+  error InvalidProof();
+
+  function VERSION() external pure returns (string memory) {
+    return 'v5.0.0';
+  }
+
+  /// @inheritdoc ISP1VerifierWithHash
+  function VERIFIER_HASH() public pure returns (bytes32) {
+    return 0xa4594c59bbc142f3b81c3ecb7f50a7c34bc9af7c4c444b5d48b795427e285913;
+  }
+
+  /// @notice Hashes the public values to a field elements inside Bn254.
+  /// @param publicValues The public values.
+  function hashPublicValues(bytes calldata publicValues) public pure returns (bytes32) {
+    return sha256(publicValues) & bytes32(uint256((1 << 253) - 1));
+  }
+
+  /// @notice Verifies a proof with given public values and vkey.
+  /// @param programVKey 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 SP1 zkVM encoded as bytes.
+  function verifyProof(bytes32 programVKey, bytes calldata publicValues, bytes calldata proofBytes) external view {
+    bytes4 receivedSelector = bytes4(proofBytes[:4]);
+    bytes4 expectedSelector = bytes4(VERIFIER_HASH());
+    if (receivedSelector != expectedSelector) {
+      revert WrongVerifierSelector(receivedSelector, expectedSelector);
     }
 
-    /// @notice Hashes the public values to a field elements inside Bn254.
-    /// @param publicValues The public values.
-    function hashPublicValues(bytes calldata publicValues) public pure returns (bytes32) {
-        return sha256(publicValues) & bytes32(uint256((1 << 253) - 1));
-    }
-
-    /// @notice Verifies a proof with given public values and vkey.
-    /// @param programVKey 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 SP1 zkVM encoded as bytes.
-    function verifyProof(
-        bytes32 programVKey,
-        bytes calldata publicValues,
-        bytes calldata proofBytes
-    ) external view {
-        bytes4 receivedSelector = bytes4(proofBytes[:4]);
-        bytes4 expectedSelector = bytes4(VERIFIER_HASH());
-        if (receivedSelector != expectedSelector) {
-            revert WrongVerifierSelector(receivedSelector, expectedSelector);
-        }
-
-        bytes32 publicValuesDigest = hashPublicValues(publicValues);
-        uint256[2] memory inputs;
-        inputs[0] = uint256(programVKey);
-        inputs[1] = uint256(publicValuesDigest);
-        uint256[8] memory proof = abi.decode(proofBytes[4:], (uint256[8]));
-        this.Verify(proof, inputs);
-    }
-}
+    bytes32 publicValuesDigest = hashPublicValues(publicValues);
+    uint256[2] memory inputs;
+    inputs[0] = uint256(programVKey);
+    inputs[1] = uint256(publicValuesDigest);
+    uint256[8] memory proof = abi.decode(proofBytes[4:], (uint256[8]));
+    this.Verify(proof, inputs);
+  }
+}

code/zk-game/backend/sp1_program/Cargo.toml

@@ -42,7 +42,7 @@ const config: HardhatUserConfig = {
     },
   },
   zksolc: {
-    version: 'latest',
+    version: '1.5.15',
     settings: {
       codegen: 'yul',
       // find all available options in the official documentation

code/zk-game/contracts/bun.lock

@@ -16,7 +16,7 @@
   },
   "devDependencies": {
     "@matterlabs/hardhat-zksync": "^1.5.0",
-    "@matterlabs/zksync-contracts": "^1.0.0-beta.8",
+    "@matterlabs/zksync-contracts": "^1.0.0-alpha.9",
     "@nomicfoundation/hardhat-chai-matchers": "^2.0.8",
     "@nomicfoundation/hardhat-verify": "^2.0.13",
     "@openzeppelin/contracts": "^5.3.0",