Decision Workspace
midnight-proofs vs halo2-axiom vs halo2_proofs
Side-by-side comparison of Rust crates
58
midnight-proofs
experimentalv0.8.1
Fast PLONK-based zero-knowledge proving system
64
halo2-axiom
growingv0.5.2
Fast PLONK-based zero-knowledge proving system. This is a fork of <https://github.com/privacy-scaling-explorations/halo2>, which is itself a fork of ZCash's "halo2_proofs" crate. This fork uses the KZG polynomial commitment scheme for the proving backend, which requires a one-time universal trusted setup. Publishing this crate for better versioning in Axiom's production usage.
60
halo2_proofs
growingv0.3.2
Fast PLONK-based zero-knowledge proving system with no trusted setup
Core Metrics
| midnight-proofs | halo2-axiom | halo2_proofs | |
|---|---|---|---|
| Health Score | 58 | 64 | 60 |
| Total Downloads | 106.2K | 279.2K | 2.9M |
| 30d Downloads | 14.8K | 14.7K | 126.0K |
| Dependents | 29 | 10 | 208 |
| Releases | 6 | 12 | 9 |
| Last Updated | 21d ago | 4d ago | 221d ago |
| Age | 8m | 2y 8m | 4y 5m |
Health Breakdown
midnight-proofs
Maintenance
21
Quality
13
Community
9
Popularity
6
Documentation
9
halo2-axiom
Maintenance
18
Quality
14
Community
13
Popularity
7
Documentation
12
halo2_proofs
Maintenance
7
Quality
15
Community
15
Popularity
8
Documentation
15
Technical Details
| midnight-proofs | halo2-axiom | halo2_proofs | |
|---|---|---|---|
| Version | 0.8.1 | 0.5.2 | 0.3.2 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 22 | 27 | 21 |
| Crate Size | 182KB | 210KB | 166KB |
| Features | 7 | 10 | 10 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.76.0 | 1.85.1 | 1.60 |
| Owners | 1 | 2 (team) | 3 |
Links
Quick Verdict
- •halo2-axiom leads with a health score of 64/100, but none of the options score above 80.
- •halo2_proofs has the most downloads (2.9M), suggesting wider adoption.
- •halo2_proofs is depended on by 208 crates — strongest ecosystem trust.