Tezos enthusiasts must have cherished their decision to hold this cryptocurrency as it managed to breach an important resistance level. XTZ cryptocurrency is unique because of its emphasis on security and governance. Three important features highlighted on their website is Institutional grade security using OCaml and Michelson languages to facilitate formal verification. Such languages have …