The Hashgraph Protocol: Efficient Asynchronous BFT for High-Throughput Distributed Ledgers | IEEE Conference Publication | IEEE Xplore