@crisp-e3/contracts 0.0.1-test

package/contracts/ImageID.sol

@@ -0,0 +1,26 @@
+// Copyright 2024 RISC Zero, Inc.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+// SPDX-License-Identifier: Apache-2.0
+
+// This file is automatically generated
+
+pragma solidity ^0.8.20;
+
+library ImageID {
+    bytes32 public constant PROGRAM_ID =
+        bytes32(
+            0x23734b77b0f76e85623a88d7a82f24c34c94834f2501964ea123b7a2027013a2
+        );
+}

package/contracts/Mocks/MockCRISPInputValidator.sol

@@ -0,0 +1,35 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+pragma solidity >=0.8.27;
+
+import {IInputValidator} from "@enclave-e3/contracts/contracts/interfaces/IInputValidator.sol";
+import {IBasePolicy} from "@excubiae/contracts/interfaces/IBasePolicy.sol";
+import {Clone} from "@excubiae/contracts/proxy/Clone.sol";
+import {IVerifier} from "../CRISPVerifier.sol";
+
+/// @title MockCRISPInputValidator.
+/// @notice Mock Enclave Input Validator
+contract MockCRISPInputValidator is IInputValidator, Clone {
+    /// @notice The error emitted when the input data is empty.
+    error EmptyInputData();
+
+    /// @notice Initializes the contract with appended bytes data for configuration.
+    function _initialize() internal virtual override(Clone) {
+        super._initialize();
+    }
+
+    /// @notice Validates input
+    /// @param sender The account that is submitting the input.
+    /// @param data The input to be verified.
+    /// @return input The decoded, policy-approved application payload.
+    function validate(address sender, bytes memory data) external returns (bytes memory input) {
+        if (data.length == 0) revert EmptyInputData();
+
+        (,,bytes memory vote,) = abi.decode(data, (bytes, bytes32[], bytes, address));
+
+        input = vote;
+    }
+}

package/contracts/Mocks/MockRISC0Verifier.sol

@@ -0,0 +1,18 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+pragma solidity ^0.8.27;
+
+import {IRiscZeroVerifier, Receipt} from "risc0/IRiscZeroVerifier.sol";
+
+contract MockRISC0Verifier is IRiscZeroVerifier {
+    function verify(
+        bytes calldata seal,
+        bytes32 imageId,
+        bytes32 journalDigest
+    ) public view override {}
+
+    function verifyIntegrity(Receipt calldata receipt) external view override {}
+}

package/contracts/Mocks/RiscZeroGroth16Verifier.sol

@@ -0,0 +1,16 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+pragma solidity >=0.8.27;
+
+import {RiscZeroGroth16Verifier as RiscZero} from "risc0/groth16/RiscZeroGroth16Verifier.sol";
+import {ControlID} from "risc0/groth16/ControlID.sol";
+
+contract RiscZeroGroth16Verifier is RiscZero {
+    constructor() RiscZero(
+        ControlID.CONTROL_ROOT,
+        ControlID.BN254_CONTROL_ID
+    ) {}
+}

package/package.json

@@ -0,0 +1,72 @@
+{
+  "name": "@crisp-e3/contracts",
+  "version": "0.0.1-test",
+  "type": "module",
+  "files": [
+    "contracts",
+    "dist"
+  ],
+  "exports": {
+    "./contracts/*": "./contracts/*",
+    "./types": {
+      "import": {
+        "types": "./dist/types/index.d.ts",
+        "default": "./dist/types/index.js"
+      },
+      "require": {
+        "types": "./dist/types/index.d.ts",
+        "default": "./dist/types/index.js"
+      }
+    }
+  },
+  "author": {
+    "name": "gnosisguild",
+    "url": "https://github.com/gnosisguild"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@excubiae/contracts": "^0.4.0",
+    "@zk-kit/lean-imt.sol": "2.0.0",
+    "poseidon-solidity": "^0.0.5",
+    "solady": "^0.1.13",
+    "@enclave-e3/contracts": "0.1.5"
+  },
+  "devDependencies": {
+    "@nomicfoundation/hardhat-ethers": "4",
+    "@nomicfoundation/hardhat-ethers-chai-matchers": "^3.0.0",
+    "@nomicfoundation/hardhat-network-helpers": "3",
+    "@nomicfoundation/hardhat-toolbox": "^5.0.0",
+    "@nomicfoundation/hardhat-toolbox-mocha-ethers": "3.0.0",
+    "@nomicfoundation/hardhat-typechain": "3",
+    "@nomicfoundation/hardhat-verify": "^3.0.1",
+    "@openzeppelin/contracts": "^5.0.2",
+    "@typechain/ethers-v6": "^0.5.0",
+    "@typechain/hardhat": "^9.0.0",
+    "@types/chai": "^4.2.0",
+    "@types/mocha": ">=9.1.0",
+    "@types/node": "^22.18.0",
+    "dotenv": "^16.4.5",
+    "ethers": "^6.15.0",
+    "forge-std": "github:foundry-rs/forge-std#v1.9.4",
+    "hardhat": "^3.0.1",
+    "hardhat-deploy": "^0.12.4",
+    "hardhat-gas-reporter": "^1.0.8",
+    "solidity-coverage": "^0.8.1",
+    "ts-node": "^10.9.2",
+    "typechain": "^8.3.0",
+    "typescript": "5.8.3",
+    "viem": "2.30.6"
+  },
+  "scripts": {
+    "compile": "hardhat compile",
+    "ciphernode:add": "hardhat ciphernode:admin-add",
+    "clean:deployments": "hardhat utils:clean-deployments",
+    "deploy:contracts": "hardhat run deploy/deploy.ts",
+    "deploy:contracts:full": "export DEPLOY_ENCLAVE=true && pnpm deploy:contracts",
+    "deploy:contracts:full:mock": "export DEPLOY_ENCLAVE=true && export USE_MOCK_VERIFIER=true && export USE_MOCK_INPUT_VALIDATOR=true && pnpm deploy:contracts",
+    "test": "hardhat test tests/crisp.contracts.test.ts --network localhost",
+    "verify": "hardhat run deploy/verify.ts"
+  }
+}