Caixin: The development of digital yuan smart contracts supports fully Turing-complete languages such as Ethereum's Solidity

According to Caixin, a person familiar with the technology of digital renminbi revealed that the digital renminbi's smart contracts are based on an account system, and they are essentially "condition-triggered automatic execution code," similar to smart contracts on public chains, with the difference being whether they possess complete Turing completeness.

The smart contracts of the digital renminbi, based on the account system, are considered restricted Turing complete. Their programming is strictly limited to the template scripts permitted by the central bank, supporting only preset, simple condition-triggered functions. This design is primarily for security and risk control considerations.

The development of digital renminbi smart contracts supports multiple programming languages, including Ethereum's Solidity and other fully Turing complete languages, so technically there is no issue. However, the core challenge lies in how to design a standard access and auditing mechanism that can be accepted by the financial system.