correctness checking of consensus mechanism #18

Open

Labels

Description

opened

We should gain as much confidence in our consensus algorithm as is possible, possibly using an approach based on http://infoscience.epfl.ch/record/124884/files/04365691.pdf

to join this conversation on GitHub. Already have an account? Sign in to comment

No one assigned

No projects

No milestone

None yet

No branches or pull requests