Michelson

Tezos 區塊鏈爲全世界推出了一種名爲「Michelson」的全新編程語言，專爲 Tezos 智能合約開發而設計的函數式編程語言。其前瞻性思維創新，爲 Tezos 智能合約帶去精確度和效率，同時也是正式驗證的有力工具。