You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

ChristianKl comments on Are smart contracts AI-complete? - Less Wrong Discussion

11 Post author: Stuart_Armstrong 22 June 2016 02:08PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (46)

You are viewing a single comment's thread.

Comment author: ChristianKl 23 June 2016 01:21:28PM 2 points [-]

For instance, if the contract is triggered by the delivery of physical goods - how can you define what the goods are, what constitutes delivery, what constitutes possession of them, and so on.

With the internet of things physical goods can treat their owner differently than other people. A car can be programmed to only be driven by their owner.

Reputation and escrow are also mechanisms that can be used. SilkRoad managed delivery of physical goods via reputation and escrew. SilkRoad did however had central servers that could be attacked. An Ethereum based system couldn't be taken down in a similar way.

Comment author: fubarobfusco 23 June 2016 08:07:44PM 1 point [-]

With the internet of things physical goods can treat their owner differently than other people. A car can be programmed to only be driven by their owner.

Theoretically yes, but that doesn't seem to be how "smart" devices are actually being programmed.

Comment author: ChristianKl 24 June 2016 11:13:18AM *  1 point [-]

Theoretically yes, but that doesn't seem to be how "smart" devices are actually being programmed.

There's a IBM/Samsung project that wants to create a framework where smart devices move in that direction: http://www.coindesk.com/ibm-reveals-proof-concept-blockchain-powered-internet-things/

Slock.it basic model is also about creating infrastructure for this.

Current smart-devices often rely on a central server. If you buy a device from a startup that might go out of business you have an interest in there not being a central point of trust. Does that mean that success of Ethereum is a certainty? No, it doesn't. But a possible model of how success would look like is there.

It's also worth noting that various luxury brands have a problem with forgeries. There can be a clear chain of purchase for a smart product that makes it clear that the product is authentic.

Comment author: Stuart_Armstrong 23 June 2016 11:44:40PM 1 point [-]

With the internet of things physical goods can treat their owner differently than other people. A car can be programmed to only be driven by their owner.

Which shift the verification to the imperfect car code.