Statistics for topic zero-knowledge-proofs

RepositoryStats tracks 595,856 Github repositories, of these 58 are tagged with the zero-knowledge-proofs topic. The most common primary language for repositories using this topic is Rust (28).

Stargazers over time for topic zero-knowledge-proofs

Most starred repositories for topic zero-knowledge-proofs (view more)

mimblewimble
grin mimblewimble
988
5.1k
apache-2.0
397
Minimal implementation of the Mimblewimble protocol.
grin rust cryptography mimblewimble cryptocurrency zero-knowledge-proofs
Created 2016-10-21
2,539 commits to master branch, last one 24 days ago
WTFAcademy
WTF-zk WTFAcademy
203
1.7k
mit
15
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
zk zkp snark stark bitcoin zkproof ethereum zksnarks blockchain cryptography group-theory number-theory zero-knowledge elliptic-curves abstract-algebra zero-knowledge-proofs elliptic-curve-cryptography
Created 2023-11-29
519 commits to main branch, last one 2 months ago
starkware-libs
cairo starkware-libs
518
1.6k
apache-2.0
19
Cairo is the first Turing-complete language for creating provable programs for general computation.
zkp cairo starknet zero-knowledge-proofs computational-integrity
Created 2022-05-19
6,205 commits to main branch, last one 22 hours ago
semaphore-protocol
semaphore semaphore-protocol
223
939
mit
23
A zero-knowledge protocol for anonymous interactions.
circom ethereum monorepo solidity semaphore zk-snarks javascript typescript hacktoberfest zero-knowledge proof-of-membership zero-knowledge-proofs
Created 2019-04-05
1,816 commits to main branch, last one 3 days ago
arkworks-rs
snark arkworks-rs
216
800
apache-2.0
38
Interfaces for Relations and SNARKs for these relations
r1cs cryptography zero-knowledge-proofs
Created 2019-04-01
500 commits to master branch, last one 5 months ago
firoorg
firo firoorg
354
727
mit
99
The privacy-focused cryptocurrency
p2p zkp sigma zcoin privacy lelantus zerocoin blockchain merkle-tree cryptography asic-resistant cryptocurrency zero-knowledge zero-knowledge-proofs merkle-tree-proof-of-work
Created 2016-09-09
17,544 commits to master branch, last one 21 days ago

Trending repositories for topic zero-knowledge-proofs (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
snarkify
snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

146 (+2)
mit
starkware-libs
starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

1,633 (+1)
apache-2.0
firoorg
firoorg/firo

The privacy-focused cryptocurrency

727 (+0)
mit
Last 3 days (relative gain)
snarkify
snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

146 (+1%)
mit
starkware-libs
starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

1,633 (+0.1%)
apache-2.0
firoorg
firoorg/firo

The privacy-focused cryptocurrency

727 (+0.0%)
mit
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
WTFAcademy
WTFAcademy/WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

1,683 (+13)
mit
starkware-libs
starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

1,633 (+10)
apache-2.0
yetanotherco
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.

186 (+9)
mit
snarkify
snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

146 (+5)
mit
microsoft
microsoft/Spartan

Spartan: High-speed zkSNARKs without trusted setup

708 (+4)
mit
Last week (relative gain)
lattice-complete
lattice-complete/Lazarus

A Framework of Lattice-based Zero-knowledge Arguments in Rust

33 (+6%)
apache-2.0
yetanotherco
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.

186 (+5%)
mit
snarkify
snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

146 (+4%)
mit
Raiders0786
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.

161 (+1%)
o1-labs
o1-labs/proof-systems

The proof systems used by Mina

419 (+0.7%)
apache-2.0
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
WTFAcademy
WTFAcademy/WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

1,683 (+46)
mit
yetanotherco
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.

186 (+39)
mit
Raiders0786
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.

161 (+37)
starkware-libs
starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

1,633 (+27)
apache-2.0
semaphore-protocol
semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

939 (+19)
mit
Last month (relative gain)
lattice-complete
lattice-complete/Lazarus

A Framework of Lattice-based Zero-knowledge Arguments in Rust

33 (+106%)
apache-2.0
Raiders0786
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.

161 (+30%)
yetanotherco
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.

186 (+27%)
mit
keep-starknet-strange
keep-starknet-strange/raito

Bitcoin ZK client written in Cairo.

49 (+14%)
mit
snarkify
snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

146 (+13%)
mit
Last 12-months (new repositories)
yetanotherco
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.

186
mit
Raiders0786
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.

161
LuozhuZhang
LuozhuZhang/zksync-era-ETL

Best zkSync-era ETL ever 😜

132
zksecurity
zksecurity/zkBank

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

107
keep-starknet-strange
keep-starknet-strange/raito

Bitcoin ZK client written in Cairo.

49
mit
Last 12-months (absolute gain)
WTFAcademy
WTFAcademy/WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

1,683 (+1,619)
mit
starkware-libs
starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

1,633 (+382)
apache-2.0
lambdaclass
lambdaclass/lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

631 (+191)
apache-2.0
yetanotherco
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.

186 (+183)
mit
Raiders0786
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.

161 (+160)
Last 12-months (relative gain)
WTFAcademy
WTFAcademy/WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

1,683 (+2,530%)
mit
sigma0-dev
sigma0-dev/zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!

165 (+432%)
mit
keep-starknet-strange
keep-starknet-strange/raito

Bitcoin ZK client written in Cairo.

49 (+308%)
mit
ora-io
ora-io/awesome-ora

A curated list of awesome ORA ecosystem.

92 (+163%)
snarkify
snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

146 (+147%)
mit