Bitcoin: A Total Turing Machine

Posted: 4 Nov 2018

See all articles by Dr Craig S Wright

Dr Craig S Wright

nChain; University of Southern Queensland - University of Southern Queensland, Students; Leicester Law School; University of London, Birkbeck College, School of Social Sciences, History and Philosophy, Politics, Students; Harvard university

Date Written: October 12, 2017

Abstract

We demonstrate that the Bitcoin Script language allows not only for primitive recursion, but in the deployment of an Ackerman function and hence the ability to simply recurse in Bitcoin script, we show that the script system is Turing complete. From this, we introduce a new class of Turing Machine, the PTTM or probabilistic Total Turing machine and note that Bitcoin acts as a decider or Total Turing Machine which allows us to find a NIZKPoK that can act as a TM based verifier to a Non-Interactive Proof that is run on an external and non-associated TM as a proof system. Bitcoin can extend to securely offer contracts such as best fit solutions to common logistic systems and optimisation problems including the Travelling Salesman class of problems and to the optimisation of systems. This can be offered as an open or time bound contract that guarantees payment and can be solved which allowing Pseudonymity of the bidder.

Keywords: Bitcoin, Turing Complete, Decider, Script, Compiling, NIZKPoK, ZKP

Suggested Citation

Wright, Craig S, Bitcoin: A Total Turing Machine (October 12, 2017). Available at SSRN: https://ssrn.com/abstract=3265146 or http://dx.doi.org/10.2139/ssrn.3265146

Craig S Wright (Contact Author)

nChain ( email )

London
United Kingdom

University of Southern Queensland - University of Southern Queensland, Students ( email )

Toowoomba, Queensland
Australia

Leicester Law School ( email )

University Road
Leicester LE1 7RH, LE1 7RH
United Kingdom

University of London, Birkbeck College, School of Social Sciences, History and Philosophy, Politics, Students ( email )

Malet Street
London, WC1E 7HX
United Kingdom

Harvard university ( email )

William James Hall, Sixth Floor
33 Kirkland Street
Cambridge, MA 02138

Do you want regular updates from SSRN on Twitter?

Paper statistics

Abstract Views
2,647
PlumX Metrics