chore: v4.13.0-beta.0

* Fix/update binary merkle root circuit version (#1000)

* fix(circuits)!: update binary merkle root circuit version

re #999

* chore: update snarkjs version from 0.7.4 to 0.7.5

* refactor: update the proof package and smart contracts  (#1011)

refactor: update the proof package and smart contracts with new zk artifacts

.env.example

@@ -1,5 +1,4 @@
 DEFAULT_NETWORK=hardhat
-TREE_DEPTH=10
 REPORT_GAS=false
 BACKEND_PRIVATE_KEY=
 COINMARKETCAP_API_KEY=

.eslintrc.json

@@ -26,5 +26,13 @@
         "no-console": ["warn", { "allow": ["info", "warn", "error"] }],
         "@typescript-eslint/lines-between-class-members": "off",
         "no-param-reassign": "off"
-    }
+    },
+    "overrides": [
+        {
+            "files": ["./scripts/*"],
+            "rules": {
+                "no-console": "off"
+            }
+        }
+    ]
 }

.github/CODEOWNERS

@@ -0,0 +1 @@
+*       @semaphore-protocol/core-devs

.github/pull_request_template.md

@@ -29,12 +29,12 @@
 
 <!-- Please check if the PR fulfills these requirements. -->
 
--   [ ] My code follows the style guidelines of this project
 -   [ ] I have performed a self-review of my code
 -   [ ] I have commented my code, particularly in hard-to-understand areas
--   [ ] I have made corresponding changes to the documentation
 -   [ ] My changes generate no new warnings
--   [ ] I have run `yarn prettier` and `yarn lint` without getting any errors
+-   [ ] I have run `yarn format` and `yarn lint` without getting any errors
 -   [ ] I have added tests that prove my fix is effective or that my feature works
 -   [ ] New and existing unit tests pass locally with my changes
--   [ ] Any dependent changes have been merged and published in downstream modules
+
+> [!IMPORTANT]
+> We do not accept pull requests for minor grammatical fixes (e.g., correcting typos, rewording sentences) or for fixing broken links, unless they significantly improve clarity or functionality. These contributions, while appreciated, are not a priority for merging. If you notice any of these issues, please create a [GitHub Issue](https://github.com/semaphore-protocol/semaphore/issues/new?template=BLANK_ISSUE) to report them so they can be properly tracked and addressed.

.github/workflows/auto-assign.yml

@@ -1,14 +0,0 @@
-name: auto-assign
-
-on:
-    pull_request:
-        types: [opened]
-
-jobs:
-    run:
-        runs-on: ubuntu-latest
-        steps:
-            - uses: wow-actions/auto-assign@v3
-              with:
-                  GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
-                  reviewers: org/core-devs

.github/workflows/docs.yml

@@ -2,8 +2,16 @@ name: docs
 
 on:
     push:
-        branches:
-            - main
+        branches: [main]
+        paths:
+            [
+                "apps/docs/**",
+                "packages/data/**",
+                "packages/group/**",
+                "packages/identity/**",
+                "packages/proof/**",
+                "packages/utils/**"
+            ]
 
 jobs:
     gh-pages:

.github/workflows/production.yml

@@ -24,23 +24,17 @@ jobs:
             - name: Install dependencies
               run: yarn
 
-            - name: Build libraries
-              run: yarn build:libraries
+            - name: Build packages and apps
+              run: yarn build
 
-            - name: Compile contracts
-              run: yarn compile:contracts
-
-            - name: Build subgraph
-              run: yarn build:subgraph
-
-            - name: Run Prettier
-              run: yarn prettier
+            - name: Format
+              run: yarn format
 
             - name: Run Eslint
               run: yarn lint
 
     test-subgraph:
-        runs-on: ubuntu-latest
+        runs-on: ubuntu-22.04 # Context: https://github.com/graphprotocol/graph-tooling/issues/1546#issuecomment-2589680195
 
         steps:
             - uses: actions/checkout@v4
@@ -82,11 +76,14 @@ jobs:
                   cache: yarn
 
             # https://github.com/iden3/circuits/blob/8fffb6609ecad0b7bcda19bb908bdb544bdb3cf7/.github/workflows/main.yml#L18-L22
+            # https://stackoverflow.com/a/78377916
             - name: Setup Circom deps
-              run: sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential
+              run: |
+                  sudo rm /etc/apt/sources.list.d/microsoft-prod.list
+                  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
+              run: sudo wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 -O /usr/bin/circom && sudo chmod +x /usr/bin/circom
 
             - name: Install dependencies
               run: yarn

.github/workflows/pull-requests.yml

@@ -22,23 +22,60 @@ jobs:
             - name: Install dependencies
               run: yarn
 
-            - name: Build libraries
+            - name: Get changed files
+              id: changed-files
+              uses: tj-actions/changed-files@v44
+              with:
+                  files_yaml: |
+                      circuits:
+                        - packages/circuits/**/*.{circom,json,ts}
+                      contracts:
+                        - packages/contracts/**/*.{js,json,ts,sol}
+                      docs:
+                        - apps/docs/**/*
+                      libraries:
+                        - packages/**/*.{js,json,ts}
+                        - '!packages/{circuits,contracts}/**/*'
+                      subgraph:
+                        - apps/subgraph/**/*
+                      to_format:
+                        - '**/*.{cjs,js,json,jsx,md,mdx,sol,ts,tsx,yaml,yml}'
+                      to_lint:
+                        - '**/*.{cjs,js,jsx,ts,tsx}'
+
+            - if: steps.changed-files.outputs.contracts_any_changed == 'true'
+              name: Compile and lint contracts
+              run: |
+                  yarn workspace @semaphore-protocol/utils build
+                  yarn compile:contracts
+                  yarn workspace semaphore-contracts lint
+
+            - if: steps.changed-files.outputs.docs_any_changed == 'true'
+              name: Build and format docs
+              run: |
+                  yarn workspace semaphore-docs build
+                  yarn workspace semaphore-docs format
+
+            - if: steps.changed-files.outputs.libraries_any_changed == 'true'
+              name: Build libraries
               run: yarn build:libraries
 
-            - name: Compile contracts
-              run: yarn compile:contracts
+            - if: steps.changed-files.outputs.subgraph_any_changed == 'true'
+              name: Build subgraph
+              run: |
+                  yarn workspace @semaphore-protocol/utils build
+                  yarn build:subgraph
 
-            - name: Build subgraph
-              run: yarn build:subgraph
+            - if: steps.changed-files.outputs.to_format_any_changed == 'true'
+              name: Format
+              run: yarn run prettier --check ${{ steps.changed-files.outputs.to_format_all_changed_files }}
 
-            - name: Run Prettier
-              run: yarn prettier
-
-            - name: Run Eslint
-              run: yarn lint
+            - if: steps.changed-files.outputs.to_lint_any_changed == 'true'
+              name: Run Eslint
+              run: yarn run eslint ${{ steps.changed-files.outputs.to_lint_all_changed_files }} --ext .cjs,.js,.jsx,.ts,.tsx
 
     test:
-        runs-on: ubuntu-latest
+        runs-on: ubuntu-22.04 # Context: https://github.com/graphprotocol/graph-tooling/issues/1546#issuecomment-2589680195
 
         steps:
             - uses: actions/checkout@v4
@@ -49,21 +86,55 @@ jobs:
                   node-version: 20
                   cache: yarn
 
-            # 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: Install dependencies
               run: yarn
 
-            - name: Build libraries
-              run: yarn build:libraries
+            - name: Get changed files
+              id: changed-files
+              uses: tj-actions/changed-files@v44
+              with:
+                  files_yaml: |
+                      circuits:
+                        - packages/circuits/**/*.{circom,json,ts}
+                      contracts:
+                        - packages/contracts/**/*.{js,json,ts,sol}
+                      libraries:
+                        - packages/**/*.{js,json,ts}
+                        - '!packages/{circuits,contracts}/**/*'
+                      subgraph:
+                        - apps/subgraph/**/*
 
-            - name: Build subgraph
-              run: yarn build:subgraph
+            # https://github.com/iden3/circuits/blob/8fffb6609ecad0b7bcda19bb908bdb544bdb3cf7/.github/workflows/main.yml#L18-L22
+            # https://stackoverflow.com/a/78377916
+            - if: steps.changed-files.outputs.circuits_any_changed == 'true'
+              name: Setup Circom and Test circuits
+              run: |
+                  sudo rm /etc/apt/sources.list.d/microsoft-prod.list
+                  sudo apt-get update && sudo apt-get install -y wget nlohmann-json3-dev libgmp-dev nasm g++ build-essential
+                  sudo wget https://github.com/iden3/circom/releases/download/v2.1.9/circom-linux-amd64 -O /usr/bin/circom && sudo chmod +x /usr/bin/circom
+                  yarn workspace @semaphore-protocol/group build
+                  yarn workspace @semaphore-protocol/identity build
+                  yarn workspace @semaphore-protocol/proof build
+                  yarn workspace @semaphore-protocol/utils build
+                  yarn test:circuits
 
-            - name: Test contracts, libraries, circuits and subgraph
-              run: yarn test
+            - if: steps.changed-files.outputs.contracts_any_changed == 'true'
+              name: Build and Test contracts
+              run: |
+                  yarn workspace @semaphore-protocol/group build
+                  yarn workspace @semaphore-protocol/identity build
+                  yarn workspace @semaphore-protocol/proof build
+                  yarn workspace @semaphore-protocol/utils build
+                  yarn compile:contracts
+                  yarn test:contracts
+
+            - if: steps.changed-files.outputs.libraries_any_changed == 'true'
+              name: Build and Test libraries
+              run: yarn build:libraries && yarn test:libraries
+
+            - if: steps.changed-files.outputs.subgraph_any_changed == 'true'
+              name: Build and Test Subgraph
+              run: |
+                  yarn workspace @semaphore-protocol/utils build
+                  yarn build:subgraph
+                  yarn test:subgraph

.github/workflows/release.yml

@@ -4,6 +4,7 @@ permissions:
     contents: write
 
 on:
+    workflow_dispatch:
     push:
         tags:
             - "v*"
@@ -17,6 +18,16 @@ jobs:
               with:
                   fetch-depth: 0
 
+            - name: Install soldeer
+              uses: taiki-e/install-action@v2
+              with:
+                  tool: soldeer
+            - name: Store soldeer login credential
+              env:
+                  SOLDEER_TOKEN: ${{ secrets.SOLDEER_TOKEN }}
+              run: |
+                  echo "$SOLDEER_TOKEN" > "$GITHUB_WORKSPACE"/soldeer_login
+
             - name: Install Node.js
               uses: actions/setup-node@v4
               with:
@@ -37,6 +48,7 @@ jobs:
               run: yarn version:publish
               env:
                   NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}
+                  SOLDEER_LOGIN_FILE: ${{ github.workspace }}/soldeer_login
 
             - run: yarn version:release
               env:

.gitignore

@@ -86,5 +86,13 @@ typechain-types
 !.yarn/sdks
 !.yarn/versions
 
+# asdf
+.tool-versions
+
+# direnv
+.envrc
+
 # Other
 snark-artifacts
+
+*.zip

.husky/pre-commit

@@ -0,0 +1,4 @@
+#!/usr/bin/env sh
+. "$(dirname "$0")/_/husky.sh"
+
+npx lint-staged

.husky/prepare-commit-msg

@@ -2,5 +2,5 @@
 . "$(dirname -- "$0")/_/husky.sh"
 
 if [ "$NO_HOOK" != "1" ]; then
-  exec < /dev/tty && yarn cz --hook || true
+  exec < /dev/tty && npx czg --hook || true
 fi

.lintstagedrc.json

@@ -1,3 +1,4 @@
 {
-    "**/*.{js,ts}": ["prettier --write", "eslint --fix"]
+    "**/*.{js,ts,jsx,tsx,md,json,sol,yaml,yml}": "prettier --write",
+    "**/*.{js,ts,jsx,tsx}": "eslint"
 }

.soldeerignore

@@ -0,0 +1 @@
+package.json

CONTRIBUTING.md

@@ -22,7 +22,7 @@ Pull requests are great if you want to add a feature or fix a bug. Here's a quic
 
 3. Add a test for your change. Only refactoring and documentation changes require no new tests.
 
-4. Make sure to check out the [Style Guide](/CONTRIBUTING#style-guide) and ensure that your code complies with the rules.
+4. Make sure to check out the [Style Guide](/CONTRIBUTING.md#style-guide) and ensure that your code complies with the rules.
 
 5. Make the test pass.
 
@@ -30,6 +30,9 @@ Pull requests are great if you want to add a feature or fix a bug. Here's a quic
 
 7. Push to your fork and submit a pull request on our `main` branch. Please provide us with some explanation of why you made the changes you made. For new features make sure to explain a standard use case to us.
 
+> [!IMPORTANT]
+> We do not accept pull requests for minor grammatical fixes (e.g., correcting typos, rewording sentences) or for fixing broken links, unless they significantly improve clarity or functionality. These contributions, while appreciated, are not a priority for merging. If you notice any of these issues, please create a [GitHub Issue](https://github.com/semaphore-protocol/semaphore/issues/new?template=BLANK_ISSUE) to report them so they can be properly tracked and addressed.
+
 ## CI (Github Actions) Tests
 
 We use GitHub Actions to test each PR before it is merged.
@@ -42,7 +45,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

@@ -1,9 +1,9 @@
 <p align="center">
     <h1 align="center">
       <picture>
-        <source media="(prefers-color-scheme: dark)" srcset="https://github.com/semaphore-protocol/.github/blob/main/assets/semaphore-logo-light.svg">
-        <source media="(prefers-color-scheme: light)" srcset="https://github.com/semaphore-protocol/.github/blob/main/assets/semaphore-logo-dark.svg">
-        <img width="250" alt="Semaphore icon" src="https://github.com/semaphore-protocol/.github/blob/main/assets/semaphore-logo-dark.svg">
+        <source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/semaphore-protocol/.github/main/assets/semaphore-logo-light.svg">
+        <source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/semaphore-protocol/.github/main/assets/semaphore-logo-dark.svg">
+        <img width="250" alt="Semaphore icon" src="https://raw.githubusercontent.com/semaphore-protocol/.github/main/assets/semaphore-logo-dark.svg">
       </picture>
     </h1>
 </p>
@@ -53,9 +53,13 @@
             🔎 Issues
         </a>
         <span>&nbsp;&nbsp;|&nbsp;&nbsp;</span>
-        <a href="https://semaphore.pse.dev/discord">
+        <a href="https://semaphore.pse.dev/telegram">
             🗣️ Chat &amp; Support
         </a>
+        <span>&nbsp;&nbsp;|&nbsp;&nbsp;</span>
+        <a href="https://js.semaphore.pse.dev">
+            💻 API Reference
+        </a>
     </h4>
 </div>
 
@@ -64,6 +68,9 @@
 
 The core of the Semaphore protocol is in the [circuit logic](/packages/circuits/scheme.png). However, Semaphore also provides [Solidity contracts](/packages/contracts) and JavaScript libraries to make the steps for offchain proof creation and onchain/offchain verification easier. To learn more about Semaphore visit [semaphore.pse.dev](https://semaphore.pse.dev).
 
+> [!IMPORTANT]  
+> Help Semaphore prosper by sharing your ideas with the PSE [acceleration program](https://github.com/privacy-scaling-explorations/acceleration-program).
+
 ## 📦 Packages
 
 <table>
@@ -257,29 +264,7 @@ The core of the Semaphore protocol is in the [circuit logic](/packages/circuits/
                 </a>
             </td>
         </tr>
-        <tr>
-            <td>
-                <a href="/packages/heyauthn">
-                    @semaphore-protocol/heyauthn
-                </a>
-                <a href="https://js.semaphore.pse.dev/modules/_semaphore_protocol_heyauthn">
-                    (docs)
-                </a>
-            </td>
-            <td>
-                <!-- NPM version -->
-                <a href="https://npmjs.org/package/@semaphore-protocol/heyauthn">
-                    <img src="https://img.shields.io/npm/v/@semaphore-protocol/heyauthn.svg?style=flat-square" alt="NPM version" />
-                </a>
-            </td>
-            <td>
-                <!-- Downloads -->
-                <a href="https://npmjs.org/package/@semaphore-protocol/heyauthn">
-                    <img src="https://img.shields.io/npm/dm/@semaphore-protocol/heyauthn.svg?style=flat-square" alt="Downloads" />
-                </a>
-            </td>
-        </tr>
-    <tbody>
+    </tbody>
 </table>
 
 ## 🛠 Install
@@ -290,12 +275,18 @@ Clone this repository:
 git clone https://github.com/semaphore-protocol/semaphore.git
 ```
 
-And install the dependencies:
+Install the dependencies:
 
 ```bash
 cd semaphore && yarn
 ```
 
+And build the repository:
+
+```bash
+yarn build
+```
+
 ## 📜 Usage
 
 Copy the `.env.example` file as `.env`:
@@ -317,13 +308,13 @@ yarn lint
 Run [Prettier](https://prettier.io/) to check formatting rules:
 
 ```bash
-yarn prettier
+yarn format
 ```
 
 Or to automatically format the code:
 
 ```bash
-yarn prettier:write
+yarn format:write
 ```
 
 ### Conventional commits
@@ -331,7 +322,7 @@ yarn prettier:write
 Semaphore uses [conventional commits](https://www.conventionalcommits.org/en/v1.0.0/). A [command line utility](https://github.com/commitizen/cz-cli) to commit using the correct syntax can be used by running:
 
 ```bash
-yarn commit
+git commit
 ```
 
 It will also automatically check that the modified files comply with ESLint and Prettier rules.
@@ -382,12 +373,28 @@ The output will be placed on the `docs` folder.
 
 ### Releases
 
-Bump a new version with:
+Steps:
+
+1. Bump a new version with:
 
 ```bash
 yarn version:bump <version>
 # e.g. yarn version:bump 2.0.0
 ```
 
-It will create a commit and a git tag that will need to pushed on the main branch. A workflow will be triggered and will
-publish the Semaphore packages on [npm](https://www.npmjs.com/) and release a new version on Github with its changelogs automatically.
+This step creates a commit and a git tag.
+
+2. Push the changes to main:
+
+```bash
+git push origin main
+```
+
+3. Push the new git tag:
+
+```bash
+git push origin <version>
+# e.g. git push origin v2.0.0
+```
+
+After pushing the new git tag, a workflow will be triggered to publish the Semaphore packages on [npm](https://www.npmjs.com/) and release a new version on GitHub with its changelogs automatically.

apps/docs/README.md

@@ -34,7 +34,7 @@
             🔎 Issues
         </a>
         <span>&nbsp;&nbsp;|&nbsp;&nbsp;</span>
-        <a href="https://semaphore.pse.dev/discord">
+        <a href="https://semaphore.pse.dev/telegram">
             🗣️ Chat &amp; Support
         </a>
     </h4>

apps/docs/docusaurus.config.ts

@@ -67,7 +67,7 @@ const config: Config = {
         announcementBar: {
             id: "semaphore-v4-beta",
             content:
-                '<b>Semaphore V4-beta is out 🎉 <a href="/getting-started">Try it out</a> and let us know for any feedback on <a href="https://semaphore.pse.dev/discord" target="_blank">Discord</a> or <a href="https://github.com/orgs/semaphore-protocol/discussions" target="_blank">Github</a>!</b>',
+                '<b><a href="https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0" target="_blank">Semaphore V4</a> is out 🎉 <a href="/getting-started">Try it out</a> and let us know if you have any feedback on <a href="https://semaphore.pse.dev/telegram" target="_blank">Telegram</a> or <a href="https://github.com/orgs/semaphore-protocol/discussions" target="_blank">Github</a>!</b>',
             backgroundColor: "#dde6fc",
             textColor: "#000000"
         },

apps/docs/i18n/en/code.json

@@ -386,12 +386,9 @@
         "message": "Connect"
     },
     "footer.right.connect.link1": {
-        "message": "Discord"
+        "message": "Telegram"
     },
     "footer.right.connect.link2": {
         "message": "X (Twitter)"
-    },
-    "footer.copyright": {
-        "message": "Copyright © 2024 Ethereum Foundation"
     }
 }

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"
@@ -386,12 +386,9 @@
         "message": "Conecta con nosotros"
     },
     "footer.right.connect.link1": {
-        "message": "Discord"
+        "message": "Telegram"
     },
     "footer.right.connect.link2": {
         "message": "X (Twitter)"
-    },
-    "footer.copyright": {
-        "message": "Copyright © 2024 Ethereum Foundation"
     }
 }

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/i18n/es/docusaurus-plugin-content-docs/version-V2/quick-setup.md

@@ -58,7 +58,7 @@ Hardhat includes the Hardhat Network, a local Ethereum network for development.
 
 ## Install Semaphore packages
 
-Semaphore provides contracts, JavaScript libraries and an Hardhat plugin for developers building zero-knowledge applications.
+Semaphore provides contracts, JavaScript libraries and a Hardhat plugin for developers building zero-knowledge applications.
 
 -   `@semaphore-protocol/contracts` provides contracts to manage groups and verify Semaphore proofs on-chain.
 -   JavaScript libraries help developers build zero-knowledge applications.

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/faq.md

@@ -14,7 +14,7 @@ También proporciona un mecanismo simple para evitar la doble señalización, lo
 
 ## ¿Dónde puedo hacer preguntas sobre Semaphore?
 
-Puede hacer preguntas sobre Semaphore en [Discord](https://semaphore.pse.dev/discord) o abriendo un [Semaphore Discussion](https://github.com/semaphore-protocol/semaphore/discussions).
+Puede hacer preguntas sobre Semaphore en [Telegram](https://semaphore.pse.dev/telegram) o abriendo un [Semaphore Discussion](https://github.com/semaphore-protocol/semaphore/discussions).
 
 ## ¿Por qué las identidades requieren tanto `identity trapdoor` como `identity nullifier`?
 

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/guides/fetching-data.mdx

@@ -18,34 +18,31 @@ Hay dos formas para hacer esto, usando [`SemaphoreSubgraph`](https://github.com/
 ## Instalar librería
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/data@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/data@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/data@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/data@^3
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/data@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/data@^3
+    ```
+  </TabItem>
 </Tabs>
 
 ## Obtener datos usando SemaphoreSubgraph
@@ -113,6 +110,7 @@ const semaphoreSubgraph = new SemaphoreSubgraph("sepolia")
 const { members } = await semaphoreSubgraph.getGroup(groupId, { members: true })
 const group = new Group(groupId, 20, members)
 ```
+
 :::
 
 ## Obtener datos usando SemaphoreEthers
@@ -178,4 +176,5 @@ const semaphoreEthers = new SemaphoreEthers("sepolia")
 const members = await semaphoreEthers.getGroupMembers(groupId)
 const group = new Group(groupId, 20, members)
 ```
+
 :::

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/guides/groups.mdx

@@ -11,70 +11,67 @@ import TabItem from "@theme/TabItem"
 Un [grupo Semaphore](/V3/glossary/#grupo-semaphore) contiene los [identity commitments](/V3/glossary/#compromiso-de-identidad-identity-commitment) (compromisos de identidad) de miembros del grupo.
 Estos son algunos ejemplos de uso de los grupos:
 
--   Encuesta con preguntas a la que se unen las personas que acudieron a un evento para calificarlo,
--   votación a la que se unen los miembros para votar por una propuesta,
--   Denunciantes que están verificados como empleados de una organización.
+- Encuesta con preguntas a la que se unen las personas que acudieron a un evento para calificarlo,
+- votación a la que se unen los miembros para votar por una propuesta,
+- Denunciantes que están verificados como empleados de una organización.
 
 Un grupo Semaphore es un [árbol de Merkle incremental](/V3/glossary/#árbol-de-merkle-merkle-tree), y los miembros del grupo (por ejemplo, [identity commitments](/V3/glossary/#compromiso-de-identidad-identity-commitment)) son las hojas del árbol.
 Los grupos Semaphore determinan los siguientes tres parámetro:
 
--   **Group id**: un identificador único para el grupo;
--   **Tree depth**: el número máximo de miembros que puede contener un grupo (`max size = 2 ^ tree depth`);
--   **Members** la lista de miembros para inicializar el grupo.
+- **Group id**: un identificador único para el grupo;
+- **Tree depth**: el número máximo de miembros que puede contener un grupo (`max size = 2 ^ tree depth`);
+- **Members** la lista de miembros para inicializar el grupo.
 
 Aprenda cómo trabajar con grupos.
 
--   [**Grupos off-chain**](#grupos-off-chain-externos-a-la-cadena)
--   [**Grupos on-chain**](#grupos-on-chain)
+- [**Grupos off-chain**](#grupos-off-chain-externos-a-la-cadena)
+- [**Grupos on-chain**](#grupos-on-chain)
 
 ## Grupos off-chain (externos a la cadena)
 
--   [Crear un grupo](#crear-un-grupo)
--   [Añadir miembros](#añadir-miembros)
--   [Remover o actualizar miembros](#remover-o-actualizar-miembros)
+- [Crear un grupo](#crear-un-grupo)
+- [Añadir miembros](#añadir-miembros)
+- [Remover o actualizar miembros](#remover-o-actualizar-miembros)
 
 ### Crear un grupo
 
 Utilice la clase `Group` de la librería [`@semaphore-protocol/group`](https://github.com/semaphore-protocol/semaphore/blob/main/packages/group) para crear un grupo off-chain con los siguientes parámetros:
 
--   `Group id`: un identificar único para el grupo;
--   `Tree depth`: (_default `20`_) el número máximo de usuarios que puede contener un grupo, el valor por defecto es 20 (`max size = 2 ^ tree depth`).
--   `Members`: (_default `[]`_) la lista de miembros para inicializar el grupo.
+- `Group id`: un identificar único para el grupo;
+- `Tree depth`: (*default `20`*) el número máximo de usuarios que puede contener un grupo, el valor por defecto es 20 (`max size = 2 ^ tree depth`).
+- `Members`: (*default `[]`*) la lista de miembros para inicializar el grupo.
 
 #### Instalar librería:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/group@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/group@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/group@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/group@^3
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/group@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/group@^3
+    ```
+  </TabItem>
 </Tabs>
 
-Para crear un grupo con el número de usuarios que aparece por defecto (20) _`treeDepth`_, llame la función para construir un `Group` sin el segundo parámetro. Por ejemplo:
+Para crear un grupo con el número de usuarios que aparece por defecto (20) *`treeDepth`*, llame la función para construir un `Group` sin el segundo parámetro. Por ejemplo:
 
 ```ts
 import { Group } from "@semaphore-protocol/group"
@@ -82,7 +79,7 @@ import { Group } from "@semaphore-protocol/group"
 const group = new Group(1)
 ```
 
-El siguiente código de ejemplo pasa por _`treeDepth`_ para crear un grupo para `2 ^ 30 = 1073741824` miembros:
+El siguiente código de ejemplo pasa por *`treeDepth`* para crear un grupo para `2 ^ 30 = 1073741824` miembros:
 
 ```ts
 import { Group } from "@semaphore-protocol/group"

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/guides/identities.mdx

@@ -11,48 +11,47 @@ import TabItem from "@theme/TabItem"
 Para unirse a un [grupo Semaphore](/V3/glossary#grupo-semaphore), un usuario primero deberá crear una [identidad Semaphore](/V3/glossary#identidad-semaphore).
 Una identidad Semaphore contiene dos valores generados junto con la identidad:
 
--   Identity trapdoor (Identidad trampilla)
--   Identity nullifier (Anulador de identidad)
+- Identity trapdoor (Identidad trampilla)
+- Identity nullifier (Anulador de identidad)
 
 Para utilizar y verificar su identidad, la persona dueña de la identidad (usuario) debe conocer los valores trapdoor y nullifier.
 Para prevenir fraudes, la persona dueña debe conservar de forma secreta ambos valores.
 
 ## Crear identidades
 
-En su código, utilice la librería [`@semaphore-protocol/identity`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/identity) para crear una identidad Semaphore _de forma determinística_ (del hash de un mensaje) o _de forma aleatoria_.
+En su código, utilice la librería [`@semaphore-protocol/identity`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/identity) para crear una identidad Semaphore *de forma determinística* (del hash de un mensaje) o *de forma aleatoria*.
 
--   [**Crear identidades aleatorias**](#crear-identidades-aleatorias)
--   [**Crear identidades determinísticas**](#crear-identidades-determinísticas)
+- [**Crear identidades aleatorias**](#crear-identidades-aleatorias)
+- [**Crear identidades determinísticas**](#crear-identidades-determinísticas)
 
 ### Instalar librería:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/identity@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/identity@^3
-```
-</TabItem>
-<TabItem value="yarn">
-```bash
-yarn add @semaphore-protocol/identity@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/identity@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/identity@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/identity@^3
+    ```
+  </TabItem>
 </Tabs>
 
 ### Crear identidades aleatorias
@@ -67,8 +66,8 @@ const { trapdoor, nullifier, commitment } = new Identity()
 
 La nueva identidad contiene dos valores aleatorios secretos: `trapdoor` y `nullifier`, y un valor público: `commitment`.
 
-El hash Poseidon del identity nullifier y trapdoor se conoce como _identity secret_ (el secreto de identidad),
-y su hash es el _identity commitment_ (compromiso de identidad).
+El hash Poseidon del identity nullifier y trapdoor se conoce como *identity secret* (el secreto de identidad),
+y su hash es el *identity commitment* (compromiso de identidad).
 
 Un identity commitment (compromiso de identidad), de forma similar a las direcciones Ethereum, es un valor público que se utiliza en los grupos Semaphore para representar la
 identidad de un miembro del grupo. Los valores secretos son similares a las llaves privadas
@@ -77,7 +76,7 @@ Ethereum y se utilizan para generar pruebas de conocimiento cero (ZKP) Semaphore
 ### Crear identidades determinísticas
 
 Si transmite un mensaje como un parámetro, Semaphore genera `trapdoor` y `nullifier`
-del hash _SHA256_ del mensaje.
+del hash *SHA256* del mensaje.
 El mensaje puede ser una contraseña o un mensaje que el usuario firma de forma criptográfica con una llave privada.
 
 Al utilizar identidades determinísticas siempre deberá mantener secreto el mensaje.

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/guides/proofs.mdx

@@ -10,56 +10,54 @@ import TabItem from "@theme/TabItem"
 
 Una vez que un usuario liga su [identidad Semaphore](/V3/glossary#identidad-semaphore) a un [grupo Semaphore](/V3/glossary#grupo-semaphore), el usuario puede emitir una señal anónima con una prueba de conocimiento cero (ZKP) que demuestre lo siguiente:
 
--   el usuario es un miembro del grupo,
--   el mismo usuario creo tanto la señal como la prueba.
+- el usuario es un miembro del grupo,
+- el mismo usuario creo tanto la señal como la prueba.
 
 Las y los desarrolladores pueden utilizar Semaphore para realizar las siguientes acciones:
 
--   [**Generar una prueba externa a la cadena (off-chain)**](#generar-una-prueba-off-chain)
--   [**Verificar una prueba externa a la cadena (off-chain)**](#verificar-una-prueba-off-chain)
--   [**Verificar una prueba interna a la cadena (on-chain)**](#verificar-una-prueba-on-chain)
+- [**Generar una prueba externa a la cadena (off-chain)**](#generar-una-prueba-off-chain)
+- [**Verificar una prueba externa a la cadena (off-chain)**](#verificar-una-prueba-off-chain)
+- [**Verificar una prueba interna a la cadena (on-chain)**](#verificar-una-prueba-on-chain)
 
 ## Generar una prueba off-chain
 
 Utilice la librería [`@semaphore-protocol/proof`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/proof) para generar una prueba off-chain.
 Para generar una prueba, transforme los siguientes parámetros con la función `generateProof`:
 
--   `identity`: la identidad Semaphore del usuario emitiendo la señal y generando la prueba;
--   `group`: el grupo al cual pertenece el usuario;
--   `externalNullifier`: el valor que impide la emisión de dos señales por el mismo usuario;
--   `signal`: la señal que el usuario quiere enviar de forma anónima;
--   `snarkArtifacts`: la `zkey` y `wasm` de los [archivos confiables de configuración](/V3/glossary/#archivos-confiables-de-configuración-trusted-setup-files).
+- `identity`: la identidad Semaphore del usuario emitiendo la señal y generando la prueba;
+- `group`: el grupo al cual pertenece el usuario;
+- `externalNullifier`: el valor que impide la emisión de dos señales por el mismo usuario;
+- `signal`: la señal que el usuario quiere enviar de forma anónima;
+- `snarkArtifacts`: la `zkey` y `wasm` de los [archivos confiables de configuración](/V3/glossary/#archivos-confiables-de-configuración-trusted-setup-files).
 
 #### Instalar librería:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/proof@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/proof@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/proof@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/proof@^3
-```
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/proof@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/proof@^3
+    ```
+  </TabItem>
 </Tabs>
 
 En el caso de uso de un sistema de votación, una vez que todos los votantes hayan ligado sus [identidades](/V3/guides/identities#crear-identidades) al [grupo](/V3/guides/groups) de la votación,
@@ -86,6 +84,7 @@ Si estás generando la prueba en el lado del cliente, puedes evitar agregar los
 ```ts
 const fullProof = await generateProof(identity, group, externalNullifier, signal)
 ```
+
 :::
 
 ## Verificar una prueba off-chain
@@ -93,8 +92,8 @@ const fullProof = await generateProof(identity, group, externalNullifier, signal
 Utilice la librería [`@semaphore-protocol/proof`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/proof) para verificar una prueba Semaphore off-chain.
 Para verificar una prueba, transforme los siguientes parámetros con la función `verifyProof`:
 
--   `fullProof`: la prueba Semaphore;
--   `treeDepth`: la profundidad del árbol de Merkle.
+- `fullProof`: la prueba Semaphore;
+- `treeDepth`: la profundidad del árbol de Merkle.
 
 La siguiente muestra de código demuestra cómo verificar la prueba generada previamente:
 
@@ -116,12 +115,12 @@ Vea nuestros [contratos desplegados](/V3/deployed-contracts) para encontrar las
 
 Para verificar las pruebas Semaphore en su contrato, importe `ISemaphore.sol`, transfórmelo a la dirección `Semaphore.sol` y llame el método `verifyProof` con los siguientes parámetros:
 
--   `groupId`: el identificador del grupo;
--   `merkleTreeRoot`: la raíz del árbol de Merkle;
--   `signal`: la señal que el usuario quiere enviar de forma anónima ;
--   `nullifierHash`: un nullifier hash (hash anulador);
--   `externalNullifier`: el valor que impide la emisión de dos señales por el mismo usuario;
--   `proof`: una prueba Semaphore que es compatible con Solidity.
+- `groupId`: el identificador del grupo;
+- `merkleTreeRoot`: la raíz del árbol de Merkle;
+- `signal`: la señal que el usuario quiere enviar de forma anónima ;
+- `nullifierHash`: un nullifier hash (hash anulador);
+- `externalNullifier`: el valor que impide la emisión de dos señales por el mismo usuario;
+- `proof`: una prueba Semaphore que es compatible con Solidity.
 
 :::info
 Puede importar `ISemaphore.sol` y otros contratos Semaphore del módulo NPM [`@semaphore-protocol/contracts`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/contracts).

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/quick-setup.mdx

@@ -31,37 +31,34 @@ El CLI [`semaphore`](https://github.com/semaphore-protocol/semaphore/tree/main/p
 Para comenzar a trabajar en su proyecto, instale las siguientes dependencias:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    cd my-app
+    npm i
+    ```
+  </TabItem>
 
-```bash
-cd my-app
-npm i
-```
+  <TabItem value="yarn">
+    ```bash
+    cd my-app
+    yarn
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-cd my-app
-yarn
-```
-</TabItem>
-
-<TabItem value="pnpm">
-
-```bash
-cd my-app
-pnpm install
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    cd my-app
+    pnpm install
+    ```
+  </TabItem>
 </Tabs>
 
 ## Output
@@ -116,34 +113,31 @@ cd apps/contracts
 Y compile sus contratos al correr:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run compile
+    ```
+  </TabItem>
 
-```bash
-npm run compile
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn compile
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn compile
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm compile
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm compile
+    ```
+  </TabItem>
 </Tabs>
 
 ### Pruebe los contratos
@@ -151,100 +145,91 @@ pnpm compile
 Pruebe sus contratos al correr:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm test
+    ```
+  </TabItem>
 
-```bash
-npm test
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn test
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn test
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm test
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm test
+    ```
+  </TabItem>
 </Tabs>
 
 Genere un reporte de la prueba de cobertura:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run test:coverage
+    ```
+  </TabItem>
 
-```bash
-npm run test:coverage
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn test:coverage
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn test:coverage
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm test:coverage
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm test:coverage
+    ```
+  </TabItem>
 </Tabs>
 
 O un reporte de la prueba de gas:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run test:report-gas
+    ```
+  </TabItem>
 
-```bash
-npm run test:report-gas
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn test:report-gas
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn test:report-gas
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm test:report-gas
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm test:report-gas
+    ```
+  </TabItem>
 </Tabs>
 
 ### Desplegar contratos
@@ -255,82 +240,76 @@ En la carpeta raíz del proyecto:
 
 1. Agregue sus variables de entorno en el archivo `.env`.
 
-    :::note
-    Deberá por lo menos configurar un URL válido en Ethereum (ejemplo: Infura) y una llave privada con algunos ethers.
-    :::
+   :::note
+   Deberá por lo menos configurar un URL válido en Ethereum (ejemplo: Infura) y una llave privada con algunos ethers.
+   :::
 
 2. Vaya a la carpeta `apps/contracts` y desplegue su contrato.
 
-    <Tabs
-    defaultValue="npm"
-    groupId="package-managers"
-    values={[
+   <Tabs
+     defaultValue="npm"
+     groupId="package-managers"
+     values={[
     {label: 'npm', value: 'npm'},
     {label: 'Yarn', value: 'yarn'},
     {label: 'pnpm', value: 'pnpm'}
-    ]}>
-    <TabItem value="npm">
+    ]}
+   >
+     <TabItem value="npm">
+       ```bash
+       npm run deploy -- --semaphore <semaphore-address> --group <group-id> --network goerli
+       ```
+     </TabItem>
 
-    ```bash
-    npm run deploy -- --semaphore <semaphore-address> --group <group-id> --network goerli
-    ```
+     <TabItem value="yarn">
+       ```bash
+       yarn deploy --semaphore <semaphore-address> --group <group-id> --network goerli
+       ```
+     </TabItem>
 
-    </TabItem>
-    <TabItem value="yarn">
+     <TabItem value="pnpm">
+       ```bash
+       pnpm deploy --semaphore <semaphore-address> --group <group-id> --network goerli
+       ```
+     </TabItem>
+   </Tabs>
 
-    ```bash
-    yarn deploy --semaphore <semaphore-address> --group <group-id> --network goerli
-    ```
+   :::note
+   Revise las direcciones de los contratos de Semaphore [aquí](/V3/deployed-contracts).
+   :::
 
-    </TabItem>
-    <TabItem value="pnpm">
-
-    ```bash
-    pnpm deploy --semaphore <semaphore-address> --group <group-id> --network goerli
-    ```
-
-    </TabItem>
-    </Tabs>
-
-    :::note
-    Revise las direcciones de los contratos de Semaphore [aquí](/V3/deployed-contracts).
-    :::
-
-    :::caution
-    El group id (id del grupo) es un número.
-    :::
+   :::caution
+   El group id (id del grupo) es un número.
+   :::
 
 ### Inicie la app
 
 Inicie la aplicación:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run dev
+    ```
+  </TabItem>
 
-```bash
-npm run dev
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn dev
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn dev
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm dev
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm dev
+    ```
+  </TabItem>
 </Tabs>

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/technical-reference/contracts.md

@@ -19,7 +19,7 @@ Para utilizar los contratos e interfaces Semaphore en su proyecto, instale el pa
 
 Semaphore ofrece los siguientes contratos base:
 
--   [`SemaphoreVerifier.sol`](https://github.com/semaphore-protocol/semaphore/blob/main/packages/contracts/base/SemaphoreVerifier.sol): contiene una función para verificar pruebas Semaphore;
+-   [`SemaphoreVerifier.sol`](https://github.com/semaphore-protocol/semaphore/blob/v3.15.2/packages/contracts/contracts/base/SemaphoreVerifier.sol): contiene una función para verificar pruebas Semaphore;
 -   [`SemaphoreGroups.sol`](https://github.com/semaphore-protocol/semaphore/blob/main/packages/contracts/base/SemaphoreGroups.sol): contiene las funciones para crear grupos y añadir/remover/actualizar miembros.
 
 Los contratos base están relacionados de forma muy cercana al protocolo.

apps/docs/i18n/es/docusaurus-plugin-content-docs/version-V3/troubleshooting.mdx

@@ -7,7 +7,7 @@ import TabItem from "@theme/TabItem"
 
 # Solución de problemas
 
-Si estas sugerencias no funcionan, no dude en preguntar en las [Semaphore Discussions](https://github.com/semaphore-protocol/semaphore/discussions) o en el canal `dev-chat` en el [Semaphore Discord](https://semaphore.pse.dev/discord).
+Si estas sugerencias no funcionan, no dude en preguntar en las [Semaphore Discussions](https://github.com/semaphore-protocol/semaphore/discussions) o en el canal [Semaphore Telegram](https://semaphore.pse.dev/telegram).
 
 ## Usando Semaphore en the frontend
 
@@ -70,65 +70,59 @@ Para resolver eso:
 1- Instale `@esbuild-plugins/node-globals-polyfill` y `@esbuild-plugins/node-modules-polyfill`
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @esbuild-plugins/node-globals-polyfill
+    ```
+  </TabItem>
 
-```bash
-npm install @esbuild-plugins/node-globals-polyfill
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @esbuild-plugins/node-globals-polyfill
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @esbuild-plugins/node-globals-polyfill
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @esbuild-plugins/node-globals-polyfill
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @esbuild-plugins/node-globals-polyfill
+    ```
+  </TabItem>
 </Tabs>
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @esbuild-plugins/node-modules-polyfill
+    ```
+  </TabItem>
 
-```bash
-npm install @esbuild-plugins/node-modules-polyfill
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @esbuild-plugins/node-modules-polyfill
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @esbuild-plugins/node-modules-polyfill
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @esbuild-plugins/node-modules-polyfill
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @esbuild-plugins/node-modules-polyfill
+    ```
+  </TabItem>
 </Tabs>
 
 2- Modifique `vite.config.ts` para añadirlos:
@@ -236,4 +230,4 @@ Para comprobarlo, puede utilizar la [Semaphore CLI](https://github.com/semaphore
 
 ### Transacción revertida al usar el mismo external nullifier
 
-Cuando genera una prueba usando el mismo external nullifier que usó para verificar una prueba antes, la transacción se revertirá porque ese external nullifier ya se usó. Si desea enviar y verificar varias pruebas de la misma identidad, debe usar un external nullifier diferente cada vez que genere una prueba.
+Cuando genera una prueba usando el mismo external nullifier que usó para verificar una prueba antes, la transacción se revertirá porque ese external nullifier ya se usó. Si desea enviar y verificar varias pruebas de la misma identidad, debe usar un external nullifier diferente cada vez que genere una prueba.

apps/docs/package.json

@@ -11,13 +11,15 @@
         "clear": "docusaurus clear",
         "serve": "docusaurus serve",
         "write-translations": "docusaurus write-translations",
-        "write-heading-ids": "docusaurus write-heading-ids"
+        "write-heading-ids": "docusaurus write-heading-ids",
+        "format": "remark ./**/*.mdx --frail --quiet",
+        "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.0.0-beta.7",
+        "@semaphore-protocol/utils": "4.13.0-beta.0",
         "@svgr/webpack": "^5.5.0",
         "clsx": "^1.2.1",
         "docusaurus-plugin-sass": "^0.2.5",
@@ -29,9 +31,14 @@
         "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",
+        "remark-mdx": "^3.0.1",
+        "remark-preset-lint-consistent": "^6.0.0",
+        "remark-preset-lint-recommended": "^7.0.0",
         "typescript": "~5.2.2"
     },
     "browserslist": {
@@ -48,5 +55,22 @@
     },
     "engines": {
         "node": ">=18.0"
+    },
+    "remarkConfig": {
+        "settings": {
+            "bullet": "-"
+        },
+        "plugins": [
+            "remark-mdx",
+            "remark-preset-lint-consistent",
+            "remark-preset-lint-recommended",
+            [
+                "remark-frontmatter",
+                {
+                    "type": "yaml",
+                    "marker": "-"
+                }
+            ]
+        ]
     }
 }

apps/docs/src/theme/Footer/index.tsx

@@ -32,7 +32,7 @@ function Footer() {
                                     id: "footer.right.connect.title"
                                 })}
                             </h3>
-                            <Link href="https://semaphore.pse.dev/discord" target="_blank">
+                            <Link href="https://semaphore.pse.dev/telegram" target="_blank">
                                 {translate({
                                     id: "footer.right.connect.link1"
                                 })}
@@ -54,11 +54,7 @@ function Footer() {
                 <hr />
 
                 <div>
-                    <p>
-                        {translate({
-                            id: "footer.copyright"
-                        })}
-                    </p>
+                    <p>Copyright © {new Date().getFullYear()} Ethereum Foundation</p>
 
                     <Logo
                         style={{ marginRight: -8 }}

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/contract-api.md

@@ -21,7 +21,7 @@ The first external nullifier will be added as an external nullifier to the
 contract, and this external nullifier will be active once the deployment
 completes.
 
-## Add, deactivate, or reactivate external nullifiiers
+## Add, deactivate, or reactivate external nullifiers
 
 **Contract ABI**:
 

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

@@ -10,8 +10,8 @@ An identity is comprised of the following information:
 
 1. An [EdDSA](https://en.wikipedia.org/wiki/EdDSA) private key. Note that it is
    _not_ an Ethereum private key.
-2. An identity nullifier, whih is a random 32-byte value.
-3. An identity trapdoor, whih is a random 32-byte value.
+2. An identity nullifier, which is a random 32-byte value.
+3. An identity trapdoor, which is a random 32-byte value.
 
 An identity commitment is the Pedersen hash of:
 
@@ -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
@@ -204,7 +204,7 @@ It returns an object as such:
 -   `msg`: The hash of the external nullifier and the signal hash
 -   `signature`: The signature on the above msg.
 -   `tree`: The Merkle tree object after it has been updated with the identity commitment
--   `identityPath`: The Merkle path to the identity commmitment
+-   `identityPath`: The Merkle path to the identity commitment
 -   `identityPathIndex`: The leaf index of the identity commitment
 -   `identityPathElements`: The elements along the above Merkle path
 
@@ -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/faq.md

@@ -14,7 +14,7 @@ It also provides a simple mechanism to prevent double-signaling, which means you
 
 ## Where can I ask questions about Semaphore?
 
-You can ask questions about Semaphore on [Discord](https://semaphore.pse.dev/discord) or by opening a [Semaphore Discussion](https://github.com/semaphore-protocol/semaphore/discussions).
+You can ask questions about Semaphore on [Telegram](https://semaphore.pse.dev/telegram) or by opening a [Semaphore Discussion](https://github.com/semaphore-protocol/semaphore/discussions).
 
 ## Why do identities require both the `identity trapdoor` and the `identity nullifier`?
 

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-V3/guides/fetching-data.mdx

@@ -18,34 +18,31 @@ There are two ways to do this, using [`SemaphoreSubgraph`](https://github.com/se
 ## Install library
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/data@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/data@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/data@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/data@^3
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/data@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/data@^3
+    ```
+  </TabItem>
 </Tabs>
 
 ## Fetch data using SemaphoreSubgraph
@@ -113,6 +110,7 @@ const semaphoreSubgraph = new SemaphoreSubgraph("sepolia")
 const { members } = await semaphoreSubgraph.getGroup(groupId, { members: true })
 const group = new Group(groupId, 20, members)
 ```
+
 :::
 
 ## Fetch data using SemaphoreEthers
@@ -178,4 +176,5 @@ const semaphoreEthers = new SemaphoreEthers("sepolia")
 const members = await semaphoreEthers.getGroupMembers(groupId)
 const group = new Group(groupId, 20, members)
 ```
+
 :::

apps/docs/versioned_docs/version-V3/guides/groups.mdx

@@ -11,70 +11,67 @@ import TabItem from "@theme/TabItem"
 A [Semaphore group](/V3/glossary/#semaphore-group) contains [identity commitments](/V3/glossary/#identity-commitment) of group members.
 Example uses of groups include the following:
 
--   poll question that attendees join to rate an event,
--   ballot that members join to vote on a proposal,
--   whistleblowers who are verified employees of an organization.
+- poll question that attendees join to rate an event,
+- ballot that members join to vote on a proposal,
+- whistleblowers who are verified employees of an organization.
 
 A Semaphore group is an [incremental Merkle tree](/V3/glossary/#merkle-tree), and group members (i.e., [identity commitments](/V3/glossary/#identity-commitment)) are tree leaves.
 Semaphore groups set the following three parameters:
 
--   **Group id**: a unique identifier for the group;
--   **Tree depth**: the maximum number of members a group can contain (`max size = 2 ^ tree depth`);
--   **Members**: the list of members to initialize the group.
+- **Group id**: a unique identifier for the group;
+- **Tree depth**: the maximum number of members a group can contain (`max size = 2 ^ tree depth`);
+- **Members**: the list of members to initialize the group.
 
 Learn how to work with groups.
 
--   [**Off-chain groups**](#off-chain-groups)
--   [**On-chain groups**](#on-chain-groups)
+- [**Off-chain groups**](#off-chain-groups)
+- [**On-chain groups**](#on-chain-groups)
 
 ## Off-chain groups
 
--   [Create a group](#create-a-group)
--   [Add members](#add-members)
--   [Remove or update members](#remove-or-update-members)
+- [Create a group](#create-a-group)
+- [Add members](#add-members)
+- [Remove or update members](#remove-or-update-members)
 
 ### Create a group
 
 Use the [`@semaphore-protocol/group`](https://github.com/semaphore-protocol/semaphore/blob/v3.15.2/packages/group) library `Group` class to create an off-chain group with the following parameters:
 
--   `Group id`: a unique identifier for the group;
--   `Tree depth`: (_default `20`_) the maximum number of members a group can contain (`max size = 2 ^ tree depth`).
--   `Members`: (_default `[]`_) the list of members to initialize the group.
+- `Group id`: a unique identifier for the group;
+- `Tree depth`: (*default `20`*) the maximum number of members a group can contain (`max size = 2 ^ tree depth`).
+- `Members`: (*default `[]`*) the list of members to initialize the group.
 
 #### Install library:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/group@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/group@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/group@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/group@^3
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/group@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/group@^3
+    ```
+  </TabItem>
 </Tabs>
 
-To create a group with default _`treeDepth`_, call the `Group` constructor without the second parameter. For example:
+To create a group with default *`treeDepth`*, call the `Group` constructor without the second parameter. For example:
 
 ```ts
 import { Group } from "@semaphore-protocol/group"
@@ -82,7 +79,7 @@ import { Group } from "@semaphore-protocol/group"
 const group = new Group(1)
 ```
 
-The following example code passes _`treeDepth`_ to create a group for `2 ^ 30 = 1073741824` members:
+The following example code passes *`treeDepth`* to create a group for `2 ^ 30 = 1073741824` members:
 
 ```ts
 import { Group } from "@semaphore-protocol/group"

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

@@ -11,50 +11,47 @@ import TabItem from "@theme/TabItem"
 In order to join a [Semaphore group](/V3/glossary#semaphore-group), a user must first create a [Semaphore identity](/V3/glossary#semaphore-identity).
 A Semaphore identity contains two values generated with the identity:
 
--   Identity trapdoor
--   identity nullifier
+- Identity trapdoor
+- identity nullifier
 
 To use and verify the identity, the identity owner (user) must know the trapdoor and nullifier values.
 To prevent fraud, the owner should keep both values secret.
 
 ## Create identities
 
-In your code, use the [`@semaphore-protocol/identity`](https://github.com/semaphore-protocol/semaphore/tree/v3.15.2/packages/identity) library to create a Semaphore identity _deterministically_ (from the hash of a message) or _randomly_.
+In your code, use the [`@semaphore-protocol/identity`](https://github.com/semaphore-protocol/semaphore/tree/v3.15.2/packages/identity) library to create a Semaphore identity *deterministically* (from the hash of a message) or *randomly*.
 
--   [**Create random identities**](#create-random-identities)
--   [**Create deterministic identities**](#create-deterministic-identities)
+- [**Create random identities**](#create-random-identities)
+- [**Create deterministic identities**](#create-deterministic-identities)
 
 ### Install library:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/identity@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/identity@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/identity@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/identity@^3
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/identity@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/identity@^3
+    ```
+  </TabItem>
 </Tabs>
 
 ### Create random identities
@@ -69,8 +66,8 @@ const { trapdoor, nullifier, commitment } = new Identity()
 
 The new identity contains two random secret values: `trapdoor` and `nullifier`, and one public value: `commitment`.
 
-The Poseidon hash of the identity nullifier and trapdoor is called the _identity secret_,
-and its hash is the _identity commitment_.
+The Poseidon hash of the identity nullifier and trapdoor is called the *identity secret*,
+and its hash is the *identity commitment*.
 
 An identity commitment, similarly to Ethereum addresses, is a public value used
 in Semaphore groups to represent the identity of a group member. The secret values are similar to
@@ -79,7 +76,7 @@ Ethereum private keys and are used to generate Semaphore zero-knowledge proofs a
 ### Create deterministic identities
 
 If you pass a message as a parameter, Semaphore generates `trapdoor` and `nullifier`
-from the _SHA256_ hash of the message.
+from the *SHA256* hash of the message.
 The message might be a password or a message that the user cryptographically signs with a private key.
 
 When using deterministic identities, you should always keep the message secret.

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

@@ -10,57 +10,54 @@ import TabItem from "@theme/TabItem"
 
 Once a user joins their [Semaphore identity](/V3/glossary#semaphore-identity) to a [Semaphore group](/V3/glossary#semaphore-group), the user can signal anonymously with a zero-knowledge proof that proves the following:
 
--   the user is a member of the group,
--   the same user created the signal and the proof.
+- the user is a member of the group,
+- the same user created the signal and the proof.
 
 Developers can use Semaphore for the following:
 
--   [**Generate a proof off-chain**](#generate-a-proof-off-chain)
--   [**Verify a proof off-chain**](#verify-a-proof-off-chain)
--   [**Verify a proof on-chain**](#verify-a-proof-on-chain)
+- [**Generate a proof off-chain**](#generate-a-proof-off-chain)
+- [**Verify a proof off-chain**](#verify-a-proof-off-chain)
+- [**Verify a proof on-chain**](#verify-a-proof-on-chain)
 
 ## Generate a proof off-chain
 
 Use the [`@semaphore-protocol/proof`](https://github.com/semaphore-protocol/semaphore/tree/v3.15.2/packages/proof) library to generate an off-chain proof.
 To generate a proof, pass the following parameters to the `generateProof` function:
 
--   `identity`: the Semaphore identity of the user broadcasting the signal and generating the proof;
--   `group`: the group to which the user belongs;
--   `externalNullifier`: the value that prevents double-signaling;
--   `signal`: the signal the user wants to send anonymously;
--   `snarkArtifacts`: the `zkey` and `wasm` [trusted setup files](/V3/glossary/#trusted-setup-files).
+- `identity`: the Semaphore identity of the user broadcasting the signal and generating the proof;
+- `group`: the group to which the user belongs;
+- `externalNullifier`: the value that prevents double-signaling;
+- `signal`: the signal the user wants to send anonymously;
+- `snarkArtifacts`: the `zkey` and `wasm` [trusted setup files](/V3/glossary/#trusted-setup-files).
 
 #### Install library:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/proof@^3
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/proof@^3
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/proof@^3
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/proof@^3
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/proof@^3
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/proof@^3
+    ```
+  </TabItem>
 </Tabs>
 
 In the voting system use case, once all the voters have joined their [identities](/V3/guides/identities#create-identities) to the ballot [group](/V3/guides/groups),
@@ -87,6 +84,7 @@ If you are generating the proof on the client side, you can avoid adding the sna
 ```ts
 const fullProof = await generateProof(identity, group, externalNullifier, signal)
 ```
+
 :::
 
 ## Verify a proof off-chain
@@ -94,8 +92,8 @@ const fullProof = await generateProof(identity, group, externalNullifier, signal
 Use the [`@semaphore-protocol/proof`](https://github.com/semaphore-protocol/semaphore/tree/v3.15.2/packages/proof) library to verify a Semaphore proof off-chain.
 To verify a proof, pass the following to the `verifyProof` function:
 
--   `fullProof`: the Semaphore proof;
--   `treeDepth`: the Merkle tree depth.
+- `fullProof`: the Semaphore proof;
+- `treeDepth`: the Merkle tree depth.
 
 The following code sample shows how to verify the previously generated proof:
 
@@ -117,12 +115,12 @@ See our [deployed contracts](/V3/deployed-contracts) to find the addresses for y
 
 To verify Semaphore proofs in your contract, import `ISemaphore.sol`, pass it the `Semaphore.sol` address and call the `verifyProof` method with following parameters:
 
--   `groupId`: the identifier of the group;
--   `merkleTreeRoot`: the root of the Merkle tree;
--   `signal`: the signal the user wants to send anonymously;
--   `nullifierHash`: a nullifier hash;
--   `externalNullifier`: the value that prevents double-signaling;
--   `proof`: a Solidity-compatible Semaphore proof.
+- `groupId`: the identifier of the group;
+- `merkleTreeRoot`: the root of the Merkle tree;
+- `signal`: the signal the user wants to send anonymously;
+- `nullifierHash`: a nullifier hash;
+- `externalNullifier`: the value that prevents double-signaling;
+- `proof`: a Solidity-compatible Semaphore proof.
 
 :::info
 You can import `ISemaphore.sol` and other Semaphore contracts from the [`@semaphore-protocol/contracts`](https://github.com/semaphore-protocol/semaphore/tree/v3.15.2/packages/contracts) NPM module.

apps/docs/versioned_docs/version-V3/quick-setup.mdx

@@ -31,37 +31,34 @@ The [`semaphore CLI`](https://github.com/semaphore-protocol/semaphore/tree/v3.15
 To start working on your project, install the dependencies:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    cd my-app
+    npm i
+    ```
+  </TabItem>
 
-```bash
-cd my-app
-npm i
-```
+  <TabItem value="yarn">
+    ```bash
+    cd my-app
+    yarn
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-cd my-app
-yarn
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-cd my-app
-pnpm install
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    cd my-app
+    pnpm install
+    ```
+  </TabItem>
 </Tabs>
 
 ## Output
@@ -116,34 +113,31 @@ cd apps/contracts
 And compile your contracts:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run compile
+    ```
+  </TabItem>
 
-```bash
-npm run compile
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn compile
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn compile
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm compile
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm compile
+    ```
+  </TabItem>
 </Tabs>
 
 ### Test contracts
@@ -151,100 +145,91 @@ pnpm compile
 Test your contracts:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm test
+    ```
+  </TabItem>
 
-```bash
-npm test
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn test
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn test
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm test
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm test
+    ```
+  </TabItem>
 </Tabs>
 
 Generate a test coverage report:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run test:coverage
+    ```
+  </TabItem>
 
-```bash
-npm run test:coverage
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn test:coverage
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn test:coverage
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm test:coverage
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm test:coverage
+    ```
+  </TabItem>
 </Tabs>
 
 Or a test gas report:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run test:report-gas
+    ```
+  </TabItem>
 
-```bash
-npm run test:report-gas
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn test:report-gas
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn test:report-gas
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm test:report-gas
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm test:report-gas
+    ```
+  </TabItem>
 </Tabs>
 
 ### Deploy contracts
@@ -255,82 +240,76 @@ In the project root folder:
 
 1. Add your environment variables in the `.env` file.
 
-    :::note
-    You should at least set a valid Infura API Key (you could use Alchemy as well) and a private key with some ethers.
-    :::
+   :::note
+   You should at least set a valid Infura API Key (you could use Alchemy as well) and a private key with some ethers.
+   :::
 
 2. Go to the `apps/contracts` folder and deploy your contract.
 
-    <Tabs
-    defaultValue="npm"
-    groupId="package-managers"
-    values={[
+   <Tabs
+     defaultValue="npm"
+     groupId="package-managers"
+     values={[
     {label: 'npm', value: 'npm'},
     {label: 'Yarn', value: 'yarn'},
     {label: 'pnpm', value: 'pnpm'}
-    ]}>
-    <TabItem value="npm">
+    ]}
+   >
+     <TabItem value="npm">
+       ```bash
+       npm run deploy -- --semaphore <semaphore-address> --group <group-id> --network arbitrum-goerli
+       ```
+     </TabItem>
 
-    ```bash
-    npm run deploy -- --semaphore <semaphore-address> --group <group-id> --network arbitrum-goerli
-    ```
+     <TabItem value="yarn">
+       ```bash
+       yarn deploy --semaphore <semaphore-address> --group <group-id> --network arbitrum-goerli
+       ```
+     </TabItem>
 
-    </TabItem>
-    <TabItem value="yarn">
+     <TabItem value="pnpm">
+       ```bash
+       pnpm deploy --semaphore <semaphore-address> --group <group-id> --network arbitrum-goerli
+       ```
+     </TabItem>
+   </Tabs>
 
-    ```bash
-    yarn deploy --semaphore <semaphore-address> --group <group-id> --network arbitrum-goerli
-    ```
+   :::note
+   Check the Semaphore contract addresses [here](/V3/deployed-contracts).
+   :::
 
-    </TabItem>
-    <TabItem value="pnpm">
-
-    ```bash
-    pnpm deploy --semaphore <semaphore-address> --group <group-id> --network arbitrum-goerli
-    ```
-
-    </TabItem>
-    </Tabs>
-
-    :::note
-    Check the Semaphore contract addresses [here](/V3/deployed-contracts).
-    :::
-
-    :::caution
-    The group id is a number.
-    :::
+   :::caution
+   The group id is a number.
+   :::
 
 ### Start app
 
 Start the application:
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm run dev
+    ```
+  </TabItem>
 
-```bash
-npm run dev
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn dev
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn dev
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm dev
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm dev
+    ```
+  </TabItem>
 </Tabs>

apps/docs/versioned_docs/version-V3/troubleshooting.mdx

@@ -7,7 +7,7 @@ import TabItem from "@theme/TabItem"
 
 # Troubleshooting
 
-If these suggestions do not work, feel free to ask in the [Semaphore Discussions](https://github.com/semaphore-protocol/semaphore/discussions) or in the `dev-chat` channel in the [Semaphore Discord](https://semaphore.pse.dev/discord).
+If these suggestions do not work, feel free to ask in the [Semaphore Discussions](https://github.com/semaphore-protocol/semaphore/discussions) or in the [Semaphore Telegram](https://semaphore.pse.dev/telegram).
 
 ## Using Semaphore in the frontend
 
@@ -70,65 +70,59 @@ To solve that:
 1- Install `@esbuild-plugins/node-globals-polyfill` and `@esbuild-plugins/node-modules-polyfill`
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @esbuild-plugins/node-globals-polyfill
+    ```
+  </TabItem>
 
-```bash
-npm install @esbuild-plugins/node-globals-polyfill
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @esbuild-plugins/node-globals-polyfill
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @esbuild-plugins/node-globals-polyfill
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @esbuild-plugins/node-globals-polyfill
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @esbuild-plugins/node-globals-polyfill
+    ```
+  </TabItem>
 </Tabs>
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @esbuild-plugins/node-modules-polyfill
+    ```
+  </TabItem>
 
-```bash
-npm install @esbuild-plugins/node-modules-polyfill
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @esbuild-plugins/node-modules-polyfill
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @esbuild-plugins/node-modules-polyfill
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @esbuild-plugins/node-modules-polyfill
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @esbuild-plugins/node-modules-polyfill
+    ```
+  </TabItem>
 </Tabs>
 
 2- Modify the `vite.config.ts` to add them:

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: 11
+sidebar_position: 13
 ---
 
 # Credits
@@ -17,3 +17,4 @@ Semaphore is the work of several people, for a complete list of contributors you
 -   [LauNaMu](https://github.com/0xyNaMu)
 -   [0xjei](https://github.com/0xjei)
 -   [Mari Poveda](https://github.com/maripoveda)
+-   [Gauthier](https://github.com/sripwoud)

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

@@ -1,12 +1,12 @@
 ---
-sidebar_position: 10
+sidebar_position: 12
 ---
 
 # FAQ
 
 ## Where can I ask questions about Semaphore?
 
-You can ask questions about Semaphore on [Discord](https://semaphore.pse.dev/discord) or by opening a [Semaphore Discussion](https://github.com/semaphore-protocol/semaphore/discussions). The most frequent questions will be listed below.
+You can ask questions about Semaphore on [Telegram](https://semaphore.pse.dev/telegram) or by opening a [Semaphore Discussion](https://github.com/semaphore-protocol/semaphore/discussions). The most frequent questions will be listed below.
 
 ## Why should I prevent proofs from being verified twice?
 

apps/docs/versioned_docs/version-V4/getting-started.mdx

@@ -111,23 +111,23 @@ In the project root folder:
 
 1. Add your environment variables in the `.env` file.
 
-    :::note
-    You should at least set a valid Infura API Key (you could use Alchemy as well) and a private key with some ethers.
-    :::
+   :::note
+   You should at least set a valid Infura API Key (you could use Alchemy as well) and a private key with some ethers.
+   :::
 
 2. Go to the `apps/contracts` folder and deploy your contract.
 
-    ```bash
-    yarn deploy --semaphore <semaphore-address> --group <group-id> --network sepolia
-    ```
+   ```bash
+   yarn deploy --semaphore <semaphore-address> --group <group-id> --network sepolia
+   ```
 
-    :::note
-    Check the Semaphore contract addresses [here](/deployed-contracts).
-    :::
+   :::note
+   Check the Semaphore contract addresses [here](/deployed-contracts).
+   :::
 
-    :::caution
-    The group id is a number.
-    :::
+   :::caution
+   The group id is a number.
+   :::
 
 ### Start app
 

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

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 7
+sidebar_position: 9
 ---
 
 # Glossary
@@ -14,7 +14,7 @@ The public [Semaphore identity](#identity) value used in [Semaphore groups](#gro
 
 ## Group
 
-A group is a [Merkle tree](#merkle-tree) in which each leaf is an [identity commitment](#identity-commitment) for a user. Semaphore uses the [LeanIMT](https://zkkit.pse.dev/classes/_zk_kit_imt.LeanIMT.html) implementation, which is an optimized binary incremental Merkle tree. The tree nodes are calculated using [Poseidon](https://www.poseidon-hash.info).
+A group is a [Merkle tree](#merkle-tree) in which each leaf is an [identity commitment](#identity-commitment) for a user. Semaphore uses the [LeanIMT](https://zkkit.pse.dev/classes/_zk_kit_lean_imt.LeanIMT.html) implementation, which is an optimized binary incremental Merkle tree. The tree nodes are calculated using [Poseidon](https://www.poseidon-hash.info).
 
 ## Merkle tree
 

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

@@ -11,9 +11,9 @@ import TabItem from "@theme/TabItem"
 A [Semaphore group](/glossary/#group) contains [identity commitments](/glossary/#identity-commitment) of group members.
 Example uses of groups include the following:
 
--   poll question that attendees join to rate an event,
--   ballot that members join to vote on a proposal,
--   whistleblowers who are verified employees of an organization.
+- poll question that attendees join to rate an event,
+- ballot that members join to vote on a proposal,
+- whistleblowers who are verified employees of an organization.
 
 :::info
 Semaphore V4 uses the [ZK-Kit](https://github.com/privacy-scaling-explorations/zk-kit) LeanIMT (i.e., Lean Incremental
@@ -28,34 +28,31 @@ Use the [`@semaphore-protocol/group`](https://github.com/semaphore-protocol/sema
 ### Install package
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/group
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/group
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/group
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/group
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/group
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/group
+    ```
+  </TabItem>
 </Tabs>
 
 :::info
@@ -142,39 +139,36 @@ Use the [`@semaphore-protocol/contracts`](https://github.com/semaphore-protocol/
 ### Install package
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/contracts
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/contracts
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/contracts
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/contracts
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/contracts
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/contracts
+    ```
+  </TabItem>
 </Tabs>
 
 ### Create a group
 
-To create a group initialize your contract with the `Semaphore.sol` address and a group ID.
+To create a group initialize your contract with the `Semaphore.sol` address.
 The `createGroup` function can be used to create a Semaphore group. For example:
 
 ```solidity
@@ -187,16 +181,15 @@ contract YourContract {
 
     uint256 public groupId;
 
-    constructor(ISemaphore _semaphore, uint256 _groupId) {
+    constructor(ISemaphore _semaphore) {
         semaphore = _semaphore;
-        groupId = _groupId;
 
-        semaphore.createGroup(groupId, address(this));
+        groupId = semaphore.createGroup();
     }
 }
 ```
 
-`Semaphore.sol` also includes a mechanism to verify Semaphore proofs created with old Merkle tree roots, the duration of which can optionally be defined by the admin in the `createGroup` function as the third parameter. The default value duration is 1 hour and it should be fine for most use-cases. For more context see the issue [#98](https://github.com/semaphore-protocol/semaphore/issues/98).
+`Semaphore.sol` also includes a mechanism to verify Semaphore proofs created with old Merkle tree roots, the duration of which can optionally be defined by the admin in the `createGroup` function. The default value duration is 1 hour and it should be fine for most use-cases. For more context see the issue [#98](https://github.com/semaphore-protocol/semaphore/issues/98).
 
 ### Add members
 
@@ -241,4 +234,3 @@ function removeMember(uint256 identityCommitment, uint256[] calldata merkleProof
 :::info
 If you want to see an example of a working contract, have a look at the [`contracts-hardhat`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/cli-template-contracts-hardhat) CLI template. You can also create a project with that template by running `semaphore create my-app --template contracts-hardhat`.
 :::
-

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

@@ -11,46 +11,43 @@ import TabItem from "@theme/TabItem"
 In order to join a [Semaphore group](/glossary#group), a user must first create a [Semaphore identity](/glossary#identity).
 A Semaphore identity contains three values generated with the identity:
 
--   Private key
--   Public key
--   Commitment
+- Private key
+- Public key
+- Commitment
 
 To use and verify the identity, the identity owner (user) must know its private key.
 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"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/identity
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/identity
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/identity
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/identity
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/identity
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/identity
+    ```
+  </TabItem>
 </Tabs>
 
 :::info
@@ -88,6 +85,11 @@ You may choose to delegate such functionality to existing wallets such as Metama
 1. In Metamask, a user signs a message with the private key of their Ethereum account.
 2. In your application, the user creates a deterministic identity with the signed message that acts as your Semaphore private key.
 3. The user can now recreate their Semaphore identity whenever they want by signing the same message with their Ethereum account in Metamask.
+   :::
+
+:::warning Privacy risk
+If a user signs the **same message** on multiple websites using MetaMask, all those websites will be able to **generate the same Semaphore identity**. This undermines anonymity and may allow third parties to **link identities across platforms** or even **gain control over a user's identity**.\
+To mitigate this, encourage users to sign **unique messages per application** or implement safeguards that detect and warn about reuse.
 :::
 
 ## Sign and verify messages
@@ -112,3 +114,33 @@ After a message is signed, anyone can verify the signature using the message its
 // Static method.
 Identity.verifySignature(message, signature, identity1.publicKey)
 ```
+
+## Export and import an identity
+
+A Semaphore Identity can be exported and then imported later for reuse.
+
+### Export an identity
+
+Returns the private key encoded as a base64 string.
+
+```ts
+import { Identity } from "@semaphore-protocol/identity"
+
+const identity = new Identity()
+
+const privateKey = identity.export()
+```
+
+### Import an identity
+
+Returns a Semaphore identity based on a private key encoded as a base64 string.
+
+```ts
+import { Identity } from "@semaphore-protocol/identity"
+
+const identity = new Identity()
+
+const privateKey = identity.export()
+
+const identity2 = Identity.import(privateKey)
+```

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

@@ -10,8 +10,8 @@ import TabItem from "@theme/TabItem"
 
 Once a user joins a [Semaphore group](/glossary#group) with their [Semaphore identity](/glossary#identity), the user can send their anonymous [message](/glossary#message) with a zero-knowledge proof that proves the following:
 
--   the user is a member of the group,
--   the same user created the message and the proof.
+- the user is a member of the group,
+- the same user created the message and the proof.
 
 A unique [nullifier](/glossary#nullifier) is also generated for each proof that can be used to check whether that proof has already been validated.
 
@@ -20,34 +20,31 @@ A unique [nullifier](/glossary#nullifier) is also generated for each proof that
 In your code, use the [`@semaphore-protocol/proof`](https://github.com/semaphore-protocol/semaphore/tree/main/packages/proof) package to generate and verify a proof.
 
 <Tabs
-defaultValue="npm"
-groupId="package-managers"
-values={[
+  defaultValue="npm"
+  groupId="package-managers"
+  values={[
 {label: 'npm', value: 'npm'},
 {label: 'Yarn', value: 'yarn'},
 {label: 'pnpm', value: 'pnpm'}
-]}>
-<TabItem value="npm">
+]}
+>
+  <TabItem value="npm">
+    ```bash
+    npm install @semaphore-protocol/proof
+    ```
+  </TabItem>
 
-```bash
-npm install @semaphore-protocol/proof
-```
+  <TabItem value="yarn">
+    ```bash
+    yarn add @semaphore-protocol/proof
+    ```
+  </TabItem>
 
-</TabItem>
-<TabItem value="yarn">
-
-```bash
-yarn add @semaphore-protocol/proof
-```
-
-</TabItem>
-<TabItem value="pnpm">
-
-```bash
-pnpm add @semaphore-protocol/proof
-```
-
-</TabItem>
+  <TabItem value="pnpm">
+    ```bash
+    pnpm add @semaphore-protocol/proof
+    ```
+  </TabItem>
 </Tabs>
 
 :::info
@@ -73,7 +70,7 @@ import { Group } from "@semaphore-protocol/group"
 
 const semaphoreSubgraph = new SemaphoreSubgraph("sepolia")
 
-const { members } = semaphoreSubgraph.getGroup("42", { members: true })
+const { members } = await semaphoreSubgraph.getGroup("42", { members: true })
 
 const group = new Group(members)
 ```
@@ -82,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: 8
+sidebar_position: 10
 ---
 
 import Articles from '@site/src/components/Articles';

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

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 6
+sidebar_position: 7
 ---
 
 import RemoteCode from '@site/src/components/RemoteCode';
@@ -7,7 +7,7 @@ import RemoteCode from '@site/src/components/RemoteCode';
 # Subgraph
 
 [The Graph](https://thegraph.com/) is a protocol for indexing networks like Ethereum and IPFS.
-Site owners publish _subgraphs_ that expose site data for anyone to query.
+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/blob/main/packages/contracts/contracts/Semaphore.sol) smart contract.
 
 :::tip
@@ -16,5 +16,4 @@ The Graph protocol uses the [GraphQL](https://graphql.org/) query language. For
 
 ## Schema
 
-<RemoteCode url="https://raw.githubusercontent.com/semaphore-protocol/semaphore/main/apps/subgraph/schema.graphql"
-title="apps/subgraph/schema.graphql" language="graphql" />
+<RemoteCode url="https://raw.githubusercontent.com/semaphore-protocol/semaphore/main/apps/subgraph/schema.graphql" title="apps/subgraph/schema.graphql" language="graphql" />

apps/docs/versioned_docs/version-V4/technical-reference/circuits.md

@@ -4,7 +4,7 @@ sidebar_position: 2
 
 # Circuits
 
-The [Semaphore circuit](https://github.com/semaphore-protocol/semaphore/tree/main/packages/circuits/semaphore.circom) is the heart of the protocol and consists of three parts:
+The [Semaphore circuit](https://github.com/semaphore-protocol/semaphore/blob/main/packages/circuits/src/semaphore.circom) is the heart of the protocol and consists of three parts:
 
 -   [Proof of membership](#proof-of-membership)
 -   [Nullifier](#nullifier)

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

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 9
+sidebar_position: 11
 ---
 
 import Tabs from "@theme/Tabs"
@@ -7,13 +7,7 @@ import TabItem from "@theme/TabItem"
 
 # Troubleshooting
 
-If these suggestions do not work, feel free to ask for more help and support on [Github Discussions](https://github.com/semaphore-protocol/semaphore/discussions) or [Discord](https://semaphore.pse.dev/discord) ("dev-chat" channel).
-
-## Creating a Group
-
-When you create a group and the transaction is reverted, make sure that the group id you are using does not exist on the network you are using.
-
-To check that, you can use the [Semaphore CLI](https://github.com/semaphore-protocol/semaphore/tree/main/packages/cli) with the command `get-groups` and the network you are using and then, make sure that your group id is not part of that list. You can also use the [Semaphore explorer](https://explorer.semaphore.pse.dev/).
+If these suggestions do not work, feel free to ask for more help and support on [Github Discussions](https://github.com/semaphore-protocol/semaphore/discussions) or [Telegram](https://semaphore.pse.dev/telegram).
 
 ## Transaction reverted when using the same nullifier
 

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

@@ -11,6 +11,8 @@ slug: /
 Additionally, it provides a simple mechanism to prevent double-signaling.
 Use cases include private voting, whistleblowing, anonymous DAOs and mixers.
 
+For in-depth technical details about Semaphore, refer to the [Semaphore V4 Specification](https://github.com/zkspecs/zkspecs/blob/main/specs/3/README.md).
+
 ## Features
 
 With Semaphore, you can allow your users to do the following:
@@ -33,19 +35,20 @@ Semaphore is designed to be a simple and generic _privacy layer_ for decentraliz
 
 ## About the code
 
-The core of the protocol is the [circuit logic](https://github.com/semaphore-protocol/semaphore/tree/main/packages/circuits/semaphore.circom).
+The core of the protocol is the [circuit logic](https://github.com/semaphore-protocol/semaphore/tree/main/packages/circuits/src/semaphore.circom).
 In addition to circuits,
 Semaphore provides [Solidity contracts](https://github.com/semaphore-protocol/semaphore/tree/main/packages/contracts)
 and [JavaScript libraries](https://github.com/semaphore-protocol/semaphore/tree/main#-packages) that allow developers to generate zero-knowledge proofs and verify them with minimal effort.
 
+## Trusted Setup Ceremony
+
+The [secure parameters](https://snark-artifacts.pse.dev) for generating valid proofs with Semaphore circuits were generated in a [Trusted Setup Ceremony](https://ceremony.pse.dev/projects/Semaphore%20V4%20Ceremony) that was completed with over 400 participants on [13 July 2024](https://etherscan.io/block/20300394).
+
 ### Audits
 
-| Version | Auditors                          | Report                                                                                                                | Scope                    |
-| ------- | --------------------------------- | --------------------------------------------------------------------------------------------------------------------- | ------------------------ |
-| v2.0.0  | [PSE](https://pse.dev/)           | [Semaphore_2.0.0_Audit.pdf](https://github.com/semaphore-protocol/semaphore/files/9850441/Semaphore_2.0.0_Audit.pdf)  | `circuits`, `contracts`  |
-| v2.5.0  | [PSE](https://pse.dev/)           | [Semaphore_2.5.0_Audit.pdf](https://github.com/semaphore-protocol/semaphore/files/9845008/Semaphore_2.5.0_Audit.pdf)  | `contracts`, `libraries` |
-| v3.0.0  | [Veridise](https://veridise.com/) | [Semaphore_3.0.0_Audit.pdf](https://github.com/semaphore-protocol/semaphore/files/10513776/Semaphore_3.0.0_Audit.pdf) | `circuits`, `contracts`  |
-
-:::caution
-Semaphore V4 is in early testing and might have bugs. Please, don't use it in production.
-:::
+| Version | Auditors                          | Report                                                                           | Scope                                |
+| ------- | --------------------------------- | -------------------------------------------------------------------------------- | ------------------------------------ |
+| v2.0.0  | [PSE](https://pse.dev/)           | [Semaphore_2.0.0_Audit.pdf](https://semaphore.pse.dev/Semaphore_2.0.0_Audit.pdf) | `circuits`, `contracts`              |
+| v2.5.0  | [PSE](https://pse.dev/)           | [Semaphore_2.5.0_Audit.pdf](https://semaphore.pse.dev/Semaphore_2.5.0_Audit.pdf) | `contracts`, `libraries`             |
+| v3.0.0  | [Veridise](https://veridise.com/) | [Semaphore_3.0.0_Audit.pdf](https://semaphore.pse.dev/Semaphore_3.0.0_Audit.pdf) | `circuits`, `contracts`              |
+| v4.0.0  | [PSE](https://pse.dev/)           | [Semaphore_4.0.0_Audit.pdf](https://semaphore.pse.dev/Semaphore_4.0.0_Audit.pdf) | `circuits`, `contracts`, `libraries` |

apps/docs/versions.json

@@ -1 +1 @@
-["V4-beta", "V3", "V2", "V1"]
+["V4", "V3", "V2", "V1"]

apps/subgraph/README.md

@@ -31,7 +31,7 @@
             🔎 Issues
         </a>
         <span>&nbsp;&nbsp;|&nbsp;&nbsp;</span>
-        <a href="https://semaphore.pse.dev/discord">
+        <a href="https://semaphore.pse.dev/telegram">
             🗣️ Chat &amp; Support
         </a>
     </h4>
@@ -42,14 +42,23 @@
 
 ## Networks
 
-| Semaphore version | Sepolia                                                                                        | Mumbai                                                                                                   | Optimism Sepolia                                                                                                 | Arbitrum Sepolia                                                                                                 | Arbitrum One                                                                                                          |
-| ----------------- | ---------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------- |
-| v2.0              | N/A                                                                                            | N/A                                                                                                      | N/A                                                                                                              | N/A                                                                                                              | [semaphore-protocol/arbitrum](https://thegraph.com/hosted-service/subgraph/semaphore-protocol/arbitrum)               |
-| v2.5              | N/A                                                                                            | N/A                                                                                                      | N/A                                                                                                              | N/A                                                                                                              | N/A                                                                                                                   |
-| v2.6              | N/A                                                                                            | N/A                                                                                                      | N/A                                                                                                              | N/A                                                                                                              | [semaphore-protocol/arbitrum-86337c](https://thegraph.com/hosted-service/subgraph/semaphore-protocol/arbitrum-86337c) |
-| v3.0 - v3.1       | N/A                                                                                            | N/A                                                                                                      | N/A                                                                                                              | N/A                                                                                                              | [semaphore-protocol/arbitrum-72dca3](https://thegraph.com/hosted-service/subgraph/semaphore-protocol/arbitrum-72dca3) |
-| >= v3.2           | [semaphore-sepolia](https://api.studio.thegraph.com/query/14377/semaphore-sepolia/v3.6.1)      | [semaphore-mumbai](https://api.studio.thegraph.com/query/14377/semaphore-mumbai/v3.6.1)                  | N/A                                                                                                              | N/A                                                                                                              | [semaphore-arbitrum](https://api.studio.thegraph.com/query/14377/semaphore-arbitrum/v3.6.1)                           |
-| >= v4.0.0-beta    | [semaphore-sepolia](https://api.studio.thegraph.com/query/14377/semaphore-sepolia/v4.0.0-beta) | [semaphore-matic-mumbai](https://api.studio.thegraph.com/query/14377/semaphore-matic-mumbai/v4.0.0-beta) | [semaphore-optimism-sepolia](https://api.studio.thegraph.com/query/14377/semaphore-optimism-sepolia/v4.0.0-beta) | [semaphore-arbitrum-sepolia](https://api.studio.thegraph.com/query/14377/semaphore-arbitrum-sepolia/v4.0.0-beta) | N/A                                                                                                                   |
+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`
+-   `ethereum`
+-   `optimism`
+-   `optimism-sepolia`
+-   `arbitrum`
+-   `arbitrum-sepolia`
+-   `matic`
+-   `matic-amoy`
+-   `base-sepolia`
+-   `base`
+-   `linea-sepolia`
+-   `linea`
+-   `scroll-sepolia`
 
 ## 🛠 Install
 
@@ -134,5 +143,5 @@ yarn deploy-local
 Once the subgraph is published it will start indexing. You can query the subgraph using the following GraphQL endpoint:
 
 ```
-http://127.0.0.1:8000/subgraphs/name/sempahore/graphql
+http://127.0.0.1:8000/subgraphs/name/semaphore/graphql
 ```

apps/subgraph/package.json

@@ -6,9 +6,11 @@
     "private": true,
     "scripts": {
         "codegen": "node scripts/generate-subgraph.js ${0} && graph codegen",
+        "codegen:sepolia": "yarn codegen sepolia",
         "build": "graph build",
-        "auth": "graph auth --studio",
-        "deploy": "graph deploy --node https://api.studio.thegraph.com/deploy/ ${0}",
+        "build:sepolia": "yarn codegen:sepolia && graph build",
+        "auth": "graph auth",
+        "deploy": "graph deploy ${0}",
         "start-ipfs": "node scripts/start-ipfs.js",
         "create-local": "graph create --node http://localhost:8020/ semaphore",
         "remove-local": "graph remove --node http://localhost:8020/ semaphore",
@@ -16,13 +18,13 @@
         "test": "graph test Semaphore -v 0.5.0"
     },
     "dependencies": {
-        "@graphprotocol/graph-cli": "0.67.0",
-        "@graphprotocol/graph-ts": "0.32.0",
+        "@graphprotocol/graph-cli": "0.95.0",
+        "@graphprotocol/graph-ts": "0.37.0",
         "@semaphore-protocol/utils": "workspace:packages/utils"
     },
     "devDependencies": {
-        "@types/mustache": "^4.2.2",
-        "matchstick-as": "0.5.0",
+        "@types/mustache": "^4.2.5",
+        "matchstick-as": "0.6.0",
         "mustache": "^4.2.0"
     }
 }

apps/subgraph/scripts/generate-subgraph.js

@@ -6,6 +6,25 @@ const network = process.argv.at(2)
 
 const template = readFileSync("./subgraph.template.yaml", "utf-8")
 
-const subgraph = Mustache.render(template, { network, ...getDeployedContract(network) })
+function mapNetwork(n) {
+    if (n === "matic-amoy") {
+        return "polygon-amoy"
+    }
+
+    if (n === "arbitrum") {
+        return "arbitrum-one"
+    }
+
+    if (n === "ethereum") {
+        return "mainnet"
+    }
+
+    return network
+}
+
+const subgraph = Mustache.render(template, {
+    network: mapNetwork(network),
+    ...getDeployedContract(network)
+})
 
 writeFileSync("./subgraph.yaml", subgraph)

apps/subgraph/subgraph.template.yaml

@@ -18,7 +18,7 @@ dataSources:
               - Member
           abis:
               - name: Semaphore
-                file: ./abis/Semaphore.json
+                file: ../../node_modules/@semaphore-protocol/utils/src/semaphore-interface.json
           eventHandlers:
               - event: GroupCreated(indexed uint256)
                 handler: createGroup

apps/website/README.md

@@ -34,7 +34,7 @@
             🔎 Issues
         </a>
         <span>&nbsp;&nbsp;|&nbsp;&nbsp;</span>
-        <a href="https://semaphore.pse.dev/discord">
+        <a href="https://semaphore.pse.dev/telegram">
             🗣️ Chat &amp; Support
         </a>
     </h4>

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"
             ]
         },
@@ -44,19 +44,16 @@ export default function Build() {
     ]
 
     const linksInfo = [
+        {
+            title: "PSE acceleration program",
+            href: "https://github.com/privacy-scaling-explorations/acceleration-program"
+        },
         {
             title: "Good first issues",
             href: "https://github.com/semaphore-protocol/semaphore/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22"
-        },
-        {
-            title: "Enhance the protocol",
-            href: "https://github.com/semaphore-protocol/semaphore/discussions/new?category=ideas"
-        },
-        {
-            title: "Give feedback about the website",
-            href: "https://github.com/semaphore-protocol/semaphore/discussions/new?category=website"
         }
     ]
+
     return (
         <VStack justify="center">
             <VStack pt="170px" pb="128px">
@@ -136,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/layout.tsx

@@ -1,9 +1,10 @@
-import { Box, Container } from "@chakra-ui/react"
+import { Box, Container, Link } from "@chakra-ui/react"
 import type { Metadata } from "next"
 import Script from "next/script"
 import Footer from "../components/Footer"
 import Navbar from "../components/Navbar"
 import Providers from "./providers"
+import Banner from "@/components/Banner"
 
 export const metadata: Metadata = {
     title: "Semaphore",
@@ -30,9 +31,23 @@ export default function RootLayout({ children }: { children: React.ReactNode })
         <html lang="en" suppressHydrationWarning>
             <body suppressHydrationWarning>
                 <Providers>
+                    <Banner>
+                        <Link
+                            _hover={{
+                                textDecoration: "underline",
+                                textDecorationColor: "primary.600"
+                            }}
+                            href="https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0"
+                            ml="1"
+                            isExternal
+                        >
+                            <b>Semaphore V4</b>
+                        </Link>{" "}
+                        has been released 🚀
+                    </Banner>
                     <Navbar />
                     <Container maxW="1440px" px={{ base: "5", md: "10" }}>
-                        <Box h="96px" />
+                        <Box h="146px" /> {/* Adjusted to account for TopBanner and Navbar */}
                         {children}
                         <Footer />
                     </Container>

apps/website/src/app/page.tsx

@@ -1,11 +1,13 @@
 import { Box, Button, Card, CardBody, HStack, Heading, Image, Link, Stack, Text, VStack } from "@chakra-ui/react"
-import NextLink from "next/link"
 import { Sora } from "next/font/google"
+import NextLink from "next/link"
 import Carousel from "../components/Carousel"
 import ProjectCard from "../components/ProjectCard"
 import events from "../data/events.json"
 import allProjects from "../data/projects.json"
-import IconDiscord from "../icons/IconDiscord"
+import IconTelegram from "../icons/IconTelegram"
+import HRoadmap from "@/components/HRoadmap"
+import VRoadmap from "@/components/VRoadmap"
 
 const sora = Sora({
     subsets: ["latin"]
@@ -220,6 +222,35 @@ export default function Home() {
                 </Card>
             </HStack>
 
+            <VStack mb="32" spacing="32">
+                <VStack w="full" maxW="1110px">
+                    <Heading fontSize={{ base: "30px", md: "44px" }} pb="90px">
+                        2024-2025 Roadmap
+                    </Heading>
+
+                    <HStack display={{ base: "none", md: "flex" }} w="full" mt="60px">
+                        <HRoadmap />
+                    </HStack>
+
+                    <VStack display={{ base: "flex", md: "none" }}>
+                        <VRoadmap />
+                    </VStack>
+                </VStack>
+
+                <VStack maxW="650" align="center" spacing="8">
+                    <Heading fontSize={{ base: "30px", md: "44px" }}>Join the Semaphore community</Heading>
+                    <Text fontSize={{ base: "16px", md: "18px" }} textAlign="center">
+                        Ask questions, suggest ideas, stay up-to-date, and meet other people building privacy
+                        applications with Zero Knowledge.
+                    </Text>
+                    <Link href="https://semaphore.pse.dev/telegram" isExternal>
+                        <Button leftIcon={<IconTelegram />} size="lg">
+                            Telegram
+                        </Button>
+                    </Link>
+                </VStack>
+            </VStack>
+
             <VStack justify="center" spacing="40" py="32" position="relative">
                 <Box
                     zIndex="-1"
@@ -239,27 +270,16 @@ export default function Home() {
                     />
                 </Box>
 
-                <Stack direction={{ base: "column", md: "row" }} px={{ base: "0", md: "12" }} spacing="32">
-                    <VStack maxW="450" align="left" spacing="8">
-                        <Heading fontSize={{ base: "30px", md: "44px" }}>Join the Semaphore community</Heading>
-                        <Text fontSize={{ base: "16px", md: "18px" }}>
-                            Ask questions, suggest ideas, stay up-to-date, and meet other people building privacy
-                            applications with Zero Knowledge.
-                        </Text>
-                        <Link href="https://semaphore.pse.dev/discord" isExternal>
-                            <Button leftIcon={<IconDiscord />} size="lg">
-                                Discord
-                            </Button>
-                        </Link>
-                    </VStack>
+                <Stack direction={{ base: "column", md: "row" }} px={{ base: "0", md: "12" }} w="full">
+                    <Box flex="1" />
 
                     <Card
-                        bg="inherit"
+                        flex="1"
+                        bg="darkBlue"
                         color="white"
-                        backdropFilter="blur(4px)"
                         borderRadius="18px"
                         border="1px"
-                        borderColor="white"
+                        borderColor="text.900"
                         padding="50px"
                     >
                         <CardBody padding="0">
@@ -267,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/components/Banner.tsx

@@ -0,0 +1,28 @@
+import { Box, Text } from "@chakra-ui/react"
+
+interface BannerProps {
+    children: React.ReactNode
+}
+
+export default function Banner({ children }: BannerProps) {
+    return (
+        <Box
+            bg="darkBlueBg"
+            py="3"
+            textAlign="center"
+            borderBottom="1px solid"
+            color="text"
+            fontSize="sm"
+            position="fixed"
+            top="0"
+            left="0"
+            right="0"
+            zIndex="2"
+            display="flex"
+            justifyContent="center"
+            alignItems="center"
+        >
+            <Text>{children}</Text>
+        </Box>
+    )
+}

apps/website/src/components/Footer.tsx

@@ -2,7 +2,7 @@ import { Divider, Heading, HStack, Link, Stack, Text, VStack } from "@chakra-ui/
 import Image from "next/image"
 import NextLink from "next/link"
 import IconArrowUpRight from "../icons/IconArrowUpRight"
-import IconDiscord from "../icons/IconDiscord"
+import IconTelegram from "../icons/IconTelegram"
 import IconThumbsUp from "../icons/IconThumbsUp"
 import IconX from "@/icons/IconX"
 
@@ -59,11 +59,11 @@ export default function Footer() {
             <Divider />
             <VStack spacing="5">
                 <HStack spacing="5">
-                    <Link href="https://semaphore.pse.dev/discord" isExternal>
+                    <Link href="https://semaphore.pse.dev/telegram" isExternal>
                         <HStack>
-                            <IconDiscord boxSize={{ base: "16px", md: "24px" }} />
+                            <IconTelegram boxSize={{ base: "16px", md: "24px" }} />
                             <Heading fontSize={{ base: "14px", md: "18px" }} fontWeight="normal">
-                                Discord
+                                Telegram
                             </Heading>
                         </HStack>
                     </Link>
@@ -88,7 +88,7 @@ export default function Footer() {
                     </Link>
 
                     <Text fontSize={{ base: "12px", md: "14px" }} color="text.500" pt="2">
-                        Copyright © 2024 Ethereum Foundation
+                        Copyright © {new Date().getFullYear()} Ethereum Foundation
                     </Text>
                 </VStack>
             </VStack>

apps/website/src/components/HRoadmap.tsx

@@ -0,0 +1,58 @@
+import { Box, Text } from "@chakra-ui/react"
+import roadmap from "../data/roadmap.json"
+import IconInnerCheck from "../icons/IconInnerCheck"
+
+export default function HRoadmap() {
+    return roadmap.map((milestone, i) => (
+        <Box
+            key={milestone.name}
+            borderBottomWidth={i % 2 === 0 ? "5px" : "0px"}
+            borderTopWidth={i % 2 !== 0 ? "5px" : "0px"}
+            borderLeftWidth="1px"
+            borderColor="#1E46F2"
+            transform={i % 2 === 0 ? "translateY(-74px)" : ""}
+            h="80px"
+            w="full"
+            pos="relative"
+        >
+            {milestone.done ? (
+                <IconInnerCheck
+                    pos="absolute"
+                    top={i % 2 !== 0 ? "-14px" : "inherit"}
+                    bottom={i % 2 === 0 ? "-14px" : "inherit"}
+                    left="-12px"
+                    bg="#1E46F2"
+                    borderRadius="50px"
+                    p="7px"
+                    w="24px"
+                    h="24px"
+                    color="white"
+                />
+            ) : (
+                <Box
+                    pos="absolute"
+                    top={i % 2 !== 0 ? "-14px" : "inherit"}
+                    bottom={i % 2 === 0 ? "-14px" : "inherit"}
+                    left="-12px"
+                    bg="darkBlueBg"
+                    borderWidth="5px"
+                    borderColor="#1E46F2"
+                    borderRadius="50px"
+                    w="24px"
+                    h="24px"
+                />
+            )}
+            <Text
+                pos="absolute"
+                bg="darkBlueBg"
+                fontSize="14px"
+                py="5px"
+                top={i % 2 === 0 ? "-35px" : "inherit"}
+                bottom={i % 2 !== 0 ? "-35px" : "inherit"}
+                left="-1px"
+            >
+                {milestone.name}
+            </Text>
+        </Box>
+    ))
+}

apps/website/src/components/Navbar.tsx

@@ -20,7 +20,7 @@ import {
 } from "@chakra-ui/react"
 import Image from "next/image"
 import NextLink from "next/link"
-import IconDiscord from "../icons/IconDiscord"
+import IconTelegram from "../icons/IconTelegram"
 import IconMenu from "../icons/IconMenu"
 import IconThumbsUp from "../icons/IconThumbsUp"
 import NavbarLinks from "./NavbarLinks"
@@ -30,7 +30,7 @@ export default function Navbar() {
     const { isOpen, onOpen, onClose } = useDisclosure()
 
     return (
-        <HStack zIndex="1" py="7" top="0" left="0" right="0" position="fixed" bgColor="darkBlueBg">
+        <HStack zIndex="1" py="7" top="42px" left="0" right="0" position="fixed" bgColor="darkBlueBg">
             <Container maxW="1440px" px={{ base: "5", md: "10" }}>
                 <HStack justify="space-between">
                     <Link as={NextLink} href="/">
@@ -71,11 +71,11 @@ export default function Navbar() {
 
                                 <VStack w="full" justify="center" spacing="5">
                                     <HStack spacing="5">
-                                        <Link href="https://semaphore.pse.dev/discord" isExternal>
+                                        <Link href="https://semaphore.pse.dev/telegram" isExternal>
                                             <HStack>
-                                                <IconDiscord boxSize={{ base: "16px", md: "24px" }} />
+                                                <IconTelegram boxSize={{ base: "16px", md: "24px" }} />
                                                 <Heading fontSize={{ base: "14px", md: "18px" }} fontWeight="normal">
-                                                    Discord
+                                                    Telegram
                                                 </Heading>
                                             </HStack>
                                         </Link>

apps/website/src/components/VRoadmap.tsx

@@ -0,0 +1,61 @@
+import { Box, Text } from "@chakra-ui/react"
+import roadmap from "../data/roadmap.json"
+import IconInnerCheck from "../icons/IconInnerCheck"
+
+export default function VRoadmap() {
+    return roadmap.map((milestone, i) => (
+        <Box
+            key={milestone.name}
+            ml="-74px"
+            borderLeftWidth={i % 2 === 0 ? "5px" : "0px"}
+            borderRightWidth={i % 2 !== 0 ? "5px" : "0px"}
+            borderTopWidth="1px"
+            borderColor="#1E46F2"
+            transform={i % 2 === 0 ? "translateX(74px)" : ""}
+            h="80px"
+            w="80px"
+            pos="relative"
+        >
+            {milestone.done ? (
+                <IconInnerCheck
+                    pos="absolute"
+                    right={i % 2 !== 0 ? "-14px" : "inherit"}
+                    left={i % 2 === 0 ? "-14px" : "inherit"}
+                    top="-12px"
+                    bg="#1E46F2"
+                    borderRadius="50px"
+                    p="7px"
+                    w="24px"
+                    h="24px"
+                    color="white"
+                />
+            ) : (
+                <Box
+                    pos="absolute"
+                    right={i % 2 !== 0 ? "-14px" : "inherit"}
+                    left={i % 2 === 0 ? "-14px" : "inherit"}
+                    top="-12px"
+                    bg="darkBlueBg"
+                    borderWidth="5px"
+                    borderColor="#1E46F2"
+                    borderRadius="50px"
+                    w="24px"
+                    h="24px"
+                />
+            )}
+            <Text
+                pos="absolute"
+                bg="darkBlueBg"
+                fontSize="14px"
+                w="140px"
+                px="16px"
+                textAlign={i % 2 === 0 ? "left" : "right"}
+                left={i % 2 === 0 ? "70px" : "inherit"}
+                right={i % 2 !== 0 ? "70px" : "inherit"}
+                top="-5px"
+            >
+                {milestone.name}
+            </Text>
+        </Box>
+    ))
+}

apps/website/src/data/articles.json

@@ -33,5 +33,26 @@
         "date": "2023-10-30",
         "authors": ["Laszlo Fazekas"],
         "url": "https://hackernoon.com/brief-introduction-of-semaphore-a-zero-knowledge-group-membership-protocol"
+    },
+    {
+        "title": "Semaphore v3 overview + simplification",
+        "minRead": 7,
+        "date": "2024-01-01",
+        "authors": ["Vivek Bhupatiraju"],
+        "url": "https://vivs.wiki/Semaphore"
+    },
+    {
+        "title": "Getting Started with Semaphore: Building Privacy-Preserving dApps on Ethereum",
+        "minRead": 7,
+        "date": "2024-12-09",
+        "authors": ["glasswing"],
+        "url": "https://mirror.xyz/0xBE98D44c29D179588b7E717Db8898529e5cD770F/5Xlv1jzwJKfKgP-m257kjivBlUIM_cwTzsmpf9F0Su8"
+    },
+    {
+        "title": "Semaphore V4 Specification",
+        "minRead": 10,
+        "date": "2025-03-01",
+        "authors": ["Semaphore Team"],
+        "url": "https://github.com/zkspecs/zkspecs/blob/main/specs/3/README.md"
     }
 ]

apps/website/src/data/events.json

@@ -1,14 +1,20 @@
 [
     {
-        "name": "ETHGlobal - Circuit Breaker",
-        "date": "Feb 2-21, 2024",
-        "description": "Semaphore team will deliver the online workshop  \"Semaphore: The power of anonymity\" about building ZK applications. It will also mention improvements on Semaphore v4 and ZK-KIT.",
-        "link": "https://ethglobal.com/events/circuitbreaker"
+        "name": "ETHDam",
+        "date": "May 9-11, 2025",
+        "description": "Semaphore team will deliver an in-person talk.",
+        "link": "https://www.ethdam.com/"
     },
     {
-        "name": "ETHDam",
-        "date": "Apr 12-14, 2024",
-        "description": "Semaphore team will deliver an in-person talk and sponsor prizes for the hackathon.",
-        "link": "https://www.ethdam.com/"
+        "name": "ZuBerlin",
+        "date": "June 14-22, 2025",
+        "description": "Semaphore team will deliver an in-person talk.",
+        "link": "https://zuberlin.city/"
+    },
+    {
+        "name": "Devconnect",
+        "date": "Nov 17-22, 2025",
+        "description": "Semaphore team will deliver an in-person talk and run workshops.",
+        "link": "https://devconnect.org/"
     }
 ]

apps/website/src/data/projects.json

@@ -11,15 +11,14 @@
         }
     },
     {
-        "name": "Unirep",
-        "tagline": "Private and nonrepudiable reputation system based on ZKP.",
-        "categories": ["Reputation", "Identity", "Social"],
-        "pse": true,
+        "name": "Worldcoin",
+        "categories": ["Identity"],
+        "tagline": "A global digital currency offering universal access to a more inclusive financial system.",
+        "pse": false,
         "icon": "",
         "links": {
-            "website": "https://developer.unirep.io",
-            "github": "https://github.com/Unirep",
-            "discord": "https://discord.gg/VzMMDJmYc5"
+            "github": "https://github.com/worldcoin",
+            "website": "https://worldcoin.org"
         }
     },
     {
@@ -33,6 +32,26 @@
             "website": "https://bandada.pse.dev"
         }
     },
+    {
+        "name": "ZkDemocracy",
+        "categories": ["Infra", "Data"],
+        "tagline": "ZkDemocracy is a ready-to-use anonymous voting system based on Semaphore.",
+        "pse": false,
+        "icon": "",
+        "links": {
+            "github": "https://github.com/TheBojda/zkdemocracy"
+        }
+    },
+    {
+        "name": "Super Secret ZK Ballot",
+        "tagline": "A Solidity contract for anonymous voting.",
+        "categories": ["Voting"],
+        "pse": false,
+        "icon": "",
+        "links": {
+            "github": "https://github.com/dutragustavo/super-secret-zkballot"
+        }
+    },
     {
         "name": "ZK Proof of Humanity",
         "tagline": "A project that allows humans, registered in Proof of Humanity, to prove their humanity without doxing.",
@@ -106,20 +125,7 @@
         "icon": "",
         "links": {
             "website": "https://explorer.semaphore.pse.dev",
-            "github": "https://github.com/semaphore-protocol/explorer",
-            "discord": "https://semaphore.pse.dev/discord"
-        }
-    },
-    {
-        "name": "Semaphore Discord Bot",
-        "tagline": "A Discord Bot for Semaphore",
-        "categories": ["Development"],
-        "pse": true,
-        "icon": "",
-        "links": {
-            "website": "https://discord.com/api/oauth2/authorize?client_id=1082429985496772628&permissions=1024&scope=bot",
-            "github": "https://github.com/semaphore-protocol/discord-bot",
-            "discord": "https://semaphore.pse.dev/discord"
+            "github": "https://github.com/semaphore-protocol/explorer"
         }
     },
     {
@@ -487,14 +493,15 @@
         }
     },
     {
-        "name": "Worldcoin",
-        "categories": ["Identity"],
-        "tagline": "A global digital currency offering universal access to a more inclusive financial system.",
-        "pse": false,
+        "name": "Unirep",
+        "tagline": "Private and nonrepudiable reputation system based on ZKP.",
+        "categories": ["Reputation", "Identity", "Social"],
+        "pse": true,
         "icon": "",
         "links": {
-            "github": "https://github.com/worldcoin",
-            "website": "https://worldcoin.org"
+            "website": "https://developer.unirep.io",
+            "github": "https://github.com/Unirep",
+            "discord": "https://discord.gg/VzMMDJmYc5"
         }
     },
     {
@@ -526,5 +533,58 @@
         "links": {
             "website": "https://medium.com/remix-ide/remix-release-v0-37-0-dbc750f7ab15"
         }
+    },
+    {
+        "name": "AsteriskDAO",
+        "tagline": "Women’s health data lake dAPP for OCD to give researchers access to female-specific data",
+        "categories": ["Health", "Data"],
+        "pse": false,
+        "icon": "",
+        "links": {
+            "github": "https://github.com/AsteriskDAO",
+            "website": "https://ethglobal.com/showcase/asteriskdao-4hvhf"
+        }
+    },
+    {
+        "name": "Pairwise",
+        "tagline": "A fun pseudonymous way to signal in Retro Funding 4.",
+        "categories": ["Retro Funding", "Public Goods", "Privacy", "Community"],
+        "pse": false,
+        "icon": "",
+        "links": {
+            "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"
+        }
+    },
+    {
+        "name": "Obscurus",
+        "categories": ["Voting", "Privacy"],
+        "tagline": "An anonymity layer for Safe Wallet owners, built using Semaphore and Zodiac.",
+        "pse": false,
+        "icon": "",
+        "links": {
+            "github": "https://github.com/quartz-technology/obscurus"
+        }
+    },
+    {
+        "name": "Semaphore Modular Smart Account Modules",
+        "categories": ["Wallet", "Privacy"],
+        "tagline": "Anonymous multi-sig wallet with Semaphore",
+        "pse": false,
+        "icon": "",
+        "links": {
+            "github": "https://github.com/jimmychu0807/semaphore-msa-modules",
+            "website": "https://semaphore-msa-modules.jimmychu0807.hk"
+        }
     }
 ]

apps/website/src/data/roadmap.json

@@ -0,0 +1,46 @@
+[
+    {
+        "name": "Launched New Website",
+        "done": true
+    },
+    {
+        "name": "V4 Audit",
+        "done": true
+    },
+    {
+        "name": "V4 Trusted Setup",
+        "done": true
+    },
+    {
+        "name": "V4 Stable Release",
+        "done": true
+    },
+    {
+        "name": "LeanIMT Paper",
+        "done": true
+    },
+    {
+        "name": "Support more Testnets/Mainnets",
+        "done": true
+    },
+    {
+        "name": "New Explorer",
+        "done": true
+    },
+    {
+        "name": "Semaphore V4 Specification",
+        "done": true
+    },
+    {
+        "name": "Semaphore Rust Implementation",
+        "done": true
+    },
+    {
+        "name": "Semaphore Noir Implementation",
+        "done": false
+    },
+    {
+        "name": "Scaling Semaphore with PIR",
+        "done": false
+    }
+]

apps/website/src/data/videos.json

@@ -116,7 +116,15 @@
         "eventName": "ETHGlobal Circuit Breaker",
         "date": "2024-02-02",
         "speakers": ["Vivian Plasencia"],
-        "url": "https://youtu.be/tx1Xglf07yE",
-        "thumbnail": "https://img.youtube.com/vi/tx1Xglf07yE/0.jpg"
+        "url": "https://youtu.be/ux5Xy_lpiYk",
+        "thumbnail": "https://img.youtube.com/vi/ux5Xy_lpiYk/0.jpg"
+    },
+    {
+        "title": "Scaling Semaphore",
+        "eventName": "ETHDam",
+        "date": "2025-05-10",
+        "speakers": ["Vivian Plasencia"],
+        "url": "https://youtu.be/IkYtKSQLR-A",
+        "thumbnail": "https://img.youtube.com/vi/IkYtKSQLR-A/0.jpg"
     }
 ]