Coq proof completed by Carnegie Mellon professor confirms @hashgraph consensus algorithm Is asynchronous byzantine fault toleran
17 Oct 2018, 16:39
Coq proof completed by Carnegie Mellon professor confirms @hashgraph consensus algorithm Is asynchronous byzantine fault tolerant. Learn more here: