More detailed answer to Andrew Miller @socrates1024 about his concern that #FormalVerification being simpler in #OCaml could just be a myth: we review formal verification techniques used in blockchains, advantages of OCaml and some classical theorems.
A blockchain is a chain of blocks that contain data or information. It is a new name in the world of technologies and revolutionary. It holds a high potential of applications in many different industries and sectors.
Diego explains at the university of Lisbon the challenge of combining DSLs and generic programming languages with #FormalVerification techniques, in a certified compilation environment, with unusual cost models. Creating a #blockchain like #Tezos requires solving many problems.