https://github.com/cometbft/cometbft/blob/1bdb7c5604e976a39c266a7a6251f652c83c1787/spec/light-client/accountability/TendermintAcc_004_draft.tla
cometbft/spec/light-client/accountability/TendermintAcc_004_draft.tla at...
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core. -...
cometbftspeclightclientaccountability
https://advisories.gitlab.com/pkg/golang/github.com/cometbft/cometbft/light/GHSA-g5xx-c4hv-9ccc/
https://advisories.gitlab.com/golang/github.com/cometbft/cometbft/light/GHSA-g5xx-c4hv-9ccc/
httpsadvisoriesgitlabgolanggithub