runtimeverification / algorand-verificationLinks
Formal verification of the Algorand consensus protocol
☆27Updated 2 years ago
Alternatives and similar repositories for algorand-verification
Users that are interested in algorand-verification are comparing it to the libraries listed below
Sorting:
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq