Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Specification and model checking of BFT consensus by Matter Labs | Protocols Made Fun
https://protocols-made-fun.com/consensus/matterlabs/quint/specification/modelchecking/2024/07/29/chonkybft.html
links
backlinks
Roast topics
Find topics
Find it!
Or model checking fault-tolerant algorithms that have more states than the atoms in the universe
