Need a new bitcoin with Turing complete smart contract

HeRetiK

legendary

Activity: 3122

Merit: 2178

Playgram - The Telegram Casino

Quote from: Ucy on December 03, 2017, 06:47:09 PM

"There's even layers on top such as XCP and OMNI that allow for token issuance."

Guess you talking of Bitcoin having Ethereum-like DApps feature? I think this and Smart Contract thing would be great for Bitcoin.
What are Devs waiting for then?

Not to the extend of complexity of a DApp, but certainly covering many of the features that are most commonly used. USDT for example is nothing else than an OMNI token. However most tokens seem to choose ETH over XCP / OMNI due to BTC's transaction fees. STORJ for example transitioned from XCP to ETH for that very reason.

Quote from: coinfirst on December 03, 2017, 07:58:11 PM

Solidity is the first turing complete language for writing smart contracts in blockchain. Although it has many problems, it is still enough for most application. Bitcoin's scripting is not easy to use for the programmer. If Simplicity is as powerful as EVM, it will be nice.

A platform that regularly loses billions of dollars worth of assets is barely "enough for most applications". Who cares if writing smart contract becomes easy, if at the same time it becomes insecure and error prone? Ethereum has one purpose, and that is providing a secure platform and solid foundation for smart contracts handling immutable transactions. If it continues failing at that I don't see good times for Ethereum ahead.

Xynerise

sr. member

Activity: 322

Merit: 363

39twH4PSYgDSzU7sLnRoDfthR6gWYrrPoD

Bitcoin already has Rootstock, a sidechain, to provide smart contracts.
And you can deploy Solidity/Ethereum smart contracts on the Rootstock chain:
https://bitcoin.stackexchange.com/questions/54036/can-someone-show-me-an-example-rootstock-smart-contract-that-is-the-equivalent-o

omashi

jr. member

Activity: 54

Merit: 10

it's very tempting to say turing complete language will solve everything, theoretically it's true, in practice it's not the best option, since it will also open up an infinite attack vector, logic is simple, if you have infinite possibilities, you will need to deal with infinite attacks.
On the other hand, here is a great talk presented by Russell O'Oconor https://youtu.be/TGE6jrVmt_I where he explained in more details why turing complete is not a good option, delta 0 formulas might be expressive enough to build secure and useful blockchain language that's verifiable with no halt problem.
Recently a paper called 'Simplicity' published by blockstream that discuss this approach more, this allows safer and verifiable smart contracts.

coinfirst

newbie

Activity: 13

Merit: 0

I found this project qtum that integrates the EVM and POS based on bitcoin. Is there anyone want to change back to add EVM for bitcoin?

coinfirst

newbie

Activity: 13

Merit: 0

Quote from: HeRetiK on December 03, 2017, 11:05:27 AM

Quote from: coinfirst on December 03, 2017, 09:57:28 AM

As bitcoin is becoming more and more popular, it is useful to introduce the smart contract, just like Ethereum. The bitcoin asset can be processed with a complicated logic. This will make bitcoin more conveniently suitable for finance and business. So do you gays would like to see a new fork with smart contract system such as EVM?

In my opinion using a turing complete language for writing smart contracts on an immutable blockchain is not sound enough and too error prone. Just look at all the hacks and silly mistakes that happen to due to questionable design decisions in Solidity. It may get better with improved tooling, but the way I see it Ethereum smart contracts still need to get a long way before being trustworthy.

That being said, Bitcoin already has some basic scripting capabilities that I wouldn't underestimate. There's even layers on top such as XCP and OMNI that allow for token issuance.

Further down the road we might even see something like Simplicity:

https://bitcointalk.org/index.php?topic=2338626.0;topicseen

Which strives to increase Bitcoin's scripting capabilities without decreasing security.

Solidity is the first turing complete language for writing smart contracts in blockchain. Although it has many problems, it is still enough for most application. Bitcoin's scripting is not easy to use for the programmer. If Simplicity is as powerful as EVM, it will be nice.

Ucy

sr. member

Activity: 2674

Merit: 403

Compare rates on different exchanges & swap.

Quote from: HeRetiK on December 03, 2017, 11:05:27 AM

Quote from: coinfirst on December 03, 2017, 09:57:28 AM

As bitcoin is becoming more and more popular, it is useful to introduce the smart contract, just like Ethereum. The bitcoin asset can be processed with a complicated logic. This will make bitcoin more conveniently suitable for finance and business. So do you gays would like to see a new fork with smart contract system such as EVM?

In my opinion using a turing complete language for writing smart contracts on an immutable blockchain is not sound enough and too error prone. Just look at all the hacks and silly mistakes that happen to due to questionable design decisions in Solidity. It may get better with improved tooling, but the way I see it Ethereum smart contracts still need to get a long way before being trustworthy.

That being said, Bitcoin already has some basic scripting capabilities that I wouldn't underestimate. There's even layers on top such as XCP and OMNI that allow for token issuance.

Further down the road we might even see something like Simplicity:

https://bitcointalk.org/index.php?topic=2338626.0;topicseen

Which strives to increase Bitcoin's scripting capabilities without decreasing security.

"There's even layers on top such as XCP and OMNI that allow for token issuance."

Guess you talking of Bitcoin having Ethereum-like DApps feature? I think this and Smart Contract thing would be great for Bitcoin.
What are Devs waiting for then?

pebwindkraft

sr. member

Activity: 257

Merit: 343

I wouldn't like to see this. Grin

Maybe you can first of all explain, what you think can be achieved with smart contracts on bitcoin.
Then explain, what you think, why a complete turing machine is required to do a smart contract (use cases?).
Then what you have done / tried to do with bitcoin, and why it wouldn't fit, and hence the need for a turing complete EVM comparable environment.
Why not do it in a side chain, and proof, that it works (ehm, eh, it doesn't in Ethereum, repeatedly - we'd like to be secured with our funds).

Just because it's technically feasable? Certainly not a good start...

HeRetiK

legendary

Activity: 3122

Merit: 2178

Playgram - The Telegram Casino

Quote from: coinfirst on December 03, 2017, 09:57:28 AM

As bitcoin is becoming more and more popular, it is useful to introduce the smart contract, just like Ethereum. The bitcoin asset can be processed with a complicated logic. This will make bitcoin more conveniently suitable for finance and business. So do you gays would like to see a new fork with smart contract system such as EVM?

In my opinion using a turing complete language for writing smart contracts on an immutable blockchain is not sound enough and too error prone. Just look at all the hacks and silly mistakes that happen to due to questionable design decisions in Solidity. It may get better with improved tooling, but the way I see it Ethereum smart contracts still need to get a long way before being trustworthy.

That being said, Bitcoin already has some basic scripting capabilities that I wouldn't underestimate. There's even layers on top such as XCP and OMNI that allow for token issuance.

Further down the road we might even see something like Simplicity:

https://bitcointalk.org/index.php?topic=2338626.0;topicseen

Which strives to increase Bitcoin's scripting capabilities without decreasing security.

coinfirst

newbie

Activity: 13

Merit: 0

As bitcoin is becoming more and more popular, it is useful to introduce the smart contract, just like Ethereum. The bitcoin asset can be processed with a complicated logic. This will make bitcoin more conveniently suitable for finance and business. So do you gays would like to see a new fork with smart contract system such as EVM?

Topic: Need a new bitcoin with Turing complete smart contract (Read 564 times)