chore: v4.7.1

re #912

.github/workflows/release.yml

@@ -4,6 +4,7 @@ permissions:
     contents: write
 
 on:
+    workflow_dispatch:
     push:
         tags:
             - "v*"

CONTRIBUTING.md

@@ -42,7 +42,7 @@ When you submit your PR (or later change that code), a CI build will automatical
 
 We always use ESLint and Prettier. To check that your code follows the rules, simply run the npm script `yarn lint`.
 
-### Commits rules
+### Commit rules
 
 For commits it is recommended to use [Conventional Commits](https://www.conventionalcommits.org).
 

README.md

@@ -264,7 +264,7 @@ The core of the Semaphore protocol is in the [circuit logic](/packages/circuits/
                 </a>
             </td>
         </tr>
-    <tbody>
+    </tbody>
 </table>
 
 ## 🛠 Install

apps/docs/i18n/es/code.json

@@ -42,7 +42,7 @@
         "message": "Valores públicos"
     },
     "section.identities.box2.description": {
-        "message": "Semaphore utiliza la función hash Poseidon para crear el identtity commitment a partir de los valores privados. Los identity commitments se pueden compartir públicamente, de forma similar a las direcciones Ethereum."
+        "message": "Semaphore utiliza la función hash Poseidon para crear el identity commitment a partir de los valores privados. Los identity commitments se pueden compartir públicamente, de forma similar a las direcciones Ethereum."
     },
     "section.identities.box3.title": {
         "message": "Generar identidades"

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V1/audit.md

@@ -12,6 +12,6 @@ as well as relevant circuits in
 which the Semaphore zk-SNARK uses.
 
 The summary of the audit results can be found
-[here](https://github.com/appliedzkp/semaphore/tree/master/audit). After three
+[here](https://github.com/semaphore-protocol/semaphore/blob/main/apps/docs/versioned_docs/version-V1/audit.md). After three
 rounds of fixes, all security and performance issues were fixed, and the few
 remaining issues are minor and do not affect security.

apps/docs/package.json

@@ -16,10 +16,10 @@
         "format:write": "remark ./**/*.mdx --output"
     },
     "dependencies": {
-        "@docusaurus/core": "3.1.1",
-        "@docusaurus/preset-classic": "3.1.1",
+        "@docusaurus/core": "3.5.2",
+        "@docusaurus/preset-classic": "3.5.2",
         "@mdx-js/react": "^3.0.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/utils": "4.7.1",
         "@svgr/webpack": "^5.5.0",
         "clsx": "^1.2.1",
         "docusaurus-plugin-sass": "^0.2.5",
@@ -31,8 +31,8 @@
         "url-loader": "^4.1.1"
     },
     "devDependencies": {
-        "@docusaurus/module-type-aliases": "3.1.1",
-        "@docusaurus/tsconfig": "3.1.1",
+        "@docusaurus/module-type-aliases": "3.5.2",
+        "@docusaurus/tsconfig": "3.5.2",
         "@types/react": "^18.2.29",
         "remark-cli": "^12.0.0",
         "remark-frontmatter": "^5.0.0",

apps/docs/versioned_docs/version-V1/audit.md

@@ -12,6 +12,6 @@ as well as relevant circuits in
 which the Semaphore zk-SNARK uses.
 
 The summary of the audit results can be found
-[here](https://github.com/appliedzkp/semaphore/tree/master/audit). After three
+[here](https://github.com/semaphore-protocol/semaphore/blob/main/apps/docs/versioned_docs/version-V1/audit.md). After three
 rounds of fixes, all security and performance issues were fixed, and the few
 remaining issues are minor and do not affect security.

apps/docs/versioned_docs/version-V1/howitworks.md

@@ -121,7 +121,7 @@ authenticity of the signal and prevents front-running attacks.
 
 ## Cryptographic primitives
 
-Semaphore uses MiMC for the Merkle tree, Pedersen commmitments for the identity
+Semaphore uses MiMC for the Merkle tree, Pedersen commitments for the identity
 commitments, Blake2 for the nullifiers hash, and EdDSA for the signature.
 
 MiMC is a relatively new hash function. We use the recommended MiMC

apps/docs/versioned_docs/version-V1/libsemaphore.md

@@ -145,7 +145,7 @@ Returns `false` otherwise.
 
 **`signMsg(privKey: EddsaPrivateKey, msg: SnarkBigInt): EdDSAMiMcSpongeSignature)`**
 
-Encapsualtes `circomlib.eddsa.signMiMCSponge` to sign a message `msg` using private key `privKey`.
+Encapsulates `circomlib.eddsa.signMiMCSponge` to sign a message `msg` using private key `privKey`.
 
 **`verifySignature(msg: SnarkBigInt, signature: EdDSAMiMcSpongeSignature, pubKey: EddsaPublicKey)`: boolean**
 
@@ -190,7 +190,7 @@ const genWitness = async (
 -   `circuit` is the output of `genCircuit()`.
 -   `identity` is the `Identity` whose identity commitment you want to prove is
     in the set of registered identities.
--   `idCommitments` is an array of registered identity commmitments; i.e. the
+-   `idCommitments` is an array of registered identity commitments; i.e. the
     leaves of the tree.
 -   `treeDepth` is the number of levels which the Merkle tree used has
 -   `externalNullifier` is the current external nullifier
@@ -212,7 +212,7 @@ Only `witness` is essential to generate the proof; the other data is only
 useful for debugging and additional off-chain checks, such as verifying the
 signature and the Merkle tree root.
 
-**`formatForVerifierContract = (proof: SnarkProof, publicSignals: SnarkPublicSignals`**
+**`formatForVerifierContract = (proof: SnarkProof, publicSignals: SnarkPublicSignals)`**
 
 Converts the data in `proof` and `publicSignals` to strings and rearranges
 elements of `proof.pi_b` so that `snarkjs`'s `verifier.sol` will accept it.

apps/docs/versioned_docs/version-V1/usage.md

@@ -26,7 +26,7 @@ With the Client contract as the owner of the Semaphore contract, the Client
 contract may call owner-only Semaphore functions such as
 `addExternalNullifier()`.
 
-## Add, deactivate, or reactivate external nullifiiers
+## Add, deactivate, or reactivate external nullifiers
 
 These functions add, deactivate, and reactivate an external nullifier respectively.
 As each identity can only signal once to an external nullifier, and as a signal

apps/docs/versioned_docs/version-V1/what-is-semaphore.md

@@ -55,7 +55,7 @@ In sum, Semaphore provides the ability to:
 ### External nullifiers
 
 Think of an external nullifier as a voting booth where each user may only cast
-one vote. If they try to cast a second vote a the same booth, that vote is
+one vote. If they try to cast a second vote at the same booth, that vote is
 invalid.
 
 An external nullifier is any 29-byte value. Semaphore always starts with one
@@ -89,7 +89,7 @@ An anonymous voting app would be configured differently:
 | ----------------------------------- | ------------------------ |
 | The hash of the respondent's answer | The hash of the question |
 
-This allows any user to vote with an arbitary response (e.g. yes, no, or maybe)
+This allows any user to vote with an arbitrary response (e.g. yes, no, or maybe)
 to any question. The user, however, can only vote once per question.
 
 ## About the code

apps/docs/versioned_docs/version-V2/subgraph.md

@@ -9,7 +9,7 @@ Site owners publish _subgraphs_ that expose site data for anyone to query.
 Semaphore's subgraph allows you to retrieve data from the [`Semaphore.sol`](https://github.com/semaphore-protocol/semaphore/tree/v2.6.1/packages/contracts/Semaphore.sol) smart contract.
 
 :::tip
-The Graph protocol uses the [GraphQL](https://graphql.org/) query lanaguage. For examples, see the [GraphQL API documentation](https://thegraph.com/docs/developer/graphql-api). Visit the [subgraph repository](https://github.com/semaphore-protocol/subgraph) to see the list of Semaphore subgraphs.
+The Graph protocol uses the [GraphQL](https://graphql.org/) query language. For examples, see the [GraphQL API documentation](https://thegraph.com/docs/developer/graphql-api). Visit the [subgraph repository](https://github.com/semaphore-protocol/subgraph) to see the list of Semaphore subgraphs.
 :::
 
 ## Schema

apps/docs/versioned_docs/version-V3/glossary.md

@@ -37,7 +37,7 @@ For more information, see [Merkle tree in Wikipedia](https://en.wikipedia.org/wi
 
 ## Nullifier
 
-A value used to prevent double entry or double signalling.
+A value used to prevent double entry or double signaling.
 
 See [Circuit nullifier hash](/V3/technical-reference/circuits/#nullifier-hash).
 

apps/docs/versioned_docs/version-V4/benchmarks.md

@@ -0,0 +1,131 @@
+---
+sidebar_position: 8
+---
+
+# Benchmarks
+
+Semaphore v4 introduces new features and performance improvements. Detailed changes are available in the [release changelog](https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0).
+
+The primary changes in benchmark values are driven by the two major protocol updates:
+
+-   New [Identity schema](https://github.com/semaphore-protocol/semaphore/tree/main/packages/identity).
+
+-   [LeanIMT](https://github.com/privacy-scaling-explorations/zk-kit/tree/main/packages/lean-imt): New optimized IMT.
+
+## New Identity schema
+
+Semaphore v4 includes a new schema for the identities allowing the creation and verification of signatures.
+
+Although the new Identity package is slightly slower than the one in Semaphore v3 (by just a few milliseconds), the trade-off is minimal considering the included functionality.
+
+The new identity schema adds additional constraints to the Semaphore v4 circuit; however, this does not negatively impact overall performance of the protocol.
+
+## LeanIMT
+
+Semaphore v4 uses the LeanIMT data structure for group operations, an improvement over the IMT used in v3.
+
+For further details, see the [LeanIMT paper](https://github.com/privacy-scaling-explorations/zk-kit/tree/main/papers/leanimt).
+
+The LeanIMT offers dynamic depth, resulting in faster and more cost-effective group operations, across Node.js, browser and smart contracts.
+
+Semaphore v4 support tree depths from 1 to 32, while v3 supports depths from 16 to 32, both for proof generation and verification.
+
+## System Specifications and Software environment
+
+All the benchmarks were run in an environment with these properties:
+
+**System Specifications**
+
+Computer: MacBook Pro
+
+Chip: Apple M2 Pro
+
+Memory (RAM): 16 GB
+
+Operating System: macOS Sequoia version 15.0.1
+
+**Software environment**
+
+Node.js version: 20.18.0
+
+Browser: Google Chrome Version 130.0.6723.92 (Official Build) (arm64)
+
+## Running the benchmarks
+
+### Javascript and Circom
+
+GitHub repository to the run Node.js, browser and Circom benchmarks: https://github.com/vplasencia/semaphore-benchmarks
+
+### Solidity
+
+GitHub repository to run the Solidity benchmarks: https://github.com/semaphore-protocol/semaphore
+
+## Node.js benchmarks
+
+### Identities
+
+![Identities](../../assets/img-benchmarks/node/identity-node-benchmarks.png)
+
+### Create Group
+
+Create group, either empty or with initial members.
+
+![Create Group](../../assets/img-benchmarks/node/create-group-node-benchmarks.png)
+
+### Add Member
+
+Add a member to groups with different sizes.
+
+![Add Member](../../assets/img-benchmarks/node/add-member-node-benchmarks.png)
+
+### Generate Proof
+
+Generate a proof using groups with different numbers of members.
+
+![Generate Proof](../../assets/img-benchmarks/node/generate-proof-node-benchmarks.png)
+
+### Verify Proof
+
+Verify a proof using groups with different numbers of members.
+
+![Verify Proof](../../assets/img-benchmarks/node/verify-proof-node-benchmarks.png)
+
+## Browser benchmarks
+
+Main functions used in the browser.
+
+![Browser benchmarks](../../assets/img-benchmarks/browser/browser-benchmarks.png)
+
+## Circuit benchmarks
+
+### Semaphore V3
+
+<img
+src={require('../../assets/img-benchmarks/circuits/semaphore-v3-circuits-benchmarks.png').default}
+alt="Circuit benchmarks Semaphore v3"
+style={{ width: '300px', height: 'auto' }}
+/>
+
+### Semaphore V4
+
+<img
+src={require('../../assets/img-benchmarks/circuits/semaphore-v4-circuits-benchmarks.png').default}
+alt="Circuit benchmarks Semaphore v4"
+style={{ width: '300px', height: 'auto' }}
+/>
+
+## Contracts
+
+<img
+src={require('../../assets/img-benchmarks/contracts/contract-benchmarks.png').default}
+alt="Contract Benchmarks"
+style={{ width: '590px', height: 'auto' }}
+/>
+
+### Semaphore V3 gas report
+
+![Contracts benchmarks Semaphore v3](../../assets/img-benchmarks/contracts/semaphore-v3-contracts-benchmarks.png)
+
+### Semaphore V4 gas report
+
+![Contracts benchmarks Semaphore v4](../../assets/img-benchmarks/contracts/semaphore-v4-contracts-benchmarks.png)

apps/docs/versioned_docs/version-V4/credits.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 12
+sidebar_position: 13
 ---
 
 # Credits

apps/docs/versioned_docs/version-V4/faq.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 11
+sidebar_position: 12
 ---
 
 # FAQ

apps/docs/versioned_docs/version-V4/glossary.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 8
+sidebar_position: 9
 ---
 
 # Glossary

apps/docs/versioned_docs/version-V4/guides/identities.mdx

@@ -20,7 +20,7 @@ To prevent fraud, the owner should keep their private key secret.
 
 ## Install package
 
-In your code, use the [`@semaphore-protocol/identity`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/identity) package to manage Semaphore identites.
+In your code, use the [`@semaphore-protocol/identity`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/identity) package to manage Semaphore identities.
 
 <Tabs
   defaultValue="npm"

apps/docs/versioned_docs/version-V4/guides/proofs.mdx

@@ -79,7 +79,7 @@ const group = new Group(members)
 
 Each proof requires a [scope](/glossary#scope), on which each user may only generate one valid proof. The scope, together with the user's private key, is used to generate the nullifier, which is the value you can actually use to check whether a proof with that scope has already been generated by that user. In a voting application where double-voting must be prevented, the scope could be the ballot id, or the Merkle root of the group.
 
-### 4. Generate the anomymous message
+### 4. Generate the anonymous message
 
 Finally, you can generate the proof with the anonymous message using the `generateProof` function. For example:
 

apps/docs/versioned_docs/version-V4/resources.mdx

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 9
+sidebar_position: 10
 ---
 
 import Articles from '@site/src/components/Articles';

apps/docs/versioned_docs/version-V4/troubleshooting.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 10
+sidebar_position: 11
 ---
 
 import Tabs from "@theme/Tabs"

apps/subgraph/README.md

@@ -42,21 +42,22 @@
 
 ## Networks
 
-You can access any subgraph supported by Semaphore with the following URL: https://api.studio.thegraph.com/query/14377/semaphore-<network-name>/v4.0.0-beta.17.
+You can access any subgraph supported by Semaphore with the following URL: `https://api.studio.thegraph.com/query/14377/semaphore-<network-name>/v4.2.0`.
 
 Supported networks:
 
 -   `sepolia`
 -   `optimism`
 -   `optimism-sepolia`
--   `arbitrum-one`
+-   `arbitrum`
 -   `arbitrum-sepolia`
 -   `matic`
--   `polygon-amoy`
+-   `matic-amoy`
 -   `base-sepolia`
 -   `base`
 -   `linea-sepolia`
 -   `linea`
+-   `scroll-sepolia`
 
 ## 🛠 Install
 

apps/website/src/app/build/page.tsx

@@ -26,7 +26,7 @@ export default function Build() {
             url: "https://github.com/semaphore-protocol/boilerplate",
             details: [
                 "Begin your projects with a ready-to-use example template",
-                "Create identity, join group, send anonmous feedback",
+                "Create identity, join group, send anonymous feedback",
                 "Easily modify to align with specific project goals"
             ]
         },
@@ -133,7 +133,7 @@ export default function Build() {
                     </VStack>
                 </Flex>
 
-                <Box position="relative" w={{ base: "full", xl: "727px" }} h="630" overflow="hidden">
+                <Box position="relative" w={{ base: "full", xl: "727px" }} h="630px" overflow="hidden">
                     <Image
                         src="https://semaphore.cedoor.dev/flower-shadow.jpg"
                         alt=""

apps/website/src/app/page.tsx

@@ -287,7 +287,7 @@ export default function Home() {
                                 Upcoming Events
                             </Heading>
 
-                            <VStack align="left" spacing="10" maxH="600" overflowY="auto">
+                            <VStack align="left" spacing="10" maxH="600px" overflowY="auto">
                                 {events.map((event) => (
                                     <Link href={event.link} key={event.name} isExternal>
                                         <VStack align="left">

apps/website/src/data/events.json

@@ -10,5 +10,11 @@
         "date": "Nov 12-15, 2024",
         "description": "Semaphore team will deliver an in-person talk and run workshops.",
         "link": "https://devcon.org/en/"
+    },
+    {
+        "name": "ETHIndia",
+        "date": "Dec 6-8, 2024",
+        "description": "Semaphore team will deliver an in-person talk on Semaphore and Bandada.",
+        "link": "https://ethindia.co"
     }
 ]

apps/website/src/data/projects.json

@@ -555,5 +555,15 @@
             "github": "https://github.com/GeneralMagicio/pairwise-RPGF4",
             "website": "https://pairwise.vote"
         }
+    },
+    {
+        "name": "VeilEscrow",
+        "categories": ["Privacy", "Coordination"],
+        "tagline": "Secure, private, and decentralized escrows for anonymous transactions",
+        "pse": false,
+        "icon": "",
+        "links": {
+            "github": "https://github.com/evgongora/VeilEscrow"
+        }
     }
 ]

package.json

@@ -9,7 +9,8 @@
     "scripts": {
         "build": "yarn build:libraries && yarn build:subgraph && yarn build:website && yarn build:docs",
         "build:libraries": "yarn workspaces foreach -Apt --no-private run build",
-        "build:subgraph": "yarn workspace semaphore-subgraph build:sepolia",
+        "clean:subgraph": "rimraf apps/subgraph/node_modules",
+        "build:subgraph": "yarn clean:subgraph && yarn workspace semaphore-subgraph build:sepolia",
         "build:website": "yarn workspace semaphore-website build",
         "build:docs": "yarn workspace semaphore-docs build",
         "compile:contracts": "yarn workspace semaphore-contracts compile",

packages/circuits/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/circuits",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "Semaphore Circom circuits to generate zero-knowledge proofs.",
     "license": "MIT",
     "files": [

packages/cli-template-contracts-hardhat/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/cli-template-contracts-hardhat",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "Semaphore Hardhat template.",
     "license": "Unlicense",
     "files": [
@@ -41,9 +41,9 @@
         "@nomicfoundation/hardhat-network-helpers": "^1.0.0",
         "@nomicfoundation/hardhat-toolbox": "^4.0.0",
         "@nomicfoundation/hardhat-verify": "^2.0.0",
-        "@semaphore-protocol/core": "4.5.0",
-        "@semaphore-protocol/hardhat": "4.5.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/core": "4.7.1",
+        "@semaphore-protocol/hardhat": "4.7.1",
+        "@semaphore-protocol/utils": "4.7.1",
         "@typechain/ethers-v6": "^0.5.0",
         "@typechain/hardhat": "^9.0.0",
         "@types/chai": "^4.2.0",
@@ -71,7 +71,7 @@
         "typescript": "^5.3.3"
     },
     "dependencies": {
-        "@semaphore-protocol/contracts": "4.5.0"
+        "@semaphore-protocol/contracts": "4.7.1"
     },
     "packageManager": "yarn@4.1.0"
 }

packages/cli-template-monorepo-ethers/apps/contracts/package.json

@@ -20,9 +20,9 @@
         "@nomicfoundation/hardhat-network-helpers": "^1.0.0",
         "@nomicfoundation/hardhat-toolbox": "^4.0.0",
         "@nomicfoundation/hardhat-verify": "^2.0.0",
-        "@semaphore-protocol/core": "4.5.0",
-        "@semaphore-protocol/hardhat": "4.5.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/core": "4.7.1",
+        "@semaphore-protocol/hardhat": "4.7.1",
+        "@semaphore-protocol/utils": "4.7.1",
         "@typechain/ethers-v6": "^0.5.0",
         "@typechain/hardhat": "^9.0.0",
         "@types/chai": "^4.2.0",
@@ -50,7 +50,7 @@
         "typescript": "^5.3.3"
     },
     "dependencies": {
-        "@semaphore-protocol/contracts": "4.5.0"
+        "@semaphore-protocol/contracts": "4.7.1"
     },
     "packageManager": "yarn@4.1.0"
 }

packages/cli-template-monorepo-ethers/apps/web-app/package.json

@@ -9,9 +9,9 @@
         "lint": "next lint"
     },
     "dependencies": {
-        "@semaphore-protocol/core": "4.5.0",
-        "@semaphore-protocol/data": "4.5.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/core": "4.7.1",
+        "@semaphore-protocol/data": "4.7.1",
+        "@semaphore-protocol/utils": "4.7.1",
         "ethers": "^6.11.1",
         "next": "14.1.0",
         "next-pwa": "^5.6.0",

packages/cli-template-monorepo-ethers/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/cli-template-monorepo-ethers",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "Semaphore Hardhat + Next.js + SemaphoreEthers template.",
     "license": "Unlicense",
     "files": [

packages/cli-template-monorepo-subgraph/apps/contracts/package.json

@@ -20,9 +20,9 @@
         "@nomicfoundation/hardhat-network-helpers": "^1.0.0",
         "@nomicfoundation/hardhat-toolbox": "^4.0.0",
         "@nomicfoundation/hardhat-verify": "^2.0.0",
-        "@semaphore-protocol/core": "4.5.0",
-        "@semaphore-protocol/hardhat": "4.5.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/core": "4.7.1",
+        "@semaphore-protocol/hardhat": "4.7.1",
+        "@semaphore-protocol/utils": "4.7.1",
         "@typechain/ethers-v6": "^0.5.0",
         "@typechain/hardhat": "^9.0.0",
         "@types/chai": "^4.2.0",
@@ -50,7 +50,7 @@
         "typescript": "^5.3.3"
     },
     "dependencies": {
-        "@semaphore-protocol/contracts": "4.5.0"
+        "@semaphore-protocol/contracts": "4.7.1"
     },
     "packageManager": "yarn@4.1.0"
 }

packages/cli-template-monorepo-subgraph/apps/web-app/package.json

@@ -9,9 +9,9 @@
         "lint": "next lint"
     },
     "dependencies": {
-        "@semaphore-protocol/core": "4.5.0",
-        "@semaphore-protocol/data": "4.5.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/core": "4.7.1",
+        "@semaphore-protocol/data": "4.7.1",
+        "@semaphore-protocol/utils": "4.7.1",
         "ethers": "^6.11.1",
         "next": "14.1.0",
         "next-pwa": "^5.6.0",

packages/cli-template-monorepo-subgraph/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/cli-template-monorepo-subgraph",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "Semaphore Hardhat + Next.js + SemaphoreSubgraph template.",
     "license": "Unlicense",
     "files": [

packages/cli/package.json

@@ -1,7 +1,7 @@
 {
     "name": "@semaphore-protocol/cli",
     "type": "module",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A command line tool to set up your Semaphore project and get group data.",
     "license": "MIT",
     "bin": {
@@ -41,8 +41,8 @@
         "rollup-plugin-cleanup": "^3.2.1"
     },
     "dependencies": {
-        "@semaphore-protocol/data": "4.5.0",
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/data": "4.7.1",
+        "@semaphore-protocol/utils": "4.7.1",
         "axios": "^1.6.7",
         "boxen": "^7.1.1",
         "chalk": "^5.3.0",

packages/contracts/contracts/README.md

@@ -46,18 +46,16 @@ To learn more about contracts visit [semaphore.pse.dev](https://docs.semaphore.p
 
 ## 🛠 Install
 
-### npm or yarn
+You can install the semaphore protocol contracts with any node package manager (`bun`, `npm`, `pnpm`,`yarn`) or the solidity package manager [`soldeer`](https://soldeer.xyz).
 
-Install the `@semaphore-protocol/contracts` package with npm:
-
-```bash
+```commandline
+bun add @semaphore-protocol/contracts
 npm i @semaphore-protocol/contracts
-```
-
-or yarn:
-
-```bash
+pnpm add @semaphore-protocol/contracts
 yarn add @semaphore-protocol/contracts
+
+# for soldeer, an explicit version is required, e.g:
+soldeer install semaphore-protocol-contracts~4.6.0
 ```
 
 ## 📜 Usage

packages/contracts/contracts/Semaphore.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {ISemaphore} from "./interfaces/ISemaphore.sol";
 import {ISemaphoreVerifier} from "./interfaces/ISemaphoreVerifier.sol";

packages/contracts/contracts/base/Constants.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @dev Minimum supported tree depth.
 uint8 constant MIN_DEPTH = 1;

packages/contracts/contracts/base/SemaphoreGroups.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {ISemaphoreGroups} from "../interfaces/ISemaphoreGroups.sol";
 import {InternalLeanIMT, LeanIMTData} from "@zk-kit/lean-imt.sol/InternalLeanIMT.sol";

packages/contracts/contracts/base/SemaphoreVerifier.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
 
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 import {MAX_DEPTH} from "./Constants.sol";
 import {SemaphoreVerifierKeyPts} from "./SemaphoreVerifierKeyPts.sol";
@@ -59,7 +59,10 @@ contract SemaphoreVerifier {
                 mstore(add(mIn, 32), y)
                 mstore(add(mIn, 64), s)
 
-                success := staticcall(sub(gas(), 2000), 7, mIn, 96, mIn, 64)
+                // ecMul gas cost is fixed at 6000. Add 33.3% gas for safety buffer.
+                // Last checked in 2024 Oct, evm codename Cancun
+                // ref: https://www.evm.codes/precompiled?fork=cancun#0x07
+                success := staticcall(8000, 7, mIn, 96, mIn, 64)
 
                 if iszero(success) {
                     mstore(0, 0)
@@ -69,7 +72,10 @@ contract SemaphoreVerifier {
                 mstore(add(mIn, 64), mload(pR))
                 mstore(add(mIn, 96), mload(add(pR, 32)))
 
-                success := staticcall(sub(gas(), 2000), 6, mIn, 128, pR, 64)
+                // ecAdd gas cost is fixed at 150. Add 33.3% gas for safety buffer.
+                // Last checked in 2024 Oct, evm codename Cancun
+                // ref: https://www.evm.codes/precompiled?fork=cancun#0x06
+                success := staticcall(200, 6, mIn, 128, pR, 64)
 
                 if iszero(success) {
                     mstore(0, 0)
@@ -149,7 +155,10 @@ contract SemaphoreVerifier {
                 mstore(add(_pPairing, 704), mload(add(vkPoints, 64)))
                 mstore(add(_pPairing, 736), mload(add(vkPoints, 96)))
 
-                let success := staticcall(sub(gas(), 2000), 8, _pPairing, 768, _pPairing, 0x20)
+                // ecPairing gas cost at 181000 given 768 bytes input. Add 33.3% gas for safety buffer.
+                // Last checked in 2024 Oct, evm codename Cancun
+                // ref: https://www.evm.codes/precompiled?fork=cancun#0x08
+                let success := staticcall(241333, 8, _pPairing, 768, _pPairing, 0x20)
 
                 isOk := and(success, mload(_pPairing))
             }

packages/contracts/contracts/base/SemaphoreVerifierKeyPts.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: MIT
 // Part of this file was generated with [snarkJS](https://github.com/iden3/snarkjs).
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 library SemaphoreVerifierKeyPts {
     error Semaphore__VKPtBytesMaxDepthInvariantViolated(uint256 actual, uint256 expected);

packages/contracts/contracts/interfaces/ISemaphore.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title Semaphore contract interface.
 interface ISemaphore {

packages/contracts/contracts/interfaces/ISemaphoreGroups.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title SemaphoreGroups contract interface.
 interface ISemaphoreGroups {

packages/contracts/contracts/interfaces/ISemaphoreVerifier.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: MIT
-pragma solidity 0.8.23;
+pragma solidity >=0.8.23 <=0.8.28;
 
 /// @title SemaphoreVerifier contract interface.
 interface ISemaphoreVerifier {

packages/contracts/contracts/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/contracts",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "Semaphore contracts to manage groups and broadcast anonymous signals.",
     "license": "MIT",
     "files": [

packages/contracts/hardhat.config.ts

@@ -64,6 +64,14 @@ const hardhatConfig: HardhatUserConfig = {
                     apiURL: "https://api.lineascan.build/api",
                     browserURL: "https://lineascan.build"
                 }
+            },
+            {
+                network: "scroll-sepolia",
+                chainId: 534351,
+                urls: {
+                    apiURL: "https://api-sepolia.scrollscan.com/api",
+                    browserURL: "https://sepolia.scrollscan.com"
+                }
             }
         ]
     },

packages/core/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/core",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "Core library for the essential Semaphore features.",
     "type": "module",
     "license": "MIT",
@@ -42,8 +42,8 @@
         "access": "public"
     },
     "dependencies": {
-        "@semaphore-protocol/group": "4.5.0",
-        "@semaphore-protocol/identity": "4.5.0",
-        "@semaphore-protocol/proof": "4.5.0"
+        "@semaphore-protocol/group": "4.7.1",
+        "@semaphore-protocol/identity": "4.7.1",
+        "@semaphore-protocol/proof": "4.7.1"
     }
 }

packages/data/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/data",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A library for querying Semaphore smart contract.",
     "type": "module",
     "license": "MIT",
@@ -37,7 +37,7 @@
         "rollup-plugin-cleanup": "^3.2.1"
     },
     "dependencies": {
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/utils": "4.7.1",
         "axios": "1.6.6",
         "ethers": "6.11.0"
     }

packages/data/src/ethers.ts

@@ -40,7 +40,7 @@ export default class SemaphoreEthers {
      * @param options Configuration options for the ethers provider and the Semaphore contract.
      */
     constructor(networkOrEthereumURL: EthersNetwork | string = defaultNetwork, options: EthersOptions = {}) {
-        checkParameter(networkOrEthereumURL, "networkOrSubgraphURL", "string")
+        checkParameter(networkOrEthereumURL, "networkOrEthereumURL", "string")
 
         if (options.provider) {
             checkParameter(options.provider, "provider", "string")

packages/data/src/getURL.ts

@@ -12,5 +12,5 @@ export default function getURL(supportedNetwork: SupportedNetwork): string {
         throw new TypeError(`Network '${supportedNetwork}' is not supported`)
     }
 
-    return `https://api.studio.thegraph.com/query/14377/semaphore-${supportedNetwork}/v4.0.0`
+    return `https://api.studio.thegraph.com/query/14377/semaphore-${supportedNetwork}/v4.2.0`
 }

packages/group/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/group",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A library to create and manage Semaphore groups.",
     "type": "module",
     "license": "MIT",

packages/hardhat/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/hardhat",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A Hardhat plugin to deploy Semaphore contracts.",
     "type": "module",
     "license": "MIT",
@@ -41,7 +41,7 @@
     },
     "dependencies": {
         "@nomicfoundation/hardhat-ethers": "^3.0.0",
-        "@semaphore-protocol/contracts": "4.5.0",
+        "@semaphore-protocol/contracts": "4.7.1",
         "ethers": "^6.4.0",
         "hardhat-dependency-compiler": "^1.1.3"
     }

packages/identity/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/identity",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A library to create Semaphore identities.",
     "type": "module",
     "license": "MIT",

packages/proof/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/proof",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A library to generate and verify Semaphore proofs.",
     "type": "module",
     "license": "MIT",
@@ -47,11 +47,11 @@
         "rollup-plugin-cleanup": "^3.2.1"
     },
     "peerDependencies": {
-        "@semaphore-protocol/group": "4.5.0",
-        "@semaphore-protocol/identity": "4.5.0"
+        "@semaphore-protocol/group": "4.7.1",
+        "@semaphore-protocol/identity": "4.7.1"
     },
     "dependencies": {
-        "@semaphore-protocol/utils": "4.5.0",
+        "@semaphore-protocol/utils": "4.7.1",
         "@zk-kit/artifacts": "1.8.0",
         "@zk-kit/utils": "1.2.1",
         "ethers": "6.10.0",

packages/utils/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@semaphore-protocol/utils",
-    "version": "4.5.0",
+    "version": "4.7.1",
     "description": "A library to provide utility functions to the other Semaphore packages.",
     "type": "module",
     "license": "MIT",

packages/utils/src/networks/deployed-contracts.json

@@ -4,18 +4,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 6333999
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 6983614
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 6333999
+                "startBlock": 6983614
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 6333999
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 6983614
             }
         ]
     },
@@ -24,18 +24,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 64798522
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 93258221
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 64798522
+                "startBlock": 93258221
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 64798522
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 93258221
             }
         ]
     },
@@ -44,18 +44,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 14757931
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 19289434
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 14757931
+                "startBlock": 19289434
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 14757931
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 19289434
             }
         ]
     },
@@ -64,18 +64,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 9636193
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 13850778
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 9636193
+                "startBlock": 13850778
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 9636193
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 13850778
             }
         ]
     },
@@ -84,18 +84,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 258951463
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 269586534
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 258951463
+                "startBlock": 269586534
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 258951463
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 269586534
             }
         ]
     },
@@ -104,18 +104,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 62466952
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 63715311
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 62466952
+                "startBlock": 63715311
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 62466952
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 63715311
             }
         ]
     },
@@ -124,18 +124,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 126057798
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 127391657
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 126057798
+                "startBlock": 127391657
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 126057798
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 127391657
             }
         ]
     },
@@ -144,18 +144,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 16008294
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 17307202
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 16008294
+                "startBlock": 17307202
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 16008294
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 17307202
             }
         ]
     },
@@ -164,18 +164,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 3928632
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 5225214
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 3928632
+                "startBlock": 5225214
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 3928632
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 5225214
             }
         ]
     },
@@ -184,18 +184,18 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 20553357
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 21796660
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 20553357
+                "startBlock": 21796660
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 20553357
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 21796660
             }
         ]
     },
@@ -204,18 +204,38 @@
         "contracts": [
             {
                 "name": "SemaphoreVerifier",
-                "address": "0xe538f9DeeE04A397decb1E7dc5D16fD6f123c043",
-                "startBlock": 10235849
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 11459722
             },
             {
                 "name": "PoseidonT3",
                 "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
-                "startBlock": 10235849
+                "startBlock": 11459722
             },
             {
                 "name": "Semaphore",
-                "address": "0x1e0d7FF1610e480fC93BdEC510811ea2Ba6d7c2f",
-                "startBlock": 10235849
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 11459722
+            }
+        ]
+    },
+    {
+        "network": "scroll-sepolia",
+        "contracts": [
+            {
+                "name": "SemaphoreVerifier",
+                "address": "0x6C42599435B82121794D835263C846384869502d",
+                "startBlock": 7397758
+            },
+            {
+                "name": "PoseidonT3",
+                "address": "0xB43122Ecb241DD50062641f089876679fd06599a",
+                "startBlock": 7397758
+            },
+            {
+                "name": "Semaphore",
+                "address": "0x06d1530c829366A7fff0069e77c5af6A6FA7db2E",
+                "startBlock": 7397758
             }
         ]
     }

packages/utils/src/networks/supported-networks.ts

@@ -64,5 +64,11 @@ export default {
         url: "https://rpc.linea.build",
         chainId: 59144,
         explorer: "https://lineascan.build"
+    },
+    "scroll-sepolia": {
+        name: "Scroll Sepolia",
+        url: "https://sepolia-rpc.scroll.io",
+        chainId: 534351,
+        explorer: "https://sepolia.scrollscan.com"
     }
 }

scripts/publish.ts

@@ -10,10 +10,12 @@ async function maybePushToSoldeer() {
     const response = await fetch(
         "https://api.soldeer.xyz/api/v1/revision?project_name=semaphore-protocol-contracts&limit=1"
     )
-    const { data, status } = await response.json()
+    const { data } = await response.json()
 
-    // fail status if no version published at all yet
-    if (status === "fail" || compare(contractsLocalVersion, data[0].version) === 1)
+    if (
+        data.length === 0 || // data = [] if no version has ever been published yet
+        compare(contractsLocalVersion, data[0].version) === 1
+    )
         execSync(`soldeer push semaphore-protocol-contracts~${contractsLocalVersion} packages/contracts/contracts`, {
             stdio: "inherit"
         })