zero-knowledge-proofs

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

mimblewimble / grin
Minimal implementation of the Mimblewimble protocol.
cryptocurrency cryptography grin mimblewimble rust zero-knowledge-proofs
Language:Rust 5071
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 1822
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 1713
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 963
arkworks-rs / snark
Interfaces for Relations and SNARKs for these relations
cryptography r1cs zero-knowledge-proofs
Language:Rust 826
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library zero-knowledge-proofs zksnarks verifiable-computing nizk rust-library
Language:Rust 752
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++ 741
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 664
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
aztec blockchain confidentiality ethereum ethereum-blockchain privacy protocol zero-knowledge-proofs
Language:JavaScript 630
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.
docker docker-compose ethereum geth gnark graphql nodejs protocol reactjs smart-contracts solidity zero-knowledge-proofs zk-snarks
578
LatticeX-Foundation / Rosetta
A Privacy-Preserving Framework Based on TensorFlow
privacy-preserving-machine-learning secure-multiparty-computation homomorphic-encryption zero-knowledge-proofs federated-learning secure-computation
Language:C++ 554
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
472
o1-labs / proof-systems
The proof systems used by Mina
bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks
Language:Rust 432
EspressoSystems / jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
plonk rust zero-knowledge-proofs
Language:Rust 430
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.
blockchain crytpocurrency kusama manta polkadot rust substrate zero-knowledge-proofs
Language:Rust 241
scipr-lab / dizk
Java library for distributed zero knowledge proof systems
cryptography distributed-computing zero-knowledge-proofs zksnarks
Language:Java 240
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
225
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:Elixir 220
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 216
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 211
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
204
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
bls12-377 bls12-381 cuda ntt pasta-curves rocm zero-knowledge zero-knowledge-proofs zk-snarks zk-starks
Language:Cuda 190
CharmsDev / zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
bitcoin zero-knowledge-proofs
Language:Rust 166
snarkify / sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
cryptography ivc nova proof-system protostar zero-knowledge-proofs zkp
Language:Rust 164
matter-labs / bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
bellman rust team-crypto zero-knowledge zero-knowledge-proofs zkp zksnark zksnarks
Language:C 160
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 139
kkrt-labs / kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
cairo-lang starknet zero-knowledge-proofs zkevm
Language:Cairo 136
mattrglobal / bbs-signatures
An implementation of BBS+ signatures for node and browser environments
cryptography digital-signature zero-knowledge-proofs wasm nucleus assurance
Language:TypeScript 120
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 113
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 103
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 102
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 99
agglayer / agglayer
Rust implementation of the Agglayer.
blockchain blockchain-bridge rust zero-knowledge-proofs
Language:Rust 98