Topic: "zero-knowledge-proofs"
mimblewimble/grin
Minimal implementation of the Mimblewimble protocol.
Language: Rust - Size: 20.4 MB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 5,075 - Forks: 988
WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1,850 - Forks: 231
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language: Rust - Size: 209 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1,749 - Forks: 600
semaphore-protocol/semaphore
A zero-knowledge protocol for anonymous interactions.
Language: TypeScript - Size: 11.6 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 975 - Forks: 249
arkworks-rs/snark
Interfaces for Relations and SNARKs for these relations
Language: Rust - Size: 2.17 MB - Last synced at: 4 days ago - Pushed at: 6 days ago - Stars: 844 - Forks: 234
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
Language: Rust - Size: 145 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 760 - Forks: 135
firoorg/firo
The privacy-focused cryptocurrency
Language: C++ - Size: 208 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 747 - Forks: 360
lambdaclass/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Language: Rust - Size: 21.9 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 669 - Forks: 154
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
Language: JavaScript - Size: 79.4 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 629 - Forks: 104
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.
Size: 481 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 580 - Forks: 237
LatticeX-Foundation/Rosetta
A Privacy-Preserving Framework Based on TensorFlow
Language: C++ - Size: 16.8 MB - Last synced at: 11 days ago - Pushed at: about 3 years ago - Stars: 556 - Forks: 110
LuozhuZhang/awesome-zkevm
A curated list of awesome zkEVM resources, libraries, tools and more
Size: 114 KB - Last synced at: about 1 hour ago - Pushed at: over 1 year ago - Stars: 474 - Forks: 57
EspressoSystems/jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
Language: Rust - Size: 46.3 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 447 - Forks: 128
o1-labs/proof-systems
The proof systems used by Mina
Language: Rust - Size: 230 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 440 - Forks: 119
ZenGo-X/curv
Rust language general purpose elliptic curve cryptography.
Language: Rust - Size: 1.09 MB - Last synced at: 29 days ago - Pushed at: 10 months ago - Stars: 266 - Forks: 111
scipr-lab/dizk
Java library for distributed zero knowledge proof systems
Language: Java - Size: 175 KB - Last synced at: 12 days ago - Pushed at: about 3 years ago - Stars: 243 - Forks: 70
Manta-Network/Manta
The main repo for manta blockchain nodes.
Language: Rust - Size: 172 MB - Last synced at: 25 days ago - Pushed at: 3 months ago - Stars: 240 - Forks: 124
keep-starknet-strange/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Language: Cairo - Size: 53.7 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 230 - Forks: 76
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.
Language: Rust - Size: 152 MB - Last synced at: about 18 hours ago - Pushed at: about 18 hours ago - Stars: 229 - Forks: 381
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.
Size: 2.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 226 - Forks: 39
sec-bit/zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
Language: Go - Size: 4.1 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 211 - Forks: 37
ing-bank/threshold-signatures 📦
Threshold Signature Scheme for ECDSA
Language: Rust - Size: 1.49 MB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 202 - Forks: 44
supranational/sppark
Zero-knowledge template library
Language: Cuda - Size: 419 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 195 - Forks: 77
snarkify/sirius 📦
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Language: Rust - Size: 1.79 MB - Last synced at: about 9 hours ago - Pushed at: about 2 months ago - Stars: 169 - Forks: 26
CharmsDev/zkbitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!
Language: Rust - Size: 20 MB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 166 - Forks: 32
matter-labs/bellman Fork of zkcrypto/bellman 📦
Bellman zkSNARK library for community with Ethereum's BN256 support
Language: C - Size: 13.5 MB - Last synced at: 9 days ago - Pushed at: 9 months ago - Stars: 161 - Forks: 78
kkrt-labs/kakarot-ssj 📦
Kakarot zkEVM - rewrite in the latest version of Cairo
Language: Cairo - Size: 4.4 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 136 - Forks: 84
mattrglobal/bbs-signatures 📦
An implementation of BBS+ signatures for node and browser environments
Language: TypeScript - Size: 1.33 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 120 - Forks: 28
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
Language: Rust - Size: 109 KB - Last synced at: 14 days ago - Pushed at: almost 2 years ago - Stars: 118 - Forks: 41
eddieoz/haal
Hääl - Anonymous Electronic Voting System on Public Blockchains
Language: JavaScript - Size: 1.42 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 113 - Forks: 17
docknetwork/crypto
Rust crypto library for data privacy tools
Language: Rust - Size: 70.7 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 107 - Forks: 38
agglayer/agglayer
Rust implementation of the Agglayer.
Language: Rust - Size: 10.6 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 98 - Forks: 36
EspressoSystems/cape 📦
Configurable Asset Privacy for Ethereum
Language: Rust - Size: 7.03 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 97 - Forks: 16
VictorColomb/stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Language: Rust - Size: 977 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 94 - Forks: 3
spring-epfl/zksk
Zero-Knowledge Swiss Knife
Language: Python - Size: 567 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 94 - Forks: 23
anoma/masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Language: Rust - Size: 28.7 MB - Last synced at: 23 days ago - Pushed at: about 2 months ago - Stars: 89 - Forks: 24
lovesh/bulletproofs-r1cs-gadgets
Arithmatic circuits convertible to R1CS based on Bulletproofs
Language: Rust - Size: 121 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 21
ora-io/awesome-ora
A curated list of awesome ORA ecosystem.
Size: 152 KB - Last synced at: about 17 hours ago - Pushed at: 2 months ago - Stars: 87 - Forks: 17
adiyoss/WatermarkNN
Watermarking Deep Neural Networks (USENIX 2018)
Language: Python - Size: 15.7 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 86 - Forks: 28
eth-sri/zkay
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
Language: Python - Size: 30.4 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 84 - Forks: 19
0xfuturistic/zkUniswap
🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
Language: Solidity - Size: 2.75 MB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 84 - Forks: 4
HarryR/ethsnarks-miximus
Example project for EthSnarks - Miximus coin mixer
Language: C++ - Size: 122 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 83 - Forks: 22
Manta-Network/manta-rs
Rust Crates for the Manta Network Ecosystem
Language: Rust - Size: 93.1 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 82 - Forks: 47
PaulRBerg/awesome-zkp-starter-pack
A curated collection of links for zero-knowledge proof cryptography used in blockchains
Size: 7.81 KB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 74 - Forks: 7
ZenGo-X/bulletproofs
Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
Language: Rust - Size: 103 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 72 - Forks: 42
sec-bit/ckb-zkp
Zero Knowledge Proofs Toolkit for CKB
Language: Rust - Size: 2.03 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 67 - Forks: 15
keep-starknet-strange/raito
Bitcoin ZK client written in Cairo.
Language: Cairo - Size: 63.4 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 61 - Forks: 41
mattrglobal/node-bbs-signatures 📦
An implementation of BBS+ signatures using rust and typescript for node.js
Language: TypeScript - Size: 1.44 MB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 60 - Forks: 25
LuozhuZhang/zkps-circuit-snark
A zk-SNARK implementation
Language: Solidity - Size: 15.3 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 59 - Forks: 0
o1-labs/zkapp-resource-kit
This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or findings here!
Size: 44.9 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 57 - Forks: 9
clearmatics/zeth
Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
Language: C++ - Size: 22.1 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 27
zhenfeizhang/pasta-solidity
A Solidity implementation of Halo2's Pasta curves
Language: Rust - Size: 261 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 49 - Forks: 2
zkmove/zkmove-lite
A fast zero-knowledge proof friendly Move language runtime environment.
Language: Rust - Size: 290 KB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 48 - Forks: 6
LBruyne/Scalable-Collaborative-zkSNARK
Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
Language: Rust - Size: 2.65 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 46 - Forks: 4
TrustworthyComputing/Zilch
Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
Language: C++ - Size: 26.7 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 43 - Forks: 9
risc0/kailua
The Ultimate ZK Proving Software Suite for Securing OP Rollups
Language: Solidity - Size: 219 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 41 - Forks: 14
zksecurity/zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
Language: Go - Size: 569 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 39 - Forks: 5
KimiWu123/Samples
Samples of Ethereum smart contracts, golang and circom for beginners.
Language: C++ - Size: 18.6 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 38 - Forks: 10
EspressoSystems/veri-zexe
DPC with Universal Setup
Language: Rust - Size: 749 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 35 - Forks: 5
miguelmota/zksnarks-example 📦
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 35 - Forks: 8
osuketh/stark-rust
zk-STARK for fibonacci sequence in Rust
Language: Rust - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 4
LayerXcom/bellman-substrate
A library for supporting zk-SNARKs to Substrate
Language: Rust - Size: 4.08 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 31 - Forks: 10
docknetwork/crypto-wasm-ts
Typescript abstractions over Rust crypto library's WASM wrapper
Language: TypeScript - Size: 14.1 MB - Last synced at: 21 days ago - Pushed at: about 1 month ago - Stars: 30 - Forks: 9
anmolpanwar/E-voting-system-on-blockchain
A trust-less voting system based on blockchain to secure the purpose of democracy.
Language: Python - Size: 67.3 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 29 - Forks: 14
KogarashiNetwork/Kogarashi
凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Language: Rust - Size: 5.9 MB - Last synced at: 13 days ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 4
jarrodwatts/polygon-id
A demo application using Polygon ID to submit ZK proofs of the user's age.
Language: TypeScript - Size: 2.05 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 7
Manta-Network/pallet-manta-pay 📦
A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.
Language: Rust - Size: 204 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 27 - Forks: 7
Concordium/concordium-base
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
Language: Rust - Size: 33.3 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 26 - Forks: 23
AlexiaChen/mpvss-rs
The library implements a simple Publicly Verifiable Secret Sharing(PVSS) scheme in Rust.
Language: Rust - Size: 128 KB - Last synced at: about 5 hours ago - Pushed at: 3 months ago - Stars: 26 - Forks: 4
Blockchain-E-Voting/EthzkSNARK-Voting
Secure E-Voting framework based on Ethereum blockchain and zkSNARK
Language: JavaScript - Size: 4.67 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 26 - Forks: 10
Zhiyi-Zhang/PS-Signature-and-EL-PASSO
A C++ Implementation of Short Randomizable Signatures (PS Signatures) and EL PASSO (Privacy-preserving, Asynchronous Single Sign-On)
Language: C++ - Size: 11.9 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 25 - Forks: 7
xevisalle/zpie
ZPiE: Zero-knowledge Proofs in Embedded systems
Language: C - Size: 137 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 5
keep-starknet-strange/awesome-stwo
A curated list of awesome projects using STWO.
Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 22 - Forks: 5
sec-bit/zkPoD-lib
The underlying core library for zkPoD system
Language: C++ - Size: 8.6 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 5
AntoineRondelet/zerocash-ethereum
Smart contract - Zerocash-like approach for privacy on Ethereum
Size: 454 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 6
AbdelStark/askeladd
Powering Verifiable Computation for Nostr Data Vending Machines.
Language: Rust - Size: 12.8 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 20 - Forks: 3
ora-io/zkgraph 📦
Template for zkGraph.
Language: JavaScript - Size: 622 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 19 - Forks: 8
delta-mpc/delta-docs
Delta Development Documentation
Size: 3.61 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 19 - Forks: 3
weavechain/bulletproofs
A pure Java implementation of Bulletproofs using Ristretto. Bulletproofs: short non-interactive zero-knowledge proofs that require no trusted setup
Language: Java - Size: 162 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 18 - Forks: 1
docknetwork/crypto-wasm
WASM wrapper over the crypto library
Language: Rust - Size: 1.6 MB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 18 - Forks: 7
LuozhuZhang/zksync-era-ETL
Best zkSync-era ETL ever 😜
Language: Python - Size: 69.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 4
Sindri-Labs/sindri-js
Sindri Zero-Knowledge Proof CLI
Language: TypeScript - Size: 4.97 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 17 - Forks: 4
HeikoStamer/libtmcg
LibTMCG is a free C++ library for creating secure and verifiable online card games
Language: C++ - Size: 5.69 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 16 - Forks: 3
Unitychain/zkvote-node
Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network
Language: Go - Size: 88.5 MB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 16 - Forks: 3
AztecProtocol/aztec-crypto-js
AZTEC proof construction library and utility functions
Language: JavaScript - Size: 33.4 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 16 - Forks: 3
openprivacytech/openprivacytech.org
Welcome to our official website
Language: JavaScript - Size: 150 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 19
joshbeal/derecho
A Rust library for proof-carrying disclosures
Language: Rust - Size: 69.3 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 1
sec-bit/zkPoD-contract
Smart contracts for zkPoD Decentralized Exchange
Language: Go - Size: 699 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 1
AvailX/avail-wallet
An open source, private, self-custodial wallet. Built on the Aleo network.
Language: Rust - Size: 8.33 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 3
alxkzmn/zk-atlas
A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
Size: 28.3 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 1
lambdaclass/aleo_minimum_anti_collusion_infrastructure
Aleo's Minimum Anti-Collusion Infrastructure / MACI
Language: Rust - Size: 1.58 MB - Last synced at: about 21 hours ago - Pushed at: almost 3 years ago - Stars: 13 - Forks: 3
adria0/a0kzg
Kate-Zaverucha-Goldberg polynomial commitments in rust playground
Language: Rust - Size: 21.5 KB - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 3
keep-starknet-strange/starkstr
Nostr x STARKs exploration project.
Language: Cairo - Size: 1.15 MB - Last synced at: 7 days ago - Pushed at: 26 days ago - Stars: 12 - Forks: 3
jonas089/stark-math
Research revolving around Stark Math
Size: 281 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 12 - Forks: 1
AbdelStark/cashu-zk-engine
Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
Language: Cairo - Size: 203 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 12 - Forks: 2
roynalnaruto/range_proof
PoC implementation of polynomial commitment scheme based Range Proofs
Language: Rust - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 4
nucypher/numerology
Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity
Language: JavaScript - Size: 739 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 5
weavechain/bulletproofs-gadgets
Bulletproofs Gadgets. Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Language: Java - Size: 177 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 11 - Forks: 1
verificatum/verificatum-vmn
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
Language: Java - Size: 436 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 3
cryptimeleon/craco
CRyptogrAphic COnstructions
Language: Java - Size: 1.87 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 5
