3 ms·Any formal verification of you Algo ? Consensus algos are hard to implement correctly.by newprint 8y agoAny formal verification of you Algo ? Consensus algos are hard to implement correctly.zonotope 8y agoWe're planning on formally verifying the algorithm once it stabilizes.ggggtez 8y agoSo... what was the purpose of me reading this non-announcement again?