A critical paper underlying Casper’s consensus protocol, codename Zug, is Weakly-terminating Binary Aggreement and Reliable Broadcast to Atomic Broadcast by Andreas Fackler, Samuel Schlesinger, and Matthew Doty. Here, we are drafting a formalization to machine check the pen-and-paper proofs therein.
-
Notifications
You must be signed in to change notification settings - Fork 0
cspr-rad/cspr-consensus-formal
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Formalization of some pen-and-paper proofs associated with Casper's consensus algorithm.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published