The primary English specifications for Tendermint data structures can be found in the tendermint/spec repository.
This repository contains English and TLA+ specifications for the following protocols:
- Fast Sync - Block synchronization protocol
- Light Client - Light client verification, fork detection, and fork accountability protocols