zero-knowledge-proofs

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

mimblewimble / grin
Minimal implementation of the Mimblewimble protocol.
cryptocurrency cryptography grin mimblewimble rust zero-knowledge-proofs
Language:Rust 5055
WTFAcademy / WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
abstract-algebra bitcoin blockchain cryptography elliptic-curve-cryptography elliptic-curves ethereum group-theory number-theory snark stark zero-knowledge zero-knowledge-proofs zk zkp zkproof zksnarks
Language:Jupyter Notebook 1684
starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
starknet zero-knowledge-proofs zkp computational-integrity cairo
Language:Rust 1634
semaphore
semaphore-protocol / semaphore
A zero-knowledge protocol for anonymous interactions.
circom ethereum hacktoberfest javascript monorepo proof-of-membership semaphore solidity typescript zero-knowledge zero-knowledge-proofs zk-snarks
Language:TypeScript 939
arkworks-rs / snark
Interfaces for Relations and SNARKs for these relations
cryptography r1cs zero-knowledge-proofs
Language:Rust 800
firo
firoorg / firo
The privacy-focused cryptocurrency
asic-resistant blockchain cryptocurrency cryptography lelantus merkle-tree merkle-tree-proof-of-work p2p privacy sigma zcoin zero-knowledge zero-knowledge-proofs zerocoin zkp
Language:C++ 727
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library zero-knowledge-proofs zksnarks verifiable-computing nizk rust-library
Language:Rust 708
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 631
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 629
baseline
ethereum-oasis-op / 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
577
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++ 566
LuozhuZhang / awesome-zkevm
A curated list of awesome zkEVM resources, libraries, tools and more
awesome awesome-list evm layer2 native-zkevm scaling smart-contract solidity zero-knowledge-proofs zk-rollup zkevm
483
o1-labs / proof-systems
The proof systems used by Mina
bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks
Language:Rust 419
EspressoSystems / jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
zero-knowledge-proofs rust plonk
Language:Rust 412
ZenGo-X / curv
Rust language general purpose elliptic curve cryptography.
bignumber cryptography elliptic-curves rust 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 238
scipr-lab / dizk
Java library for distributed zero knowledge proof systems
cryptography distributed-computing zero-knowledge-proofs zksnarks
Language:Java 237
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
217
keep-starknet-strange / garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
cairo-lang elliptic-curve-cryptography elliptic-curves pairing snarks starknet starks zero-knowledge zero-knowledge-proofs zk-snarks zkp
Language:Cairo 210
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 207
ing-bank / threshold-signatures
Threshold Signature Scheme for ECDSA
ecdsa secure-multi-party-computation cryptocurrency cryptography ethereum bitcoin-transaction zero-knowledge-proofs homomorphic-encryption rust
Language:Rust 202
supranational / sppark
Zero-knowledge template library
cuda bls12-377 bls12-381 pasta-curves zero-knowledge zero-knowledge-proofs zk-snarks zk-starks ntt rocm
Language:Cuda 188
yetanotherco / aligned_layer
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
eigenlayer ethereum restaking zero-knowledge-proofs
Language:Rust 183
sigma0-dev / zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
bitcoin zero-knowledge-proofs
Language:Rust 165
Raiders0786 / web3-security-resources
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
bugbounty ctf-challenges cybersecurity defi-security formal-verification roadmaps security-best-practices smart-contract-security web3 web3-security web3-solidity web3-tools zero-knowledge-proofs smart-contract-auditing web3-audit-reports
162
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 160
snarkify / sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
cryptography proof-system zero-knowledge-proofs zkp ivc nova protostar
Language:Rust 145
kkrt-labs / kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
cairo-lang starknet zero-knowledge-proofs zkevm
Language:Cairo 136
LuozhuZhang / zksync-era-ETL
Best zkSync-era ETL ever 😜
data-engineering ethereum etl evm solidity zero-knowledge-proofs zksync zksync-era zksync-v2 zk-rollups
Language:Python 132
mattrglobal / bbs-signatures
An implementation of BBS+ signatures for node and browser environments
cryptography digital-signature zero-knowledge-proofs wasm nucleus assurance
Language:TypeScript 118
ZenGo-X / zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
paillier secure-computation zero-knowledge-proofs
Language:Rust 114
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 108
zksecurity / zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
ctf gkr gnark zero-knowledge-proofs zk zksecurity
Language:Go 106
VictorColomb / stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
cryptography snark stark zero-knowledge zero-knowledge-proofs
Language:Rust 102
EspressoSystems / cape
Configurable Asset Privacy for Ethereum
solidity smart-contracts zero-knowledge-proofs rust ethereum
Language:Rust 97
docknetwork / crypto
Rust crypto library for data privacy tools
cryptography accumulator zero-knowledge-proofs signatures anonymous-credentials distributed-key-generation dkg schnorr zk-snarks oblivious-transfer secret-sharing verifiable-secret-sharing delegatable-credentials group-signatures sigma-protocol threshold-signatures structure-preserving-signatures publicly-verifiable-secret-sharing range-proofs verifiable-encryption
Language:Rust 95