tdln-proof 0.1.0

TDLN — proof bundle (deterministic translation proof + optional DV25 signatures).
Documentation