TLA+ model for enhanced Bane dBFT with an additional phase #21

New issue

Closed

opened 2025-12-28 17:07:41 +00:00 by sami · 0 comments

sami commented

2025-12-28 17:07:41 +00:00

Owner

Originally created by @roman-khimov on GitHub (Apr 1, 2024).

Originally assigned to: @AnnaShaleva on GitHub.

I'm always frustrated when we don't have a model for the protocol we're going to use.

Describe the solution you'd like

Bane will need an additional phase, let's try it in TLA+ first to ensure it has the same properties as we have with dBFT 2.0.

Originally created by @roman-khimov on GitHub (Apr 1, 2024). Originally assigned to: @AnnaShaleva on GitHub. ## Is your feature request related to a problem? Please describe. I'm always frustrated when we don't have a model for the protocol we're going to use. ## Describe the solution you'd like Bane will need an additional phase, let's try it in TLA+ first to ensure it has the same properties as we have with dBFT 2.0.