spec: Minor updates to spec merge PR (#7835)

Signed-off-by: Thane Thomson <connect@thanethomson.com>
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
This commit is contained in:
Thane Thomson
2022-02-20 11:36:20 -08:00
committed by GitHub
co-authored by Callum Waters
parent d65237ff87
commit abdf717761
5 changed files with 11 additions and 7 deletions
@@ -192,8 +192,8 @@ enum EvidenceType {
```
There are two forms of evidence: Duplicate Vote and Light Client Attack. More
information can be found in either [data structures](https://github.com/tendermint/spec/blob/master/spec/core/data_structures.md)
or [accountability](https://github.com/tendermint/spec/blob/master/spec/light-client/accountability/)
information can be found in either [data structures](../core/data_structures.md)
or [accountability](../light-client/accountability/)
## Vote Extensions
@@ -261,7 +261,7 @@ This specification describes the changes needed to be done to the Tendermint con
[proposertla]: ../tla/TendermintPBT_001_draft.tla
[bfttime]: https://github.com/tendermint/spec/blob/master/spec/consensus/bft-time.md
[bfttime]: ../../bft-time.md
[tlatender]: https://github.com/tendermint/spec/blob/master/rust-spec/tendermint-accountability/README.md
[lcspec]: https://github.com/tendermint/spec/tree/master/spec/light-client
[lcspec]: ../../light-client/
[arXiv]: https://arxiv.org/abs/1807.04938