Short-HotStuff: Two-Chain BFT Algorithm With Linear Complexity and Optimistic Responsiveness | IEEE Journals & Magazine | IEEE Xplore