Decision Workspace
sha3-circuit vs halo2-axiom vs halo2_proofs
Side-by-side comparison of Rust crates
44
sha3-circuit
experimentalv0.2.0
Lookup based midnight-proofs (halo2 fork) implementation of keccak-f[1600] permutation and gadgets for the sha3-256 and keccak-256 hash functions.
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
| sha3-circuit | halo2-axiom | halo2_proofs | |
|---|---|---|---|
| Health Score | 44 | 64 | 60 |
| Total Downloads | 106.5K | 279.2K | 2.9M |
| 30d Downloads | 14.8K | 14.7K | 126.0K |
| Dependents | 15 | 10 | 208 |
| Releases | 2 | 12 | 9 |
| Last Updated | 74d ago | 4d ago | 221d ago |
| Age | 6m | 2y 8m | 4y 5m |
Health Breakdown
sha3-circuit
Maintenance
13
Quality
10
Community
8
Popularity
6
Documentation
7
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
| sha3-circuit | halo2-axiom | halo2_proofs | |
|---|---|---|---|
| Version | 0.2.0 | 0.5.2 | 0.3.2 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 9 | 27 | 21 |
| Crate Size | 795KB | 210KB | 166KB |
| Features | 0 | 10 | 10 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | 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.