Will Libra, like Ethereum, be turing complete? I have read the white paper but have been unable to decide.
This is the white paper: https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf
3 Answers
It is either a turing complete or not a turing complete smart contract programming language.
Until now, there is no documentation mentioned this.
It is a turing complete programming language, it supports While, Loop, and Recursion.
see Move document
Yes, Move is Turing complete which means that Libra is Turing complete. Because of this, determining if a given Move program terminates cannot be decided statically. However, by ensuring that (1) every bytecode instruction has a non-zero cost, and (2) the amount of gas that any program can be started with is bounded, we get this termination property for programs almost free of cost.
Check out more details in the official blog: https://www.diem.com/en-us/blog/how-gas-works-on-libra-blockchain/
Related