Back to Topics Directory
Topic Hub

#zero-knowledge-proofs (8 Repositories)

Ranked open-source repositories tagged with #zero-knowledge-proofs, scored by pull request acceptance likelihood and maintainer engagement velocity.

Topic Avg Merge Rate

63.5%

Avg Review Latency

8.0h

Filter by language

8 repositories tagged #zero-knowledge-proofs

S TierTypeScript 224

polytope-labs/hyperbridge

Hyperbridge scales verifiable interoperability

87.0%
Merge Rate
11h
First Review
80%
1st-Timers
6
Maintainers
A TierRust 1.9k

starkware-libs/cairo

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

78.2%
Merge Rate
23h
First Review
45%
1st-Timers
6
Maintainers
A TierRust 118

agglayer/agglayer

Rust implementation of the Agglayer.

77.2%
Merge Rate
-
First Review
83%
1st-Timers
7
Maintainers
A TierRust 459

o1-labs/proof-systems

The proof systems used by Mina

53.6%
Merge Rate
1d
First Review
50%
1st-Timers
5
Maintainers
B TierRust 738

lambdaclass/lambdaworks

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

66.7%
Merge Rate
<1h
First Review
100%
1st-Timers
1
Maintainers
B TierRust 5.1k

mimblewimble/grin

Minimal implementation of the Mimblewimble protocol.

45.5%
Merge Rate
1h
First Review
100%
1st-Timers
4
Maintainers
B TierRust 874

microsoft/Spartan

Spartan: High-speed zkSNARKs without trusted setup

100.0%
Merge Rate
<1h
First Review
0%
1st-Timers
1
Maintainers
D TierRust 917

arkworks-rs/snark

Interfaces for Relations and SNARKs for these relations

0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers