tdln-proof 0.1.1

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