What are the available Blockchain platforms?
When I say platform, it is really referring to the technical platform providing blockchain capabilities. They support the various blockchain-based services or solutions we see today, e.g. cryptocurrency (e.g. bitcoin, Ethereum), supply chain (e.g. OTDocs).
Some of the popular blockchain platform that I know of are the Hyperledger Fabric and Ethereum.
I was fiddling with both Hyperledger Fabric (0.6 and 1.0) and I would say that it takes a while to get the hang of understanding the components (e.g. orderer, endorse, chaincode, peer, certificate authority). Mix in stuffs like Practical Byzantine Fault Tolerant (PFBT) blockchain setup is enough to make one go sleepless for a couple of nights.
The great thing for Hyperledger Fabric 0.6, there are quite a fair bit of articles on setting up Hyperledger Fabric 0.6 network with PBFT on Docker. Tough luck for Hyperledger Fabric 1.0. Luckily I managed to get Hyperledger Fabric 1.0 with PBFT up on my Windows Docker.
Formal verification of Blockchain platforms?
Til date, I have yet to see any party doing a formal verification of Hyperledger Fabric. Not sure if there are any done for other blockchain platforms though.