天秤座VM(移动)是完整的语言吗?

时间:2019-06-18 13:31:31

标签: blockchain smartcontracts turing-complete libra

天秤座会像以太坊一样完成比赛吗?我已经阅读了白皮书,但无法决定。

这是白皮书:https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf

3 个答案:

答案 0 :(得分:1)

是的,Move 是图灵完备的,这意味着 Libra 是图灵完备的。因此,无法静态决定给定的 Move 程序是否终止。然而,通过确保 (1) 每条字节码指令的成本都非零,以及 (2) 任何程序可以启动的 gas 量是有界的,我们几乎可以免费获得程序的终止属性。

在官方博客中查看更多详细信息:https://www.diem.com/en-us/blog/how-gas-works-on-libra-blockchain/

答案 1 :(得分:0)

它是图灵完整的合同还是不是图灵完整的智能合约编程语言。

到现在为止,还没有文档提及。

答案 2 :(得分:0)

这是一种图灵完整的编程语言,它支持While,Loop和递归。

请参阅Libra syntax file