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.

GitHub

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

Backlinks from these awesome lists:

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