Liveness and Consistency of Bitcoin and Prism Blockchains: The Non-lockstep Synchronous Case | IEEE Conference Publication | IEEE Xplore