Modeling and Verification of Keeta's Consensus [pdf](xescu.re)12 points by xescure 2 months ago | 1 comments
![Screenshot of xescu.re: Modeling and Verification of Keeta's Consensus [pdf]](https://hn.urlbox.com/shots/renders/2026/8/15/c4f7c7ee-390e-440d-9eb7-7fe6df04a3ee.jpg)