semaphore
Privacy layer
A protocol for anonymous interactions, enabling private group membership and message sending across blockchains without revealing identity.
A zero-knowledge protocol for anonymous interactions.
938 stars
24 watching
221 forks
Language: TypeScript
last commit: about 1 month ago
Linked from 1 awesome list
circomethereumhacktoberfestjavascriptmonorepoproof-of-membershipsemaphoresoliditytypescriptzero-knowledgezero-knowledge-proofszk-snarks
matter-labs/awesome-zero-knowledge-proofsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 stealthdrop/stealthdrop | Anonymizing ERC20 token distributions through Zero-Knowledge proofs and cryptographic signatures | 352 |
 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. | 756 |
 zcash/halo2 | A cryptographic system enabling anonymous transactions in cryptocurrencies | 747 |
 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 | 707 |
 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,836 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,801 |
 deliberative/crypto | A reference implementation of cryptographic operations in WebAssembly and Node.js for secure data exchange and sharing. | 29 |
 ursiform/sleuth | A Go library for peer-to-peer communication between services on the same network | 375 |
 sdiehl/bulletproofs | A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values. | 534 |
 solatis/haskell-network-anonymous-i2p | An API that enables secure and anonymous data communication over the I2P network using Haskell. | 15 |