semaphore
Prover
Enables anonymous interactions by providing a way to prove membership in groups and send messages without revealing personal identity.
A zero-knowledge protocol for anonymous interactions.
916 stars
23 watching
203 forks
Language: TypeScript
last commit: 21 days ago
Linked from 1 awesome list
circomethereumhacktoberfestjavascriptmonorepoproof-of-membershipsemaphoresoliditytypescriptzero-knowledgezero-knowledge-proofszk-snarks
Related projects:
Repository | Description | Stars |
---|---|---|
stealthdrop/stealthdrop | Anonymizing ERC20 token distributions through Zero-Knowledge proofs and cryptographic signatures | 350 |
encryptogroup/tasty | Automates efficient Secure Two-partY computation protocols using garbled circuits and homomorphic encryption techniques | 10 |
luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
a16z/zkdrops | A system allowing users to claim tokens after providing a commitment over a public channel and later proving membership in a Merkle tree using a zero-knowledge proof. | 754 |
zcash/halo2 | A cryptographic system enabling anonymous transactions in cryptocurrencies | 743 |
ethereum/cbc-casper | A Python implementation of a class of 'correct-by-construction' consensus protocols. | 229 |
microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |
zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
deliberative/crypto | A reference implementation of cryptographic operations in WebAssembly and Node.js for secure data exchange and sharing. | 28 |
ursiform/sleuth | A Go library for peer-to-peer communication between services on the same network | 373 |
sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 535 |
solatis/haskell-network-anonymous-i2p | An API that enables secure and anonymous data communication over the I2P network using Haskell. | 15 |