From 3ec33fc1bbd03d1514a749afc171f8606779d252 Mon Sep 17 00:00:00 2001
From: Jack Chuma <jack.chuma@coinbase.com>
Date: Tue, 21 Apr 2026 12:14:15 -0400
Subject: [PATCH 1/2] add verifier contract

---
 src/multiproof/zk/ZKVerifier.sol | 51 ++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 src/multiproof/zk/ZKVerifier.sol

diff --git a/src/multiproof/zk/ZKVerifier.sol b/src/multiproof/zk/ZKVerifier.sol
new file mode 100644
index 00000000..f254b8bd
--- /dev/null
+++ b/src/multiproof/zk/ZKVerifier.sol
@@ -0,0 +1,51 @@
+// SPDX-License-Identifier: MIT
+pragma solidity 0.8.15;
+
+import { ISP1Verifier } from "src/dispute/zk/ISP1Verifier.sol";
+import { IAnchorStateRegistry } from "interfaces/dispute/IAnchorStateRegistry.sol";
+import { Verifier } from "../Verifier.sol";
+
+/// @title ZkVerifier
+/// @notice Verifies ZK proofs via a Succinct SP1 verifier gateway.
+/// @dev Adapts the SP1 verifier interface to the IVerifier interface used by AggregateVerifier.
+///      The AggregateVerifier passes (proofBytes, imageId=ZK_IMAGE_HASH, journal=keccak256(publicInputs)).
+///      This contract re-encodes the journal as SP1 public values and forwards the proof to the
+///      SP1 verifier gateway, using imageId as the program verification key.
+contract ZkVerifier is Verifier {
+    /// @notice The SP1 verifier gateway contract.
+    ISP1Verifier public immutable SP1_VERIFIER;
+
+    /// @notice Thrown when SP1 proof verification reverts.
+    error SP1VerificationFailed();
+
+    /// @param sp1Verifier The deployed SP1 verifier gateway address.
+    /// @param anchorStateRegistry The anchor state registry for nullification checks.
+    constructor(ISP1Verifier sp1Verifier, IAnchorStateRegistry anchorStateRegistry) Verifier(anchorStateRegistry) {
+        SP1_VERIFIER = sp1Verifier;
+    }
+
+    /// @notice Verifies a ZK proof via the SP1 verifier gateway.
+    /// @param proofBytes The SP1 proof bytes (first 4 bytes must match the verifier hash).
+    /// @param imageId The SP1 program verification key (ZK_IMAGE_HASH from AggregateVerifier).
+    /// @param journal The keccak256 hash of the proof's public inputs.
+    /// @return True if the proof is valid.
+    function verify(
+        bytes calldata proofBytes,
+        bytes32 imageId,
+        bytes32 journal
+    )
+        external
+        view
+        override
+        notNullified
+        returns (bool)
+    {
+        SP1_VERIFIER.verifyProof(imageId, abi.encodePacked(journal), proofBytes);
+        return true;
+    }
+
+    /// @custom:semver 0.1.0
+    function version() public pure virtual returns (string memory) {
+        return "0.1.0";
+    }
+}

From 06d11e0b93457f8d5e08eb62d02aed988487df6a Mon Sep 17 00:00:00 2001
From: Jack Chuma <jack.chuma@coinbase.com>
Date: Tue, 21 Apr 2026 12:31:07 -0400
Subject: [PATCH 2/2] update semver-lock.json file

---
 snapshots/semver-lock.json | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/snapshots/semver-lock.json b/snapshots/semver-lock.json
index e1a86c47..c7ce7ce6 100644
--- a/snapshots/semver-lock.json
+++ b/snapshots/semver-lock.json
@@ -247,6 +247,10 @@
     "initCodeHash": "0x9f65f2d6e2c43512594f7a08fc0ea475d06f48d230690c3c85cc85dee3a9679a",
     "sourceCodeHash": "0xd5e01b4f4e69313e56e51f2f46b7bbe699ef8dc24b8a6385b8ebac4162e05353"
   },
+  "src/multiproof/zk/ZKVerifier.sol:ZkVerifier": {
+    "initCodeHash": "0xb50364a38af3ef7dbfab9a84210d08c5f61105638326e6a442828dfa5afc924d",
+    "sourceCodeHash": "0x0ffc935dbd768b4aad6c35e2d6826c556191cc5e8f20737045d1bc196b13e19f"
+  },
   "src/revenue-share/FeeDisburser.sol:FeeDisburser": {
     "initCodeHash": "0x1278027e3756e2989e80c0a7b513e221a5fe0d3dbd9ded108375a29b2c1f3d57",
     "sourceCodeHash": "0xac49a0ecf22b8a7bb3ebef830a2d27b19050f9b08941186e8563d5113cf0ce9c"
@@ -295,4 +299,4 @@
     "initCodeHash": "0x2bfce526f82622288333d53ca3f43a0a94306ba1bab99241daa845f8f4b18bd4",
     "sourceCodeHash": "0xf49d7b0187912a6bb67926a3222ae51121e9239495213c975b3b4b217ee57a1b"
   }
-}
\ No newline at end of file
+}