Decision Workspace
vauban-claim-verifier vs p3q-verifier vs vauban-claim
Side-by-side comparison of Rust crates
46
vauban-claim-verifier
experimentalv0.1.0
Forensic verifier for Vauban Claim Algebra (OSS-13). Offline, zero-Vauban-dependency, Apache 2.0.
42
p3q-verifier
experimentalv0.0.1
P3Q strict-PQ STARK+FRI verifier — panic-free, audit-gated.
40
vauban-claim
experimentalv0.1.0
Vauban Claim Algebra — reference implementation of draft-vauban-claim-algebra-00 (post-quantum claim sextuplet + 5 composition operators, canonical CBOR/JSON codec).
Core Metrics
| vauban-claim-verifier | p3q-verifier | vauban-claim | |
|---|---|---|---|
| Health Score | 46 | 42 | 40 |
| Total Downloads | 20 | 41 | 18 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 0 | 1 | 0 |
| Releases | 1 | 1 | 1 |
| Last Updated | 62d ago | 64d ago | 62d ago |
| Age | 2m | 2m | 2m |
Health Breakdown
vauban-claim-verifier
Maintenance
9
Quality
14
Community
6
Popularity
2
Documentation
15
p3q-verifier
Maintenance
9
Quality
13
Community
6
Popularity
2
Documentation
12
vauban-claim
Maintenance
9
Quality
8
Community
6
Popularity
2
Documentation
15
Technical Details
| vauban-claim-verifier | p3q-verifier | vauban-claim | |
|---|---|---|---|
| Version | 0.1.0 | 0.0.1 | 0.1.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 OR MIT | MIT OR Apache-2.0 | Apache-2.0 OR MIT |
| Dependencies | 13 | 7 | 11 |
| Crate Size | 23KB | 4KB | 80KB |
| Features | 4 | 0 | 4 |
| Yanked % | 0.0% | 0.0% | 100.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.75 | 1.79 | 1.75 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •vauban-claim-verifier leads with a health score of 46/100, but none of the options score above 80.
- •p3q-verifier has the most downloads (41), suggesting wider adoption.