Tezos 区块链为全世界推出了一种名为「Michelson」的全新编程语言，专为 Tezos 智能合约开发而设计的函数式编程语言。其前瞻性思维创新，为 Tezos 智能合约带去精确度和效率，同时也是正式验证的有力工具。