tdln-proof 0.1.1

TDLN — proof bundle (deterministic translation proof + optional DV25 signatures).
Documentation 
1
2
3
4
5
6
7
8

# tdln-proof

[![docs.rs](https://docs.rs/tdln-proof/badge.svg)](https://docs.rs/tdln-proof)
![license](https://img.shields.io/badge/license-MIT-blue.svg)
![MSRV](https://img.shields.io/badge/MSRV-1.75%2B-informational)

Proof bundle for **TDLN**: binds AST and canonical bytes with deterministic rule set.
Optional signatures (Ed25519 / DV25) can be attached via features.