Specification and model checking of BFT consensus by Matter Labs | Protocols Made Fun #30
giscus[bot]
Bot
Replies: 1 comment
-
|
Feel free to add a comment. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Specification and model checking of BFT consensus by Matter Labs | Protocols Made Fun
Or model checking fault-tolerant algorithms that have more states than the atoms in the universe
https://protocols-made-fun.com/consensus/matterlabs/quint/specification/modelchecking/2024/07/29/chonkybft.html
Beta Was this translation helpful? Give feedback.
All reactions