5

Libra 会像以太坊一样,图灵完备吗?我已阅读白皮书,但无法做出决定。

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

4

3 回答 3

1

它要么是图灵完备的,要么不是图灵完备的智能合约编程语言。

直到现在,还没有文档提到这一点。

于 2019-06-30T08:57:39.690 回答
1

它是一种图灵完备的编程语言,支持While、Loop和Recursion。

请参阅移动文档

于 2019-09-19T09:52:57.040 回答
1

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

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

于 2021-01-29T20:02:26.500 回答