Bitcoin Forum

Bitcoin => Development & Technical Discussion => Topic started by: ptrk on August 23, 2017, 05:52:23 PM



Title: Can Bitcoin Script be extended to be Turing Complete?
Post by: ptrk on August 23, 2017, 05:52:23 PM
I deal with Bitcoin Script and its opportunities.

Can stack-based language Bitcoin Script be transformed in a turing complete language by doing a hard fork in principle?


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: knircky on August 23, 2017, 07:04:32 PM
I deal with Bitcoin Script and its opportunities.

Can stack-based language Bitcoin Script be transformed in a turing complete language by doing a hard fork in principle?

Does segwit now allow to add a different script language? So i think the answer should be yes.


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: nicosey on August 28, 2017, 06:33:18 AM
Doesn't this link up with upcoming MAST support?


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: QueenOf on August 28, 2017, 12:14:16 PM
I deal with Bitcoin Script and its opportunities.

Can stack-based language Bitcoin Script be transformed in a turing complete language by doing a hard fork in principle?
i think Bitcoin script has no facilities for looping or recursion,different with Ethereum script,are Turing-complete, at least in principle, supporting looping constructs.


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: coinmachina on August 28, 2017, 02:47:20 PM
I deal with Bitcoin Script and its opportunities.

Can stack-based language Bitcoin Script be transformed in a turing complete language by doing a hard fork in principle?

You can change any aspect of Bitcoin by doing a hard fork. So you could also introduce a scripting language that is more powerful than the current Bitcoin script.


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: amaclin1 on August 28, 2017, 03:47:47 PM
I deal with Bitcoin Script and its opportunities.
Can stack-based language Bitcoin Script be transformed in a turing complete language by doing a hard fork in principle?
No. (Without hardfork)
But everything can be implemented by next segwit script versions (today we use segwit_v0) if community votes for it

The right question is: why do you need turing complete language and scripts in bitcoin?

Does segwit now allow to add a different script language? So i think the answer should be yes.
The current segwit (v0) does not allow anything except old bitcoin opcodes


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: luv2drnkbr on August 28, 2017, 11:02:38 PM
If Brainfuck is Turing complete, then unused Bitcoin op codes can become Turing complete.


Title: Re: Can Bitcoin Script be extended to be Turing Complete?
Post by: gmaxwell on August 30, 2017, 01:18:48 AM
Yes, via segwit script versioning.

But it is provably useless to have turing complete script: https://www.reddit.com/r/Bitcoin/comments/666ihb/posts_theorem_and_blockchain_languages_why_turing/