New Semaphore v4 circuits

.github/workflows/production.yml

@@ -19,7 +19,7 @@ jobs:
             - name: Install Node.js
               uses: actions/setup-node@v1
               with:
-                  node-version: 16.x
+                  node-version: "18"
 
             - name: Get yarn cache directory path
               id: yarn-cache-dir-path
@@ -54,6 +54,7 @@ jobs:
         strategy:
             matrix:
                 type:
+                    - circuits
                     - libraries
                     - contracts
 
@@ -63,7 +64,14 @@ jobs:
             - name: Install Node.js
               uses: actions/setup-node@v1
               with:
-                  node-version: 16.x
+                  node-version: "18"
+
+            # https://github.com/iden3/circuits/blob/8fffb6609ecad0b7bcda19bb908bdb544bdb3cf7/.github/workflows/main.yml#L18-L22
+            - name: Setup Circom deps
+              run: sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential
+
+            - name: Setup Circom
+              run: wget https://github.com/iden3/circom/releases/latest/download/circom-linux-amd64 && sudo mv ./circom-linux-amd64 /usr/bin/circom && sudo chmod +x /usr/bin/circom
 
             - name: Get yarn cache directory path
               id: yarn-cache-dir-path
@@ -84,10 +92,11 @@ jobs:
             - name: Build libraries
               run: yarn build:libraries
 
-            - name: Test contracts and libraries
+            - name: Test libraries, contracts and circuits
               run: yarn test:${{ matrix.type }}
 
             - name: Coveralls
+              if: matrix.type != 'circuits'
               uses: coverallsapp/github-action@master
               with:
                   github-token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/pull-requests.yml

@@ -17,7 +17,7 @@ jobs:
             - name: Install Node.js
               uses: actions/setup-node@v1
               with:
-                  node-version: 16.x
+                  node-version: "18"
 
             - name: Get yarn cache directory path
               id: yarn-cache-dir-path
@@ -56,7 +56,14 @@ jobs:
             - name: Install Node.js
               uses: actions/setup-node@v1
               with:
-                  node-version: 16.x
+                  node-version: "18"
+
+            # https://github.com/iden3/circuits/blob/8fffb6609ecad0b7bcda19bb908bdb544bdb3cf7/.github/workflows/main.yml#L18-L22
+            - name: Setup Circom deps
+              run: sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential
+
+            - name: Setup Circom
+              run: wget https://github.com/iden3/circom/releases/latest/download/circom-linux-amd64 && sudo mv ./circom-linux-amd64 /usr/bin/circom && sudo chmod +x /usr/bin/circom
 
             - name: Get yarn cache directory path
               id: yarn-cache-dir-path
@@ -77,5 +84,5 @@ jobs:
             - name: Build libraries
               run: yarn build:libraries
 
-            - name: Test contracts and libraries
+            - name: Test contracts, libraries and circuits
               run: yarn test

.prettierignore

@@ -16,9 +16,6 @@ packages/contracts/deployed-contracts/undefined.json
 packages/contracts/deployed-contracts/hardhat.json
 packages/contracts/deployed-contracts/localhost.json
 
-# circuits
-circuits
-
 # contracts
 Verifier*.sol
 
@@ -44,4 +41,4 @@ snark-artifacts
 
 # Next.js
 .next/
-public
+public

jest.config.ts

@@ -1,9 +1,12 @@
 import fs from "fs"
 import type { Config } from "@jest/types"
 
+const exclude = ["circuits", "contracts"]
+
 const projects: any = fs
     .readdirSync("./packages", { withFileTypes: true })
     .filter((directory) => directory.isDirectory())
+    .filter((directory) => !exclude.includes(directory.name))
     .map(({ name }) => ({
         rootDir: `packages/${name}`,
         displayName: name,

package.json

@@ -11,9 +11,10 @@
         "compile:contracts": "yarn workspace contracts compile",
         "download:snark-artifacts": "rimraf snark-artifacts && ts-node scripts/download-snark-artifacts.ts",
         "remove:template-files": "ts-node scripts/remove-template-files.ts",
-        "test": "yarn test:libraries && yarn test:contracts",
+        "test": "yarn test:libraries && yarn test:contracts && yarn test:circuits",
         "test:libraries": "jest --coverage",
         "test:contracts": "yarn workspace contracts test:coverage",
+        "test:circuits": "yarn workspace @semaphore-protocol/circuits test",
         "lint": "eslint . --ext .js,.ts && yarn workspace contracts lint",
         "prettier": "prettier -c .",
         "prettier:write": "prettier -w .",

packages/circuits/.gitignore

@@ -0,0 +1,3 @@
+ptau
+main
+test

packages/circuits/.mocharc.json

@@ -0,0 +1,7 @@
+{
+    "extension": ["ts"],
+    "require": "ts-node/register",
+    "spec": "./tests/*.test.ts",
+    "timeout": 100000,
+    "exit": true
+}

packages/circuits/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2023 Ethereum Foundation
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

packages/circuits/README.md

@@ -9,8 +9,14 @@
     <a href="https://github.com/semaphore-protocol">
         <img src="https://img.shields.io/badge/project-Semaphore-blue.svg?style=flat-square">
     </a>
-    <a href="https://github.com/semaphore-protocol/semaphore/blob/main/LICENSE">
-        <img alt="Github license" src="https://img.shields.io/github/license/semaphore-protocol/semaphore.svg?style=flat-square">
+    <a href="https://github.com/semaphore-protocol/semaphore/tree/main/packages/circuits/LICENSE">
+        <img alt="NPM license" src="https://img.shields.io/npm/l/%40semaphore-protocol%2Fcircuits?style=flat-square">
+    </a>
+    <a href="https://www.npmjs.com/package/@semaphore-protocol/circuits">
+        <img alt="NPM version" src="https://img.shields.io/npm/v/@semaphore-protocol/circuits?style=flat-square" />
+    </a>
+    <a href="https://npmjs.org/package/@semaphore-protocol/circuits">
+        <img alt="Downloads" src="https://img.shields.io/npm/dm/@semaphore-protocol/circuits.svg?style=flat-square" />
     </a>
 </p>
 

packages/circuits/circomkit.json

@@ -0,0 +1,17 @@
+{
+    "protocol": "groth16",
+    "prime": "bn128",
+    "version": "2.1.5",
+    "circuits": "./circuits.json",
+    "dirPtau": "./ptau",
+    "dirCircuits": "./",
+    "dirInputs": "./inputs",
+    "dirBuild": "./build",
+    "optimization": 2,
+    "inspect": true,
+    "include": ["../../node_modules/circomlib/circuits", "../../node_modules/@zk-kit/circuits/circom"],
+    "groth16numContributions": 1,
+    "groth16askForEntropy": false,
+    "logLevel": "INFO",
+    "verbose": true
+}

packages/circuits/circuits.json

@@ -0,0 +1,7 @@
+{
+    "semaphore": {
+        "file": "semaphore",
+        "template": "Semaphore",
+        "params": [10]
+    }
+}

packages/circuits/package.json

@@ -1,7 +1,38 @@
 {
-    "name": "circuits",
-    "private": true,
+    "name": "@semaphore-protocol/circuits",
+    "version": "3.15.1",
+    "description": "Semaphore Circom circuits to generate zero-knowledge proofs.",
+    "license": "MIT",
+    "files": [
+        "**/*.circom",
+        "!main",
+        "!test",
+        "LICENSE",
+        "README.md"
+    ],
+    "repository": "https://github.com/semaphore-protocol/semaphore",
+    "homepage": "https://github.com/semaphore-protocol/semaphore/tree/main/packages/data",
+    "bugs": {
+        "url": "https://github.com/semaphore-protocol/semaphore.git/issues"
+    },
+    "scripts": {
+        "compile": "circomkit compile semaphore",
+        "setup": "circomkit setup semaphore",
+        "test": "mocha"
+    },
+    "publishConfig": {
+        "access": "public"
+    },
     "dependencies": {
-        "circomlib": "^2.0.2"
+        "@zk-kit/circuits": "0.2.3",
+        "circomlib": "2.0.5"
+    },
+    "devDependencies": {
+        "@types/mocha": "^10.0.6",
+        "@zk-kit/eddsa-poseidon": "0.3.1",
+        "@zk-kit/imt": "^2.0.0-beta",
+        "circomkit": "^0.0.19",
+        "mocha": "^10.2.0",
+        "poseidon-lite": "^0.2.0"
     }
 }

packages/circuits/semaphore.circom

@@ -1,90 +1,25 @@
-pragma circom 2.0.0;
+pragma circom 2.1.5;
 
-include "../node_modules/circomlib/circuits/poseidon.circom";
-include "./tree.circom";
+include "babyjub.circom";
+include "poseidon.circom";
+include "binary-merkle-root.circom";
 
-template CalculateSecret() {
-    signal input identityNullifier;
-    signal input identityTrapdoor;
+template Semaphore(MAX_DEPTH) {
+    signal input privateKey;
+    signal input treeDepth, treeIndices[MAX_DEPTH], treeSiblings[MAX_DEPTH];
+    signal input message;
+    signal input scope;
 
-    signal output out;
+    signal output treeRoot, nullifier;
 
-    component poseidon = Poseidon(2);
+    var Ax, Ay;
+    (Ax, Ay) = BabyPbk()(privateKey);
 
-    poseidon.inputs[0] <== identityNullifier;
-    poseidon.inputs[1] <== identityTrapdoor;
+    var treeLeaf = Poseidon(2)([Ax, Ay]);
 
-    out <== poseidon.out;
-}
-
-template CalculateIdentityCommitment() {
-    signal input secret;
-
-    signal output out;
-
-    component poseidon = Poseidon(1);
+    treeRoot <== BinaryMerkleRoot(MAX_DEPTH)(treeLeaf, treeDepth, treeIndices, treeSiblings);
+    nullifier <== Poseidon(2)([scope, privateKey]);
 
-    poseidon.inputs[0] <== secret;
-
-    out <== poseidon.out;
+    // Dummy constraint to prevent compiler from optimizing it.
+    signal dummySquare <== message * message;
 }
-
-template CalculateNullifierHash() {
-    signal input externalNullifier;
-    signal input identityNullifier;
-
-    signal output out;
-
-    component poseidon = Poseidon(2);
-
-    poseidon.inputs[0] <== externalNullifier;
-    poseidon.inputs[1] <== identityNullifier;
-
-    out <== poseidon.out;
-}
-
-// The current Semaphore smart contracts require nLevels <= 32 and nLevels >= 16.
-template Semaphore(nLevels) {
-    signal input identityNullifier;
-    signal input identityTrapdoor;
-    signal input treePathIndices[nLevels];
-    signal input treeSiblings[nLevels];
-
-    signal input signalHash;
-    signal input externalNullifier;
-
-    signal output root;
-    signal output nullifierHash;
-
-    component calculateSecret = CalculateSecret();
-    calculateSecret.identityNullifier <== identityNullifier;
-    calculateSecret.identityTrapdoor <== identityTrapdoor;
-
-    signal secret;
-    secret <== calculateSecret.out;
-
-    component calculateIdentityCommitment = CalculateIdentityCommitment();
-    calculateIdentityCommitment.secret <== secret;
-
-    component calculateNullifierHash = CalculateNullifierHash();
-    calculateNullifierHash.externalNullifier <== externalNullifier;
-    calculateNullifierHash.identityNullifier <== identityNullifier;
-
-    component inclusionProof = MerkleTreeInclusionProof(nLevels);
-    inclusionProof.leaf <== calculateIdentityCommitment.out;
-
-    for (var i = 0; i < nLevels; i++) {
-        inclusionProof.siblings[i] <== treeSiblings[i];
-        inclusionProof.pathIndices[i] <== treePathIndices[i];
-    }
-
-    root <== inclusionProof.root;
-
-    // Dummy square to prevent tampering signalHash.
-    signal signalHashSquared;
-    signalHashSquared <== signalHash * signalHash;
-
-    nullifierHash <== calculateNullifierHash.out;
-}
-
-component main {public [signalHash, externalNullifier]} = Semaphore(20);

packages/circuits/tests/common.ts

@@ -0,0 +1,12 @@
+import { Circomkit } from "circomkit"
+import { readFileSync } from "fs"
+import path from "path"
+
+const configFilePath = path.join(__dirname, "../circomkit.json")
+const config = JSON.parse(readFileSync(configFilePath, "utf-8"))
+
+// eslint-disable-next-line import/prefer-default-export
+export const circomkit = new Circomkit({
+    ...config,
+    verbose: false
+})