Decision Workspace
halo2_proofs vs halo2-axiom vs midnight-proofs
Side-by-side comparison of Rust crates
60
halo2_proofs
growingv0.3.2
Fast PLONK-based zero-knowledge proving system with no trusted setup
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.
58
midnight-proofs
experimentalv0.8.1
Fast PLONK-based zero-knowledge proving system
Core Metrics
| halo2_proofs | halo2-axiom | midnight-proofs | |
|---|---|---|---|
| Health Score | 60 | 64 | 58 |
| Total Downloads | 2.9M | 279.2K | 106.2K |
| 30d Downloads | 126.0K | 14.7K | 14.8K |
| Dependents | 208 | 10 | 29 |
| Releases | 9 | 12 | 6 |
| Last Updated | 221d ago | 4d ago | 21d ago |
| Age | 4y 5m | 2y 8m | 8m |
Health Breakdown
halo2_proofs
Maintenance
7
Quality
15
Community
15
Popularity
8
Documentation
15
halo2-axiom
Maintenance
18
Quality
14
Community
13
Popularity
7
Documentation
12
midnight-proofs
Maintenance
21
Quality
13
Community
9
Popularity
6
Documentation
9
Technical Details
| halo2_proofs | halo2-axiom | midnight-proofs | |
|---|---|---|---|
| Version | 0.3.2 | 0.5.2 | 0.8.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 21 | 27 | 22 |
| Crate Size | 166KB | 210KB | 182KB |
| Features | 10 | 10 | 7 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.60 | 1.85.1 | 1.76.0 |
| Owners | 3 | 2 (team) | 1 |
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.