Decision Workspace
oxiz-proof vs praborrow-prover vs northroot-proof-engine
Side-by-side comparison of Rust crates
45
oxiz-proof
experimentalv0.1.3
Proof generation and checking for OxiZ SMT solver
55
praborrow-prover
experimentalv1.2.2
SMT-based formal verification for PraBorrow. Interfaces with Z3 theorem prover to mathematically validate Constitution invariants.
47
northroot-proof-engine
experimentalv0.3.2
Core proof computation and validation library for PoSH (Proof of Shape) and PoX (Proof of Execution)
Core Metrics
| oxiz-proof | praborrow-prover | northroot-proof-engine | |
|---|---|---|---|
| Health Score | 45 | 55 | 47 |
| Total Downloads | 152 | 446 | 107 |
| 30d Downloads | 44 | 50 | 6 |
| Dependents | 5 | 33 | 0 |
| Releases | 4 | 20 | 4 |
| Last Updated | 50d ago | 73d ago | 141d ago |
| Age | 2m | 2m | 4m |
Health Breakdown
oxiz-proof
Maintenance
11
Quality
13
Community
8
Popularity
3
Documentation
10
praborrow-prover
Maintenance
15
Quality
17
Community
10
Popularity
3
Documentation
10
northroot-proof-engine
Maintenance
17
Quality
12
Community
6
Popularity
2
Documentation
10
Technical Details
| oxiz-proof | praborrow-prover | northroot-proof-engine | |
|---|---|---|---|
| Version | 0.1.3 | 1.2.2 | 0.3.2 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✗ No |
| License | Apache-2.0 | MIT | MIT |
| Dependencies | 13 | 10 | 12 |
| Crate Size | 160KB | 28KB | 58KB |
| Features | 3 | 3 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2021 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •praborrow-prover leads with a health score of 55/100, but none of the options score above 80.
- •oxiz-proof, northroot-proof-engine are pre-1.0 — API may change.