Dušan Gajić

An Approach to Efficient Reduction of Ethereum's Turing‐Completeness

2026 · Concurrency and Computation Practice and Experience

ABSTRACT A blockchain's expressive power is determined by its low‐level language and virtual machine. Most blockchains adopt either Turing‐incomplete designs, which sacrifice expressiveness for safety, or Turing‐complete architectures, which offer flexibility at the cost of …