Libra 会像以太坊一样,图灵完备吗?我已阅读白皮书,但无法做出决定。
问问题
538 次
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 回答