search

informalsystems / verification

Specifications of the protocols and the experiments on their verification
9 stars 2 forks source link

Tendermint safety and fork scenarios #13

Closed konnov closed 4 years ago

konnov commented 4 years ago

Here is the specification of Tendermint safety that also includes fork scenarios. Although I am re-running the experiments with the updated spec, it would be great to have feedback on the spec.

ebuchman commented 4 years ago

Can we move this PR to the tendermint-rs repo? And anything else that needs to come along?

ebuchman commented 4 years ago

Can we move this PR to the tendermint-rs repo? And anything else that needs to come along?

@konnov

konnov commented 4 years ago

Sure, I can do that. I guess, there is no other way but just introducing a new branch in tendermint-rs and introducing a PR? There is no special magic for that in github? :)

konnov commented 4 years ago

Moved to https://github.com/informalsystems/tendermint-rs/pull/496