Compare commits

..

9 Commits

Author SHA1 Message Date
cedoor
de7bdd6d17 chore: v4.0.2 2024-08-12 12:00:57 +02:00
Cedoor
21c2739f19 fix(group): update lean-imt dependency (#850)
re #847
2024-08-12 11:56:08 +02:00
Vivian Plasencia
1ed170d0db chore: add pairwise to the list of projects (#846)
* chore: add pairwise to the list of projects

re #845

* refactor: remove slash from the website url

* refactor: remove www from website url
2024-07-31 13:12:54 +01:00
Cedoor
bc041486b0 chore(website): add new project (#844)
re #839
2024-07-31 10:51:52 +01:00
cedoor
5db1bccb84 chore: v4.0.1 2024-07-31 10:39:27 +01:00
Cedoor
b2da0a685a fix(proof): replace root public signal with actual root (#843)
The public signal of proof related to the Merkle root could obviously be different from what is
expected to be the root of the group. Therefore, for the proof to be valid, it is necessary that the
group root passed as a parameter matches the proof/circuit root output.

re #842
2024-07-31 10:38:02 +01:00
Cedoor
9329eed754 docs(docs): update credits.md (#840) 2024-07-26 18:59:56 +02:00
Cedoor
75563ee0d5 docs(docs): update v4 doc (#837)
* docs(docs): update v4 doc

* Update apps/docs/docusaurus.config.ts

Co-authored-by: Vivian Plasencia <v.pcalana@gmail.com>

---------

Co-authored-by: Vivian Plasencia <v.pcalana@gmail.com>
2024-07-25 12:51:06 +01:00
Cedoor
368bbd4bcd docs(website): add roadmap to home page (#834)
* docs(website): add roadmap to home page

re #833

* fix(website): add key property

re #833

* docs(website): add vertical roadmap
2024-07-25 12:50:49 +01:00
52 changed files with 357 additions and 199 deletions

View File

@@ -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 contribute to the <a href="/trusted-setup">Trusted Setup ceremony</a>. 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/discord" target="_blank">Discord</a> or <a href="https://github.com/orgs/semaphore-protocol/discussions" target="_blank">Github</a>!</b>',
backgroundColor: "#dde6fc",
textColor: "#000000"
},

View File

@@ -19,7 +19,7 @@
"@docusaurus/core": "3.1.1",
"@docusaurus/preset-classic": "3.1.1",
"@mdx-js/react": "^3.0.0",
"@semaphore-protocol/utils": "4.0.0",
"@semaphore-protocol/utils": "4.0.2",
"@svgr/webpack": "^5.5.0",
"clsx": "^1.2.1",
"docusaurus-plugin-sass": "^0.2.5",

View File

@@ -1,50 +0,0 @@
---
sidebar_position: 6
---
# Trusted Setup
gm, everyone 😎 we are excited to announce the upcoming Multi-Party Computation (MPC) Phase 2 Trusted Setup ceremony for the Semaphore V4 circuit - this is crucial for establishing a robust security foundation for the cryptographic protocol 🎉
The ceremony will take place from **June 10** to **July 10**. If all goes to plan, finalization should take place on **July 15** with the announcement of the final beacon on **July 12**.
## Securing Semaphore V4
To contribute to this ceremony, you will just need your browser!
1. Visit [ceremony.pse.dev](https://ceremony.pse.dev/projects/Semaphore%20V4%20Ceremony).
2. Login and associate your **Github** account.
3. Hit the `contribute` button and wait for your turn.
nb. you will find your contribution certificate on your GitHub gists - and, if all goes wrong or you feel lost, there are instructions on site or post a message on Semaphore / PSE discord.
## What You Need to Know About the Ceremony
### Your Role
Many zero-knowledge proof systems, including those based on the Groth16 scheme, require this layer of randomness, often referred to as "toxic waste” which must remain unknown to anyone to maintain the integrity of the zero-knowledge proof system. Trusted setups rely on a 1 of N honest participant assumption. As long as just one participant actually discards their “toxic waste”, the proof system will be secure. You can be that one participant by providing your unique entropy with your contribution, making the ceremony unpredictable and unbiased, safeguarding the entire process against potential vulnerabilities.
### Why It Matters
Trusted setups are crucial as they generate a set of parameters necessary to initiate SNARK-based systems. Through a series of computations performed by various participants. This sequence involves downloading previous contributions, adding generated randomness, and uploading the results of your contribution. These contributions are then integrated into the final artifacts crucial for proof generation/verification.
### Semaphore Circuit
The [Semaphore circuit](https://github.com/semaphore-protocol/semaphore/blob/main/packages/circuits/src/semaphore.circom) centered around the creation of the _Semaphore identity_ and _identity commitment_, includes verification processes, and facilitates the generation of the _nullifier_. We are going to support `MAX_DEPTH` from 1 to 32 - therefore you will have to contribute to 32 variants of the same circuit. Since the constraints will range from 2k to less than 10k with very small artifacts size (≤ 8mb x contribution), the waiting and contribution time shouldnt be much!
### Transparency and Fairness
We are committed to transparency on ceremony setup, execution, finalization, and later verification. Our primary goal is to **engage as many contributors as possible** to ensure the circuit is **secure** and **production-ready**. To this end, the ceremony is designed to _maximize contributor inclusion_, monitor & troubleshoot whenever is needed, _lower the entry barriers_, _making contributiong as effortless as possible_. A key step towards achieving these goals is running the ceremony w/ [p0tion](https://github.com/privacy-scaling-explorations/p0tion): an in-house developed, open-source, battle-tested tool that is fully equipped to meet our needs.
### Ceremony Settings
To protect the ceremony from sybils, in order to contribute you must have a GitHub account such that you have: 1 public repository, at least 1 follower, following at least 5 other accounts and, your account is at least 1 month old. While to protect from fake contributors or people hanging due to connection/machine resources, we are going to set a 10 minutes time-window on contributions (+ 1 hour verification) - after this amount of time, you will be kicked out and will have to wait **1 day** before you can contribute again.
## Troubleshooting
- If you have been idle longer than expected, it may be that the current contributor has been blocked for some reason. Do not worry, the maximum wait in this case is one hour, after which you will be able to continue contributing.
### Learn more about Trusted Setups
- [How Do Trusted Setups Work? - Vitalik](https://vitalik.eth.limo/general/2022/03/14/trustedsetup.html)
- [p0tion FAQs](https://p0tion.super.site/faqs#block-cebca23ebb514c2ea096ad44d4833356)

View File

@@ -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)

View File

@@ -9,12 +9,6 @@ import TabItem from "@theme/TabItem"
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/).
## Transaction reverted when using the same nullifier
When you generate a proof using the same [scope](/glossary#scope) you used to validate a proof before, the transaction will be reverted because that scope (and thus the [nullifier](/glossary#nullifier)) has already been used. If you want to send and validate several proofs from the same identity, you need to use a different scope for each time you generate a proof.

View File

@@ -38,6 +38,10 @@ 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 |
@@ -46,7 +50,3 @@ and [JavaScript libraries](https://github.com/semaphore-protocol/semaphore/tree/
| 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` |
:::caution
Semaphore V4 is in early testing and might have bugs. Please, don't use it in production.
:::

View File

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

View File

@@ -20,7 +20,7 @@
"dependencies": {
"@graphprotocol/graph-cli": "0.78.0",
"@graphprotocol/graph-ts": "0.35.1",
"@semaphore-protocol/utils": "4.0.0"
"@semaphore-protocol/utils": "4.0.2"
},
"devDependencies": {
"@types/mustache": "^4.2.2",

View File

@@ -32,19 +32,18 @@ export default function RootLayout({ children }: { children: React.ReactNode })
<body suppressHydrationWarning>
<Providers>
<Banner>
Semaphore V4
<Link
_hover={{
textDecoration: "underline",
textDecorationColor: "primary.600"
}}
href="https://ceremony.pse.dev/projects/Semaphore%20V4%20Ceremony"
href="https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0"
ml="1"
isExternal
>
<b>Trusted Setup</b>
<b>Semaphore V4</b>
</Link>{" "}
ceremony is open for contributions until <b>July 10</b>.
has been released 🚀
</Banner>
<Navbar />
<Container maxW="1440px" px={{ base: "5", md: "10" }}>

View File

@@ -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 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 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/discord" isExternal>
<Button leftIcon={<IconDiscord />} size="lg">
Discord
</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">

View File

@@ -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>
))
}

View File

@@ -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>
))
}

View File

@@ -1,10 +1,4 @@
[
{
"name": "Trusted Setup ceremony",
"date": "June 10 - July 10, 2024",
"description": "The Semaphore team will perform the Phase 2 MPC Trusted Setup ceremony to secure V4 circuit variants from 1 to 32 tree depths.",
"link": "https://docs.semaphore.pse.dev/trusted-setup"
},
{
"name": "ETHRome",
"date": "Oct 4-6, 2024",

View File

@@ -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,16 @@
"website": "https://bandada.pse.dev"
}
},
{
"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.",
@@ -487,14 +496,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"
}
},
{
@@ -537,5 +547,16 @@
"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"
}
}
]

View File

@@ -0,0 +1,34 @@
[
{
"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": false
},
{
"name": "RLN extension",
"done": false
},
{
"name": "Support more Testnets/Mainnets",
"done": false
},
{
"name": "Documentation Revamp",
"done": false
}
]

View File

@@ -0,0 +1,15 @@
import { Icon, IconProps } from "@chakra-ui/react"
import React from "react"
export default function IconInnerCheck(props: IconProps): JSX.Element {
return (
<Icon viewBox="0 0 9 7" {...props}>
<path
fillRule="evenodd"
clipRule="evenodd"
d="M7.84114 1.12297C8.23166 1.5135 8.23166 2.14666 7.84114 2.53718L3.84114 6.53718C3.45062 6.92771 2.81745 6.92771 2.42693 6.53718L0.426926 4.53718C0.0364021 4.14666 0.0364021 3.5135 0.426926 3.12297C0.817451 2.73245 1.45062 2.73245 1.84114 3.12297L3.13403 4.41586L6.42693 1.12297C6.81745 0.732447 7.45062 0.732447 7.84114 1.12297Z"
fill="white"
/>
</Icon>
)
}

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

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

View File

@@ -1,6 +1,6 @@
{
"name": "@semaphore-protocol/group",
"version": "4.0.0",
"version": "4.0.2",
"description": "A library to create and manage Semaphore groups.",
"type": "module",
"license": "MIT",
@@ -39,7 +39,7 @@
"rollup-plugin-cleanup": "^3.2.1"
},
"dependencies": {
"@zk-kit/lean-imt": "2.0.1",
"@zk-kit/lean-imt": "2.1.0",
"@zk-kit/utils": "1.0.0"
}
}

View File

@@ -153,7 +153,7 @@ export class Group {
static import(nodes: string): Group {
const group = new Group()
group.leanIMT.import(nodes)
group.leanIMT = LeanIMT.import((a, b) => poseidon2([a, b]), nodes)
return group
}

View File

@@ -158,6 +158,7 @@ describe("Group", () => {
expect(group2.depth).toBe(group1.depth)
expect(group2.size).toBe(group1.size)
expect(group2.root).toBe(group1.root)
expect(group2.indexOf(2n)).toBe(group1.indexOf(2n))
})
})
})

View File

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

View File

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

View File

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

View File

@@ -1,11 +1,11 @@
import type { Group, MerkleProof } from "@semaphore-protocol/group"
import type { Identity } from "@semaphore-protocol/identity"
import { MAX_DEPTH, MIN_DEPTH } from "@semaphore-protocol/utils/constants"
import { Project, maybeGetSnarkArtifacts, type SnarkArtifacts } from "@zk-kit/artifacts"
import { requireDefined, requireNumber, requireObject, requireTypes } from "@zk-kit/utils/error-handlers"
import { packGroth16Proof } from "@zk-kit/utils/proof-packing"
import { maybeGetSnarkArtifacts, Project, type SnarkArtifacts } from "@zk-kit/artifacts"
import type { BigNumberish } from "ethers"
import { type NumericString, groth16 } from "snarkjs"
import { groth16, type NumericString } from "snarkjs"
import hash from "./hash"
import toBigInt from "./to-bigint"
import type { SemaphoreProof } from "./types"
@@ -118,7 +118,7 @@ export default async function generateProof(
return {
merkleTreeDepth,
merkleTreeRoot: publicSignals[0],
merkleTreeRoot: merkleProof.root.toString(),
nullifier: publicSignals[1],
message: message.toString() as NumericString,
scope: scope.toString() as NumericString,

View File

@@ -55,7 +55,7 @@ describe("Proof", () => {
expect(typeof proof).toBe("object")
expect(BigInt(proof.merkleTreeRoot)).toBe(group.root)
}, 80000)
})
it("Should generate a Semaphore proof passing a Merkle proof instead of a group", async () => {
const group = new Group([1n, 2n, identity.commitment])
@@ -64,7 +64,7 @@ describe("Proof", () => {
expect(typeof proof).toBe("object")
expect(BigInt(proof.merkleTreeRoot)).toBe(group.root)
}, 80000)
})
it("Should generate a Semaphore proof without passing the tree depth", async () => {
const group = new Group([1n, 2n, identity.commitment])
@@ -73,7 +73,7 @@ describe("Proof", () => {
expect(typeof proof).toBe("object")
expect(BigInt(proof.merkleTreeRoot)).toBe(group.root)
}, 80000)
})
it("Should throw an error because snarkArtifacts is not an object", async () => {
const group = new Group([1n, 2n, identity.commitment])
@@ -103,7 +103,7 @@ describe("Proof", () => {
await expect(fun).rejects.toThrow("tree depth must be")
})
it("Should verify a Semaphore proof", async () => {
it("Should return true if the proof is valid", async () => {
const group = new Group([1n, 2n, identity.commitment])
const proof = await generateProof(identity, group, message, scope, treeDepth)
@@ -111,6 +111,16 @@ describe("Proof", () => {
const response = await verifyProof(proof)
expect(response).toBe(true)
}, 80_000)
})
it("Should return false if the proof is not valid", async () => {
const group = new Group([1n, 2n, identity.commitment])
const proof = await generateProof(identity, group.generateMerkleProof(0), message, scope, treeDepth)
const response = await verifyProof(proof)
expect(response).toBe(false)
})
})
})

View File

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

View File

@@ -6268,10 +6268,10 @@ __metadata:
"@nomicfoundation/hardhat-network-helpers": "npm:^1.0.0"
"@nomicfoundation/hardhat-toolbox": "npm:^4.0.0"
"@nomicfoundation/hardhat-verify": "npm:^2.0.0"
"@semaphore-protocol/contracts": "npm:4.0.0"
"@semaphore-protocol/core": "npm:4.0.0"
"@semaphore-protocol/hardhat": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/contracts": "npm:4.0.2"
"@semaphore-protocol/core": "npm:4.0.2"
"@semaphore-protocol/hardhat": "npm:4.0.2"
"@semaphore-protocol/utils": "npm:4.0.2"
"@typechain/ethers-v6": "npm:^0.5.0"
"@typechain/hardhat": "npm:^9.0.0"
"@types/chai": "npm:^4.2.0"
@@ -6321,8 +6321,8 @@ __metadata:
resolution: "@semaphore-protocol/cli@workspace:packages/cli"
dependencies:
"@rollup/plugin-typescript": "npm:^11.1.6"
"@semaphore-protocol/data": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/data": "npm:4.0.2"
"@semaphore-protocol/utils": "npm:4.0.2"
"@types/figlet": "npm:^1.5.8"
"@types/inquirer": "npm:^9.0.7"
"@types/pacote": "npm:^11.1.8"
@@ -6346,7 +6346,7 @@ __metadata:
languageName: unknown
linkType: soft
"@semaphore-protocol/contracts@npm:4.0.0, @semaphore-protocol/contracts@workspace:packages/contracts/contracts":
"@semaphore-protocol/contracts@npm:4.0.2, @semaphore-protocol/contracts@workspace:packages/contracts/contracts":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/contracts@workspace:packages/contracts/contracts"
dependencies:
@@ -6354,23 +6354,23 @@ __metadata:
languageName: unknown
linkType: soft
"@semaphore-protocol/core@npm:4.0.0, @semaphore-protocol/core@workspace:^, @semaphore-protocol/core@workspace:packages/core":
"@semaphore-protocol/core@npm:4.0.2, @semaphore-protocol/core@workspace:^, @semaphore-protocol/core@workspace:packages/core":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/core@workspace:packages/core"
dependencies:
"@semaphore-protocol/group": "npm:4.0.0"
"@semaphore-protocol/identity": "npm:4.0.0"
"@semaphore-protocol/proof": "npm:4.0.0"
"@semaphore-protocol/group": "npm:4.0.2"
"@semaphore-protocol/identity": "npm:4.0.2"
"@semaphore-protocol/proof": "npm:4.0.2"
languageName: unknown
linkType: soft
"@semaphore-protocol/data@npm:4.0.0, @semaphore-protocol/data@workspace:packages/data":
"@semaphore-protocol/data@npm:4.0.2, @semaphore-protocol/data@workspace:packages/data":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/data@workspace:packages/data"
dependencies:
"@rollup/plugin-json": "npm:^6.1.0"
"@rollup/plugin-typescript": "npm:^11.1.6"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.2"
axios: "npm:1.6.6"
ethers: "npm:6.11.0"
rimraf: "npm:^5.0.5"
@@ -6379,14 +6379,14 @@ __metadata:
languageName: unknown
linkType: soft
"@semaphore-protocol/group@npm:4.0.0, @semaphore-protocol/group@workspace:packages/group":
"@semaphore-protocol/group@npm:4.0.2, @semaphore-protocol/group@workspace:packages/group":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/group@workspace:packages/group"
dependencies:
"@rollup/plugin-commonjs": "npm:^25.0.7"
"@rollup/plugin-node-resolve": "npm:^15.2.3"
"@rollup/plugin-typescript": "npm:^11.1.6"
"@zk-kit/lean-imt": "npm:2.0.1"
"@zk-kit/lean-imt": "npm:2.1.0"
"@zk-kit/utils": "npm:1.0.0"
poseidon-lite: "npm:^0.2.0"
rimraf: "npm:^5.0.5"
@@ -6395,13 +6395,13 @@ __metadata:
languageName: unknown
linkType: soft
"@semaphore-protocol/hardhat@npm:4.0.0, @semaphore-protocol/hardhat@workspace:packages/hardhat":
"@semaphore-protocol/hardhat@npm:4.0.2, @semaphore-protocol/hardhat@workspace:packages/hardhat":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/hardhat@workspace:packages/hardhat"
dependencies:
"@nomicfoundation/hardhat-ethers": "npm:^3.0.0"
"@rollup/plugin-typescript": "npm:^11.1.6"
"@semaphore-protocol/contracts": "npm:4.0.0"
"@semaphore-protocol/contracts": "npm:4.0.2"
ethers: "npm:^6.4.0"
hardhat: "npm:^2.19.4"
hardhat-dependency-compiler: "npm:^1.1.3"
@@ -6413,7 +6413,7 @@ __metadata:
languageName: unknown
linkType: soft
"@semaphore-protocol/identity@npm:4.0.0, @semaphore-protocol/identity@workspace:packages/identity":
"@semaphore-protocol/identity@npm:4.0.2, @semaphore-protocol/identity@workspace:packages/identity":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/identity@workspace:packages/identity"
dependencies:
@@ -6431,14 +6431,14 @@ __metadata:
languageName: unknown
linkType: soft
"@semaphore-protocol/proof@npm:4.0.0, @semaphore-protocol/proof@workspace:packages/proof":
"@semaphore-protocol/proof@npm:4.0.2, @semaphore-protocol/proof@workspace:packages/proof":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/proof@workspace:packages/proof"
dependencies:
"@rollup/plugin-alias": "npm:^5.1.0"
"@rollup/plugin-json": "npm:^6.1.0"
"@rollup/plugin-typescript": "npm:^11.1.6"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.2"
"@types/snarkjs": "npm:^0"
"@zk-kit/artifacts": "npm:1.8.0"
"@zk-kit/utils": "npm:1.0.0"
@@ -6449,12 +6449,12 @@ __metadata:
rollup-plugin-cleanup: "npm:^3.2.1"
snarkjs: "npm:0.7.4"
peerDependencies:
"@semaphore-protocol/group": 4.0.0
"@semaphore-protocol/identity": 4.0.0
"@semaphore-protocol/group": 4.0.2
"@semaphore-protocol/identity": 4.0.2
languageName: unknown
linkType: soft
"@semaphore-protocol/utils@npm:4.0.0, @semaphore-protocol/utils@workspace:packages/utils":
"@semaphore-protocol/utils@npm:4.0.2, @semaphore-protocol/utils@workspace:packages/utils":
version: 0.0.0-use.local
resolution: "@semaphore-protocol/utils@workspace:packages/utils"
dependencies:
@@ -8544,12 +8544,12 @@ __metadata:
languageName: node
linkType: hard
"@zk-kit/lean-imt@npm:2.0.1":
version: 2.0.1
resolution: "@zk-kit/lean-imt@npm:2.0.1"
"@zk-kit/lean-imt@npm:2.1.0":
version: 2.1.0
resolution: "@zk-kit/lean-imt@npm:2.1.0"
dependencies:
"@zk-kit/utils": "npm:1.0.0"
checksum: 10/33d03a20c3ce6270036d4cc0a96100b4f6e17f373688595937d2a0863883562b648a768c11ab938fd83ed65d7a70b542db647e3d9e0b5e050c02efc5df0543ce
"@zk-kit/utils": "npm:1.2.0"
checksum: 10/897f88204c9ee548a2a977ef1efac8e4c0d2efdf284c88f759fdefd53b2c51a36b536130eb3241e68bd14e5039bcb8d6d788e7fca46fe442cfa3eceeb9c0eddf
languageName: node
linkType: hard
@@ -20135,10 +20135,10 @@ __metadata:
"@nomicfoundation/hardhat-network-helpers": "npm:^1.0.0"
"@nomicfoundation/hardhat-toolbox": "npm:^4.0.0"
"@nomicfoundation/hardhat-verify": "npm:^2.0.0"
"@semaphore-protocol/contracts": "npm:4.0.0"
"@semaphore-protocol/core": "npm:4.0.0"
"@semaphore-protocol/hardhat": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/contracts": "npm:4.0.2"
"@semaphore-protocol/core": "npm:4.0.2"
"@semaphore-protocol/hardhat": "npm:4.0.2"
"@semaphore-protocol/utils": "npm:4.0.2"
"@typechain/ethers-v6": "npm:^0.5.0"
"@typechain/hardhat": "npm:^9.0.0"
"@types/chai": "npm:^4.2.0"
@@ -20171,9 +20171,9 @@ __metadata:
version: 0.0.0-use.local
resolution: "monorepo-ethers-web-app@workspace:packages/cli-template-monorepo-ethers/apps/web-app"
dependencies:
"@semaphore-protocol/core": "npm:4.0.0"
"@semaphore-protocol/data": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/core": "npm:4.0.2"
"@semaphore-protocol/data": "npm:4.0.2"
"@semaphore-protocol/utils": "npm:4.0.2"
"@types/node": "npm:^20"
"@types/react": "npm:^18"
"@types/react-dom": "npm:^18"
@@ -20198,10 +20198,10 @@ __metadata:
"@nomicfoundation/hardhat-network-helpers": "npm:^1.0.0"
"@nomicfoundation/hardhat-toolbox": "npm:^4.0.0"
"@nomicfoundation/hardhat-verify": "npm:^2.0.0"
"@semaphore-protocol/contracts": "npm:4.0.0"
"@semaphore-protocol/core": "npm:4.0.0"
"@semaphore-protocol/hardhat": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/contracts": "npm:4.0.2"
"@semaphore-protocol/core": "npm:4.0.2"
"@semaphore-protocol/hardhat": "npm:4.0.2"
"@semaphore-protocol/utils": "npm:4.0.2"
"@typechain/ethers-v6": "npm:^0.5.0"
"@typechain/hardhat": "npm:^9.0.0"
"@types/chai": "npm:^4.2.0"
@@ -20234,9 +20234,9 @@ __metadata:
version: 0.0.0-use.local
resolution: "monorepo-subgraph-web-app@workspace:packages/cli-template-monorepo-subgraph/apps/web-app"
dependencies:
"@semaphore-protocol/core": "npm:4.0.0"
"@semaphore-protocol/data": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/core": "npm:4.0.2"
"@semaphore-protocol/data": "npm:4.0.2"
"@semaphore-protocol/utils": "npm:4.0.2"
"@types/node": "npm:^20"
"@types/react": "npm:^18"
"@types/react-dom": "npm:^18"
@@ -24650,7 +24650,7 @@ __metadata:
"@docusaurus/preset-classic": "npm:3.1.1"
"@docusaurus/tsconfig": "npm:3.1.1"
"@mdx-js/react": "npm:^3.0.0"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.2"
"@svgr/webpack": "npm:^5.5.0"
"@types/react": "npm:^18.2.29"
clsx: "npm:^1.2.1"
@@ -24715,7 +24715,7 @@ __metadata:
dependencies:
"@graphprotocol/graph-cli": "npm:0.78.0"
"@graphprotocol/graph-ts": "npm:0.35.1"
"@semaphore-protocol/utils": "npm:4.0.0"
"@semaphore-protocol/utils": "npm:4.0.2"
"@types/mustache": "npm:^4.2.2"
matchstick-as: "npm:0.5.0"
mustache: "npm:^4.2.0"