- Tezos Blockchain Talk: The Secret Recipes
Follow Our Tweets
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.
If you're in Hong Kong for @iFXEXPO, make sure to check out the blockchain adoption panel! @SandyPeng1, advisor to @AsiaTezos, will be representing #Tezos.
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.
#Tezos #Blockchain #Technology
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.