Tendermint in Rust for Starkware Decentralized Protocol v0.1

[ancazamfir]

This is the meta issue for first phase of Tendermint in Rust consensus protocol impementation.

Tasks

• Specs
  • English spec: started under this PR. Should move here, open issue and link the PRs.
    • closed in https://github.com/informalsystems/malachite/pull/89
  • Quint spec: existing spec
    • all specs are now in https://github.com/informalsystems/malachite/tree/main/Specs/Quint
• Design and Implementation
  • ADR 001: High level architecture of the implementation #33
  • code: Initial implementation of the state machine, vote keeper, and driver #49
    • feat: Value sync follow up work informalsystems/malachite#1
  • fix(interop): Consensus does not transition from Ready to Running phase informalsystems/malachite#8
  • fix(tests): remove tempfile deprecated method informalsystems/malachite#7
  • fix: block_size is not respected in tests informalsystems/malachite#5
  • fix: syncing node can block in case of popped SyncValueResponses informalsystems/malachite#4
  • feat(code): limit the number of values in a sync response based on upper limit informalsystems/malachite#3
  • CI - refactor(interop): Finalize interoperability repo/PR informalsystems/malachite#2
• Instantiation for concrete chains -> Move to phase 2
  - [ ] feat(tendermint): Instantiate Context for Tendermint types #47
  - [ ] feat: Instantiate Context for Starknet types #48
• MBT tests (in a new crate malachite-mbt)
  • test: MBT tests for vote keeper #44
  • test: MBT for round state machine #45
  • test: MBT for the driver and core consensus library #46 (postponed to phase2)