Do Smart Contract Languages Need to Be Turing Complete?

  title={Do Smart Contract Languages Need to Be Turing Complete?},
  author={M. Jansen and Farouk Hdhili and Ramy Gouiaa and Ziyaad Qasem},
Blockchain based systems become more and more prominent. While starting by developing (crypto)currency payment schemes, a lot of the latest development goes in the direction of executing source code directly in the peer-to-peer network blockchains are usually built on. These so called smart contracts have become popular in order to reduce the amount of necessary middle-mans involved in different processes. Despite the large amount of research already invested in the design of languages which… Expand

Topics from this paper

SCUR: Smart Contracts with a Static Upper-bound on Resource Usage
  • Markus Knecht, B. Stiller
  • Computer Science
  • 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
  • 2020
General Concept of Real Estate Tokenization on Blockchain
SodsMPC: FSM based Anonymous and Private Quantum-safe Smart Contracts
  • S. Dolev, Ziyu Wang
  • Computer Science
  • 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA)
  • 2020
What Government by Algorithm Might Look Like


Sustainable blockchain-enabled services: Smart contracts
Turing Complete Bitcoin Script White Paper
A critical review of blockchain and its current applications
Regular Expressions Cookbook