Decision Workspace
tdln-ast vs tdln-proof vs sacp-cbor
Side-by-side comparison of Rust crates
51
tdln-ast
experimentalv0.1.1
TDLN — canonical AST for deterministic, proof-carrying translation (NL/DSL → Logical Atom).
50
tdln-proof
experimentalv0.1.1
TDLN — proof bundle (deterministic translation proof + optional DV25 signatures).
60
sacp-cbor
experimentalv0.17.6
SACP-CBOR/1: strict deterministic CBOR validation and canonical encoding (hot-path optimized, no_std-capable).
Core Metrics
| tdln-ast | tdln-proof | sacp-cbor | |
|---|---|---|---|
| Health Score | 51 | 50 | 60 |
| Total Downloads | 840 | 672 | 5.6K |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 12 | 6 | 13 |
| Releases | 2 | 2 | 30 |
| Last Updated | 184d ago | 184d ago | 7d ago |
| Age | 6m | 6m | 5m |
Health Breakdown
tdln-ast
Maintenance
9
Quality
15
Community
9
Popularity
3
Documentation
15
tdln-proof
Maintenance
9
Quality
15
Community
8
Popularity
3
Documentation
15
sacp-cbor
Maintenance
19
Quality
16
Community
9
Popularity
4
Documentation
12
Technical Details
| tdln-ast | tdln-proof | sacp-cbor | |
|---|---|---|---|
| Version | 0.1.1 | 0.1.1 | 0.17.6 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT | MIT | MIT |
| Dependencies | 5 | 8 | 7 |
| Crate Size | 8KB | 8KB | 130KB |
| Features | 3 | 5 | 11 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.75 | 1.75 | 1.75 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •sacp-cbor leads with a health score of 60/100, but none of the options score above 80.