Caixin: Smart contract development for the digital yuan supports fully Turing-complete languages such as Ethereum's Solidity.

PANews reported on January 19th, citing Caixin.com, that a technical expert familiar with the digital yuan revealed that both smart contracts based on the account system and smart contracts on public blockchains are essentially "conditionally triggered automatically executed code," differing only in whether they possess full Turing completeness. Smart contracts based on the account system of the digital yuan are restricted Turing complete, with their programming strictly limited to 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 yuan smart contracts supports multiple programming languages, including fully Turing complete languages such as Ethereum's Solidity, so the technology itself is not the problem. The core challenge lies in designing a standard access and auditing mechanism acceptable to the financial system.