create-fhevm-example 1.3.2 → 1.4.1

package/dist/scripts/shared/utils.js

@@ -0,0 +1,236 @@
+"use strict";
+/**
+ * Core Utilities - Essential helper functions for the FHEVM Example Factory.
+ *
+ * Contains constants, types, logging, file system operations,
+ * naming utilities, and validation functions.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.log = exports.ERROR_MESSAGES = exports.TEST_TYPES_CONTENT = exports.CATEGORY_ORDER = exports.FHEVM_DEPENDENCIES = exports.EXCLUDE_DIRS = exports.MAX_DESCRIPTION_LENGTH = exports.TEMPLATE_DIR_NAME = exports.CATEGORY_ICON = void 0;
+exports.handleError = handleError;
+exports.getRootDir = getRootDir;
+exports.getTemplateDir = getTemplateDir;
+exports.copyDirectoryRecursive = copyDirectoryRecursive;
+exports.toKebabCase = toKebabCase;
+exports.contractNameToExampleName = contractNameToExampleName;
+exports.contractNameToTitle = contractNameToTitle;
+exports.formatCategoryName = formatCategoryName;
+exports.getContractName = getContractName;
+exports.validateExample = validateExample;
+exports.validateCategory = validateCategory;
+exports.validateDirectoryNotExists = validateDirectoryNotExists;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const picocolors_1 = __importDefault(require("picocolors"));
+const config_1 = require("./config");
+exports.CATEGORY_ICON = "📁";
+/** Template directory name within the cloned repo */
+exports.TEMPLATE_DIR_NAME = "fhevm-hardhat-template";
+/** Maximum description length for UI display */
+exports.MAX_DESCRIPTION_LENGTH = 80;
+/** Directories to exclude when copying template */
+exports.EXCLUDE_DIRS = [
+    "node_modules",
+    "artifacts",
+    "cache",
+    "coverage",
+    "types",
+    "dist",
+    ".git",
+];
+/** FHEVM package versions for --add mode */
+exports.FHEVM_DEPENDENCIES = {
+    dependencies: {
+        "encrypted-types": "^0.0.4",
+        "@fhevm/solidity": "^0.9.1",
+    },
+    devDependencies: {
+        "@fhevm/hardhat-plugin": "^0.3.0-1",
+        "@zama-fhe/relayer-sdk": "^0.3.0-5",
+    },
+};
+exports.CATEGORY_ORDER = [
+    "Basic - Encryption",
+    "Basic - Decryption",
+    "Basic - FHE Operations",
+    "Concepts",
+    "Gaming",
+    "Openzeppelin",
+    "Advanced",
+];
+exports.TEST_TYPES_CONTENT = `import type { HardhatEthersSigner } from "@nomicfoundation/hardhat-ethers/signers";
+
+/**
+ * Common signers interface used across test files
+ */
+export interface Signers {
+  owner: HardhatEthersSigner;
+  alice: HardhatEthersSigner;
+}
+`;
+exports.ERROR_MESSAGES = {
+    EXAMPLE_REQUIRED: "Error: Either --example or --category is required",
+    BOTH_SPECIFIED: "Error: Cannot use both --example and --category",
+    UNKNOWN_EXAMPLE: (name) => `Error: Unknown example "${name}"`,
+    UNKNOWN_CATEGORY: (name) => `Error: Unknown category "${name}"`,
+    DIR_EXISTS: (path) => `Error: Directory already exists: ${path}`,
+    NOT_HARDHAT: "This directory does not contain a valid Hardhat project.",
+    CONFIG_NOT_FOUND: "hardhat.config.ts or hardhat.config.js not found",
+    CONTRACT_NAME_FAILED: "Could not extract contract name",
+};
+// =============================================================================
+// Logging Utility
+// =============================================================================
+exports.log = {
+    success: (msg) => console.log(picocolors_1.default.green(msg)),
+    error: (msg) => console.error(picocolors_1.default.red(msg)),
+    info: (msg) => console.log(picocolors_1.default.cyan(msg)),
+    dim: (msg) => console.log(picocolors_1.default.dim(msg)),
+    message: (msg) => console.log(msg),
+};
+/**
+ * Standardized error handler for CLI - logs error and exits
+ */
+function handleError(error, exitCode = 1) {
+    const message = error instanceof Error ? error.message : String(error);
+    exports.log.error(message);
+    process.exit(exitCode);
+}
+// =============================================================================
+// File System Utilities
+// =============================================================================
+/** Resolves root directory by finding package.json */
+function getRootDir() {
+    let dir = __dirname;
+    while (dir !== path.dirname(dir)) {
+        if (fs.existsSync(path.join(dir, "package.json"))) {
+            return dir;
+        }
+        dir = path.dirname(dir);
+    }
+    // Fallback
+    return path.resolve(__dirname, "../..");
+}
+/** Resolves template directory path */
+function getTemplateDir() {
+    return path.join(getRootDir(), exports.TEMPLATE_DIR_NAME);
+}
+/** Copies directory recursively, excluding specified directories */
+function copyDirectoryRecursive(source, destination, excludeDirs = exports.EXCLUDE_DIRS) {
+    if (!fs.existsSync(destination)) {
+        fs.mkdirSync(destination, { recursive: true });
+    }
+    const items = fs.readdirSync(source);
+    items.forEach((item) => {
+        const sourcePath = path.join(source, item);
+        const destPath = path.join(destination, item);
+        const stat = fs.statSync(sourcePath);
+        if (stat.isDirectory()) {
+            if (excludeDirs.includes(item)) {
+                return;
+            }
+            copyDirectoryRecursive(sourcePath, destPath, excludeDirs);
+        }
+        else {
+            fs.copyFileSync(sourcePath, destPath);
+        }
+    });
+}
+// =============================================================================
+// Naming Utilities
+// =============================================================================
+function toKebabCase(str) {
+    return str
+        .replace(/([a-z])([A-Z])/g, "$1-$2")
+        .replace(/([0-9])([A-Z])/g, "$1-$2")
+        .replace(/([A-Z]+)([A-Z][a-z])/g, "$1-$2")
+        .toLowerCase();
+}
+function contractNameToExampleName(contractName) {
+    return toKebabCase(contractName);
+}
+function contractNameToTitle(contractName) {
+    return contractName
+        .replace(/([a-z])([A-Z])/g, "$1 $2")
+        .replace(/([0-9])([A-Z])/g, "$1 $2")
+        .replace(/([A-Z]+)([A-Z][a-z])/g, "$1 $2");
+}
+function formatCategoryName(folderName) {
+    return folderName
+        .replace(/\bfhe\b/gi, "FHE")
+        .replace(/-/g, " ")
+        .replace(/\b\w/g, (char) => char.toUpperCase());
+}
+function getContractName(contractPathOrContent) {
+    let content;
+    if (contractPathOrContent.includes("contract ") ||
+        contractPathOrContent.includes("pragma solidity")) {
+        content = contractPathOrContent;
+    }
+    else {
+        const fullPath = contractPathOrContent.startsWith("/")
+            ? contractPathOrContent
+            : path.join(getRootDir(), contractPathOrContent);
+        if (!fs.existsSync(fullPath)) {
+            const match = contractPathOrContent.match(/([^/]+)\.sol$/);
+            return match ? match[1] : null;
+        }
+        content = fs.readFileSync(fullPath, "utf-8");
+    }
+    const match = content.match(/^\s*contract\s+(\w+)(?:\s+is\s+|\s*\{)/m);
+    return match ? match[1] : null;
+}
+// =============================================================================
+// Validation Functions
+// =============================================================================
+function validateExample(name) {
+    if (!config_1.EXAMPLES[name]) {
+        throw new Error(exports.ERROR_MESSAGES.UNKNOWN_EXAMPLE(name));
+    }
+}
+function validateCategory(name) {
+    if (!config_1.CATEGORIES[name]) {
+        throw new Error(exports.ERROR_MESSAGES.UNKNOWN_CATEGORY(name));
+    }
+}
+function validateDirectoryNotExists(dirPath) {
+    if (fs.existsSync(dirPath)) {
+        throw new Error(exports.ERROR_MESSAGES.DIR_EXISTS(dirPath));
+    }
+}

package/fhevm-hardhat-template/.eslintignore

@@ -0,0 +1,26 @@
+# fhevm
+fhevmTemp
+tmp
+
+# directories
+.coverage_artifacts
+.coverage_cache
+.coverage_contracts
+artifacts
+build
+cache
+coverage
+dist
+node_modules
+types
+
+# files
+*.env
+*.log
+.DS_Store
+.pnp.*
+bun.lockb
+coverage.json
+package-lock.json
+pnpm-lock.yaml
+yarn.lock

package/fhevm-hardhat-template/.eslintrc.yml

@@ -0,0 +1,21 @@
+extends:
+  - "eslint:recommended"
+  - "plugin:@typescript-eslint/eslint-recommended"
+  - "plugin:@typescript-eslint/recommended"
+  - "prettier"
+parser: "@typescript-eslint/parser"
+parserOptions:
+  project: "tsconfig.json"
+plugins:
+  - "@typescript-eslint"
+root: true
+rules:
+  "@typescript-eslint/no-floating-promises":
+    - error
+    - ignoreIIFE: true
+      ignoreVoid: true
+  "@typescript-eslint/no-inferrable-types": "off"
+  "@typescript-eslint/no-unused-vars":
+    - error
+    - argsIgnorePattern: "_"
+      varsIgnorePattern: "_"

package/fhevm-hardhat-template/.github/workflows/main.yml

@@ -0,0 +1,47 @@
+name: Main
+
+on:
+  push:
+    branches:
+      - main
+
+permissions:
+  contents: read
+
+jobs:
+  build-and-test-windows:
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: "false"
+      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+        with:
+          node-version: 22.x
+      - uses: foundry-rs/foundry-toolchain@82dee4ba654bd2146511f85f0d013af94670c4de # v1.4.0
+        with:
+          version: stable
+      - run: npm ci
+      - run: npm run compile
+      - run: npm run build:ts
+      - run: npm test
+      - run: npm run coverage
+  build-and-test-unix:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: "false"
+      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+        with:
+          node-version: 22.x
+      - uses: foundry-rs/foundry-toolchain@82dee4ba654bd2146511f85f0d013af94670c4de # v1.4.0
+        with:
+          version: stable
+      - run: npm ci
+      - run: npm run prettier:check
+      - run: npm run lint
+      - run: npm run compile
+      - run: npm run build:ts
+      - run: npm test
+      - run: npm run coverage

package/fhevm-hardhat-template/.github/workflows/manual-windows.yml

@@ -0,0 +1,28 @@
+name: Windows Manual Test
+
+on:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  build-and-test:
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: "false"
+      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+        with:
+          node-version: 22.x
+      - uses: foundry-rs/foundry-toolchain@82dee4ba654bd2146511f85f0d013af94670c4de # v1.4.0
+        with:
+          version: stable
+      - run: npm ci
+      # - run: npm run prettier:check
+      # - run: npm run lint
+      - run: npm run compile
+      - run: npm run build:ts
+      - run: npm test
+      - run: npm run coverage

package/fhevm-hardhat-template/.github/workflows/manual.yml

@@ -0,0 +1,28 @@
+name: Manual Test
+
+on:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  build-and-test:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          persist-credentials: "false"
+      - uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
+        with:
+          node-version: 22.x
+      - uses: foundry-rs/foundry-toolchain@82dee4ba654bd2146511f85f0d013af94670c4de # v1.4.0
+        with:
+          version: stable
+      - run: npm ci
+      - run: npm run prettier:check
+      - run: npm run lint
+      - run: npm run compile
+      - run: npm run build:ts
+      - run: npm test
+      - run: npm run coverage

package/fhevm-hardhat-template/.prettierignore

@@ -0,0 +1,25 @@
+# fhevm
+fhevmTemp
+
+# directories
+.coverage_artifacts
+.coverage_cache
+.coverage_contracts
+artifacts
+build
+cache
+coverage
+dist
+node_modules
+types
+
+# files
+*.env
+*.log
+.DS_Store
+.pnp.*
+bun.lockb
+coverage.json
+package-lock.json
+pnpm-lock.yaml
+yarn.lock

package/fhevm-hardhat-template/.prettierrc.yml

@@ -0,0 +1,15 @@
+plugins:
+  - "prettier-plugin-solidity"
+printWidth: 120
+trailingComma: "all"
+endOfLine: "lf"
+
+overrides:
+  - files: "*.md"
+    options:
+      proseWrap: "always"
+  - files: "*.sol"
+    options:
+      compiler: "0.8.24"
+      parser: "slang"
+      tabWidth: 4

package/fhevm-hardhat-template/.solcover.js

@@ -0,0 +1,4 @@
+module.exports = {
+  istanbulReporter: ["html", "lcov"],
+  skipFiles: ["test"],
+};

package/fhevm-hardhat-template/.solhint.json

@@ -0,0 +1,12 @@
+{
+  "extends": "solhint:recommended",
+  "rules": {
+    "code-complexity": ["error", 8],
+    "compiler-version": ["error", ">=0.8.4"],
+    "func-visibility": ["error", { "ignoreConstructors": true }],
+    "max-line-length": ["error", 120],
+    "named-parameters-mapping": "warn",
+    "no-console": "off",
+    "not-rely-on-time": "off"
+  }
+}

package/fhevm-hardhat-template/.solhintignore

@@ -0,0 +1,3 @@
+# directories
+**/artifacts
+**/node_modules

package/fhevm-hardhat-template/.vscode/extensions.json

@@ -0,0 +1,3 @@
+{
+  "recommendations": ["esbenp.prettier-vscode", "NomicFoundation.hardhat-solidity", "dbaeumer.vscode-eslint"]
+}

package/fhevm-hardhat-template/.vscode/settings.json

@@ -0,0 +1,9 @@
+{
+  "editor.defaultFormatter": "esbenp.prettier-vscode",
+  "editor.formatOnSave": true,
+  "prettier.documentSelectors": ["**/*.sol"],
+  "typescript.tsdk": "node_modules/typescript/lib",
+  "[solidity]": {
+    "editor.defaultFormatter": "NomicFoundation.hardhat-solidity"
+  }
+}

package/fhevm-hardhat-template/LICENSE

@@ -0,0 +1,33 @@
+BSD 3-Clause Clear License
+
+Copyright © 2025 ZAMA.
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without modification,
+are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright notice, this
+list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright notice, this
+list of conditions and the following disclaimer in the documentation and/or other
+materials provided with the distribution.
+
+3. Neither the name of ZAMA nor the names of its contributors may be used to endorse
+or promote products derived from this software without specific prior written permission.
+
+NO EXPRESS OR IMPLIED LICENSES TO ANY PARTY'S PATENT RIGHTS ARE GRANTED BY THIS LICENSE*.
+THIS SOFTWARE IS PROVIDED BY THE ZAMA AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
+IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
+ZAMA OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY,
+OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
+ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
+ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+*In addition to the rights carried by this license, ZAMA grants to the user a non-exclusive, 
+free and non-commercial license on all patents filed in its name relating to the open-source 
+code (the "Patents") for the sole purpose of evaluation, development, research, prototyping 
+and experimentation.

package/fhevm-hardhat-template/README.md

@@ -0,0 +1,110 @@
+# FHEVM Hardhat Template
+
+A Hardhat-based template for developing Fully Homomorphic Encryption (FHE) enabled Solidity smart contracts using the
+FHEVM protocol by Zama.
+
+## Quick Start
+
+For detailed instructions see:
+[FHEVM Hardhat Quick Start Tutorial](https://docs.zama.ai/protocol/solidity-guides/getting-started/quick-start-tutorial)
+
+### Prerequisites
+
+- **Node.js**: Version 20 or higher
+- **npm or yarn/pnpm**: Package manager
+
+### Installation
+
+1. **Install dependencies**
+
+   ```bash
+   npm install
+   ```
+
+2. **Set up environment variables**
+
+   ```bash
+   npx hardhat vars set MNEMONIC
+
+   # Set your Infura API key for network access
+   npx hardhat vars set INFURA_API_KEY
+
+   # Optional: Set Etherscan API key for contract verification
+   npx hardhat vars set ETHERSCAN_API_KEY
+   ```
+
+3. **Compile and test**
+
+   ```bash
+   npm run compile
+   npm run test
+   ```
+
+4. **Deploy to local network**
+
+   ```bash
+   # Start a local FHEVM-ready node
+   npx hardhat node
+   # Deploy to local network
+   npx hardhat deploy --network localhost
+   ```
+
+5. **Deploy to Sepolia Testnet**
+
+   ```bash
+   # Deploy to Sepolia
+   npx hardhat deploy --network sepolia
+   # Verify contract on Etherscan
+   npx hardhat verify --network sepolia <CONTRACT_ADDRESS>
+   ```
+
+6. **Test on Sepolia Testnet**
+
+   ```bash
+   # Once deployed, you can run a simple test on Sepolia.
+   npx hardhat test --network sepolia
+   ```
+
+## 📁 Project Structure
+
+```
+fhevm-hardhat-template/
+├── contracts/           # Smart contract source files
+│   └── FHECounter.sol   # Example FHE counter contract
+├── deploy/              # Deployment scripts
+├── tasks/               # Hardhat custom tasks
+├── test/                # Test files
+├── hardhat.config.ts    # Hardhat configuration
+└── package.json         # Dependencies and scripts
+```
+
+## 📜 Available Scripts
+
+| Script             | Description              |
+| ------------------ | ------------------------ |
+| `npm run compile`  | Compile all contracts    |
+| `npm run test`     | Run all tests            |
+| `npm run coverage` | Generate coverage report |
+| `npm run lint`     | Run linting checks       |
+| `npm run clean`    | Clean build artifacts    |
+
+## 📚 Documentation
+
+- [FHEVM Documentation](https://docs.zama.ai/fhevm)
+- [FHEVM Hardhat Setup Guide](https://docs.zama.ai/protocol/solidity-guides/getting-started/setup)
+- [FHEVM Testing Guide](https://docs.zama.ai/protocol/solidity-guides/development-guide/hardhat/write_test)
+- [FHEVM Hardhat Plugin](https://docs.zama.ai/protocol/solidity-guides/development-guide/hardhat)
+
+## 📄 License
+
+This project is licensed under the BSD-3-Clause-Clear License. See the [LICENSE](LICENSE) file for details.
+
+## 🆘 Support
+
+- **GitHub Issues**: [Report bugs or request features](https://github.com/zama-ai/fhevm/issues)
+- **Documentation**: [FHEVM Docs](https://docs.zama.ai)
+- **Community**: [Zama Discord](https://discord.gg/zama)
+
+---
+
+**Built with ❤️ by the Zama team**

package/fhevm-hardhat-template/contracts/FHECounter.sol

@@ -0,0 +1,46 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.24;
+
+import {FHE, euint32, externalEuint32} from "@fhevm/solidity/lib/FHE.sol";
+import {ZamaEthereumConfig} from "@fhevm/solidity/config/ZamaConfig.sol";
+
+/// @title A simple FHE counter contract
+/// @author fhevm-hardhat-template
+/// @notice A very basic example contract showing how to work with encrypted data using FHEVM.
+contract FHECounter is ZamaEthereumConfig {
+    euint32 private _count;
+
+    /// @notice Returns the current count
+    /// @return The current encrypted count
+    function getCount() external view returns (euint32) {
+        return _count;
+    }
+
+    /// @notice Increments the counter by a specified encrypted value.
+    /// @param inputEuint32 the encrypted input value
+    /// @param inputProof the input proof
+    /// @dev This example omits overflow/underflow checks for simplicity and readability.
+    /// In a production contract, proper range checks should be implemented.
+    function increment(externalEuint32 inputEuint32, bytes calldata inputProof) external {
+        euint32 encryptedEuint32 = FHE.fromExternal(inputEuint32, inputProof);
+
+        _count = FHE.add(_count, encryptedEuint32);
+
+        FHE.allowThis(_count);
+        FHE.allow(_count, msg.sender);
+    }
+
+    /// @notice Decrements the counter by a specified encrypted value.
+    /// @param inputEuint32 the encrypted input value
+    /// @param inputProof the input proof
+    /// @dev This example omits overflow/underflow checks for simplicity and readability.
+    /// In a production contract, proper range checks should be implemented.
+    function decrement(externalEuint32 inputEuint32, bytes calldata inputProof) external {
+        euint32 encryptedEuint32 = FHE.fromExternal(inputEuint32, inputProof);
+
+        _count = FHE.sub(_count, encryptedEuint32);
+
+        FHE.allowThis(_count);
+        FHE.allow(_count, msg.sender);
+    }
+}

package/fhevm-hardhat-template/deploy/deploy.ts

@@ -0,0 +1,17 @@
+import { DeployFunction } from "hardhat-deploy/types";
+import { HardhatRuntimeEnvironment } from "hardhat/types";
+
+const func: DeployFunction = async function (hre: HardhatRuntimeEnvironment) {
+  const { deployer } = await hre.getNamedAccounts();
+  const { deploy } = hre.deployments;
+
+  const deployedFHECounter = await deploy("FHECounter", {
+    from: deployer,
+    log: true,
+  });
+
+  console.log(`FHECounter contract: `, deployedFHECounter.address);
+};
+export default func;
+func.id = "deploy_fheCounter"; // id required to prevent reexecution
+func.tags = ["FHECounter"];