Michelson, Tezos 开发语言。

Michelson

Tezos 开发语言。

michelson.org

Michelson 简介

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