zero-knowledge-proofs

There are 45 repositories under zero-knowledge-proofs topic.

mimblewimble / grin
Minimal implementation of the Mimblewimble protocol.
mimblewimble rust cryptocurrency cryptography zero-knowledge-proofs grin
Language:Rust 5040
starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo computational-integrity starknet zero-knowledge-proofs zkp
Language:Rust 1389
semaphore
semaphore-protocol / semaphore
A zero-knowledge protocol for anonymous interactions.
zero-knowledge ethereum zero-knowledge-proofs zk-snarks circom solidity semaphore javascript monorepo typescript proof-of-membership
Language:TypeScript 835
arkworks-rs / snark
Interfaces for Relations and SNARKs for these relations
cryptography r1cs zero-knowledge-proofs
Language:Rust 745
firo
firoorg / firo
The privacy-focused cryptocurrency
zcoin blockchain zero-knowledge privacy zerocoin merkle-tree merkle-tree-proof-of-work asic-resistant sigma zkp zero-knowledge-proofs cryptography cryptocurrency p2p lelantus
Language:C++ 703
AztecProtocol / aztec-v1
Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty
protocol zero-knowledge-proofs ethereum aztec ethereum-blockchain blockchain privacy confidentiality
Language:JavaScript 633
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library nizk rust-library verifiable-computing zero-knowledge-proofs zksnarks
Language:Rust 630
baseline
eea-oasis / baseline
The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.
ethereum reactjs nodejs smart-contracts solidity zk-snarks geth graphql docker docker-compose gnark zero-knowledge-proofs protocol
572
LatticeX-Foundation / Rosetta
A Privacy-Preserving Framework Based on TensorFlow
federated-learning homomorphic-encryption privacy-preserving-machine-learning secure-computation secure-multiparty-computation zero-knowledge-proofs
Language:C++ 553
lambdaclass / lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
cryptography mathematics zero-knowledge-proofs
Language:Rust 549
LuozhuZhang / awesome-zkevm
A curated list of awesome zkEVM resources, libraries, tools and more
scaling layer2 evm smart-contract solidity zkevm awesome awesome-list zero-knowledge-proofs zk-rollup native-zkevm
469
o1-labs / proof-systems
The proof systems used by Mina
plonk zero-knowledge-proofs kimchi zksnarks bulletproofs recursive-zkps
Language:Rust 366
EspressoSystems / jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
plonk rust zero-knowledge-proofs
Language:Rust 354
ZenGo-X / curv
Rust language general purpose elliptic curve cryptography.
rust cryptography elliptic-curves bignumber zero-knowledge-proofs
Language:Rust 265
Manta-Network / Manta
The main repo for manta blockchain nodes.
substrate manta zero-knowledge-proofs rust blockchain polkadot crytpocurrency kusama
Language:Rust 234
scipr-lab / dizk
Java library for distributed zero knowledge proof systems
cryptography zero-knowledge-proofs distributed-computing zksnarks
Language:Java 228
ing-bank / threshold-signatures
Threshold Signature Scheme for ECDSA
bitcoin-transaction cryptocurrency cryptography ecdsa ethereum homomorphic-encryption rust secure-multi-party-computation zero-knowledge-proofs
Language:Rust 198
sec-bit / zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
zero-knowledge-proofs privacy decentralized-internet confidentiality fair-exchange data-exchange
Language:Go 198
Quillhash / Zero-Knowledge-Mastery
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
ethereum zero-knowledge-proofs zk-snarks zkp zksync
161
sigma0-xyz / zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
bitcoin zero-knowledge-proofs
Language:Rust 159
supranational / sppark
Zero-knowledge template library
cuda bls12-377 bls12-381 pasta-curves zero-knowledge zero-knowledge-proofs zk-snarks zk-starks ntt
Language:Cuda 159
matter-labs / bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
zero-knowledge zero-knowledge-proofs zksnarks zksnark zkp bellman rust team-crypto
Language:C 148
keep-starknet-strange / garaga
Efficient pairing library, written in Cairo 🐺.
cairo-lang elliptic-curve-cryptography elliptic-curves pairing snarks starknet starks zero-knowledge zero-knowledge-proofs zk-snarks zkp
Language:Cairo 134
LuozhuZhang / zksync-era-ETL
Best zkSync-era ETL ever 😜
data-engineering ethereum etl evm solidity zero-knowledge-proofs zk-rollups zksync zksync-era zksync-v2
Language:Python 126
kkrt-labs / kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
cairo-lang starknet zero-knowledge-proofs zkevm
Language:Cairo 108
ZenGo-X / zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
paillier secure-computation zero-knowledge-proofs
Language:Rust 108
mattrglobal / bbs-signatures
An implementation of BBS+ signatures for node and browser environments
cryptography digital-signature zero-knowledge-proofs wasm nucleus assurance
Language:TypeScript 102
eddieoz / haal
Hääl - Anonymous Electronic Voting System on Public Blockchains
e-voting blockchain ethereum zero-knowledge-proofs smart-contracts electronic-voting voting-system dapp zk-snarks homomorphic-encryption stealth-wallets digital-signatures blockchains protocol whitepaper ganache proof votes
Language:JavaScript 100
VictorColomb / stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
snark stark zero-knowledge zero-knowledge-proofs cryptography
Language:Rust 99
EspressoSystems / cape
Configurable Asset Privacy for Ethereum
solidity smart-contracts zero-knowledge-proofs rust ethereum
Language:Rust 91
sdiehl / zkp
A framework to execute and verify algorithms using Groth16 zkSNARKs.
zero-knowledge zero-knowledge-proofs zksnark zkp bn254 arithmetic-circuits zk-snarks
Language:Haskell 89
spring-epfl / zksk
Zero-Knowledge Swiss Knife
zero-knowledge-proofs
Language:Python 88
adiyoss / WatermarkNN
Watermarking Deep Neural Networks (USENIX 2018)
neural-networks watermak zero-knowledge-proofs backdooring deep-learning
Language:Python 86
masp
anoma / masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
blockchain decentralization masp namada privacy zero-knowledge-proofs
Language:Rust 84
HarryR / ethsnarks-miximus
Example project for EthSnarks - Miximus coin mixer
anonymity cryptocurrency ethereum ethsnarks mixer privacy zero-knowledge-proofs zk-snarks
Language:C++ 81
Manta-Network / manta-rs
Rust Crates for the Manta Network Ecosystem
manta rust eclair openzl zero-knowledge-proofs
Language:Rust 81