Peter Bourgon

Tendermint implements a formally defined and theoretically sound BFT consensus protocol. The implementation has been tested and verified. Importantly, it's robust in the presence of software faults. That is, if...

> the states changes observed by listeners are the same data feed into IAVL tree. ``` +---+ +------+ change-->| x |-->| IAVL | | | +------+ | | +-----------+ +----+...

> > But it is not possible to guarantee that IAVL and DB will receive equivalent information. > > I think I just need a concrete counter example to be...

> > adding `Condition condition = 3` is backward incompatible > > adding `optional Condition condition = 3` is backward compatible > > How does adding optional vs excluding it...

> > * if foo v2 adds new optional field, then it will accept foo v1 object/ > > * if foo v2 adds new non optional field with excluding...

Compatibility is a property that exists between different versions of protobufs, and between different versions of Go modules/pacakges, but not directly between a protobuf version and a Go module version....

What is achieved by this proposal? Does it enable any concrete feature or capability which is not otherwise possible? What are the advantages of recording this string on-chain, versus e.g....

> Hi there Peter, so you see the constitution is in the first block of the chain which means that you are supposed to take very great care of crafting...

> Okay so the reason it's an arbitrary string that isn't consumed by anything is that it is entirely for the humans clustered around the chain. It is a statement...

This is all fine and good and I don't disagree that expressions like these are important. It's just that there is a categorical difference between the technical and social layers,...