On Analysis of the Bitcoin and Prism Backbone Protocols in Synchronous Networks | IEEE Conference Publication | IEEE Xplore