tdln-proof
| Crates.io | tdln-proof |
| lib.rs | tdln-proof |
| version | 0.1.1 |
| created_at | 2026-01-09 20:29:06.243707+00 |
| updated_at | 2026-01-10 16:06:24.428432+00 |
| description | TDLN — proof bundle (deterministic translation proof + optional DV25 signatures). |
| homepage | https://logline.foundation |
| repository | https://github.com/LogLine-Foundation/logline-workspace |
| max_upload_size | |
| id | 2032782 |
| size | 22,006 |
(danvoulez)
documentation
https://docs.rs/tdln-proof
README
tdln-proof
Proof bundle for TDLN: binds AST and canonical bytes with deterministic rule set. Optional signatures (Ed25519 / DV25) can be attached via features.