Michelson 简介
Tezos 区块链为全世界推出了一种名为「Michelson」的全新编程语言，专为 Tezos 智能合约开发而设计的函数式编程语言。其前瞻性思维创新，为 Tezos 智能合约带去精确度和效率，同时也是正式验证的有力工具。
Michelson 投资方
Michelson 相关信息
Marty Stumpf
Cryptium Labs 区块链开发工程师。
BUIDL Labs
为去中心化的世界构建基础设施。
Pocket Network
无需信任的 API 层，可以轻松访问任何区块链。
Checker
基于 Tezos 实现财务逻辑的项目，类似 MakerDAO。
Alexander Eichhorn
KIDTSUNAMI 创始人。
SmartPy.io
直观、有效的 Tezos 智能合约语言和开发平台。
Tezos Tacos
为客户提供专业的 Tezos 授权抵押服务。
TzRate
Tezos 验证节点服务列表。
OpenSea
使数字资产所有权更容易获得。