Liquidity

Liquidity

针对 Tezos 智能合约编程的高级语言。

Liquidity 简介

Liquidity,针对 Tezos 智能合约编程的高级语言,完全类型化的函数式语言,使用 OCaml 语法,并严格遵守 Michelson 安全约定,正制定一个正式的核查框架。Liquidity 特征:任何可以用 Michelson 编写的,都可以用 Liquidity 写成;局部变量值可以存储在局部变量中;;可定义和使用加权类型、记录类型等等。用 Liquidity 编写的智能合约,可以在当前的主网和 zeronet 上提交。

Liquidity 投资方