Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/requirements.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ The goal of this work is to agree on an interoperable consensus protocol that me

* MUST withstand a sigificant fraction of malfunctioning / malicious actors (around 1/3 of nodes);
* MUST have a formal proof of correctness that we can show to regulators;
* MUST guarantee timely finality;
* MUST guarantee the robustness property for consensus protocols with immediate finality
Copy link

@drequinox drequinox Sep 11, 2019

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It is not clear that what the robustness property is, please see discussion in the issue #14

* SHOULD have a specification sufficient to enable implemetation without having to refer to someone else's code;