Modeling and Verification of Keeta's Consensus [pdf]
tech
A paper on modeling and verification of Keeta's consensus has been shared on Hacker News. Further details on the project and its scope are not available from the feed.
Source: https://xescu.re/keeta-consensus.pdf
Listen to this story
Hear this and more stories in a personalized audio briefing.
Open The Chonkerton