Hacker News Reader

Any formal verification of you Algo ? Consensus algos are hard to implement correctly.

We're planning on formally verifying the algorithm once it stabilizes.

So... what was the purpose of me reading this non-announcement again?