System Model Assumptions

EntEthAlliance / enhanced-bft

a workspace for developing improvements to BFT consensus

Other

8 stars 3 forks source link

System Model Assumptions #12

Closed saltiniroberto closed 4 years ago

saltiniroberto commented 5 years ago

This is a meta-issue whose objective is to list all the issues that describe system model assumptions under which design, specify and prove the correctness of the consensus protocol.

Definition of Robustness: #14 Please note that this is where finality is defined
Network Model: #4
Fault-Tolerance: #13
Permissioning for block creation: #15
Permissioning for read acceess: #17
Privacy Layer Integration: #18
Cryptographic Assumptions: #16

kubasiemion commented 5 years ago

I suggest that we separate agreeing on glossary (first) from agreeing on assumptions (second).

kubasiemion commented 5 years ago

Waiting to be closed after Assumptions section is initiated by Roberto.

chaals commented 4 years ago

Agreed 2020-05-27 to close this