Forbes contributors publish independent expert analyses and insights. Korok Ray is a PhD economist/professor who researches/teaches Bitcoin. Formal verification is one of the more theoretical areas of ...