Name: Stephen Wolfram Explains How Smart Contracts Will Work
Uploaded: 2018-10-22T03:58:05.000Z
Duration: 3 min 42 s
Description: Thousands of YouTube videos with English-Chinese subtitles! Now you can learn to understand native speakers, expand your vocabulary, and improve your pronunciation...

Present continuous

I think one of the most interesting ideas that Blockchain is surfacing

Adverbs of frequency

You know, normally when one sets up a contract,

it's something that's written in, well, almost English but actually it's legalese

because it has to be a bit more precise than English.

And it says, you know, this part is gonna do this,

What if we could write that contract in code?

What if we could write a computational contract that isn't written in legalese

but is written in some computational intelligence language,

which could actually be just executed by a computer, if we chose to,

Well, our Wolfram Language, that I've been developing for the last 32 years,

in which to describe things about the world of the kind that you want to talk about in contracts.

This idea of writing computational contracts,

In fact his reason to try to invent a bunch of what are now computational concepts,

was he wanted to turn all legal arguments into matters of pure logic

that could potentially be resolved by a machine.

Well, he happened to be 300 years too early.

Now I think it's kind of the right time to actually execute things like that,

and so we're very well-positioned with our technology to actually set up computational contracts,

which can describe how things should happen in the world in a way that computers can execute.

And so some of those things will be pure sort of symbolic logic-like things.

Some of those things are more like automated human judgment.

They're more like the kinds of things that one can do with machine learning

if it has this characteristic with respect to this machine vision classifier."

So that's one thing that we've been interested in.

Another thing that's, in a sense, more direct

is whenever you're going to set up a smart contract or computational contract,

I view sort of computational contracts as kind of a generalization of the traditional

"let's put something on the Blockchain smart contract" idea.

But as soon as those contracts are going to be about real things in the world,

they have to know something about what actually happened in the world.

And so there's this idea of well, we needed some kind of smart oracle

that can be not just something that says, "Well, this piece of cryptocurrency was transferred from this address to this address,

And so we, in terms of sort of knowledge about the world

we have simply the unique system that has kind of, across thousands of domains,

kind of computable knowledge about the world.

we've kind of built this thing that allows you

to just ask a computer some fact about the world and have it returned in computable form.

And that's exactly what one needs if one wants to know whether this smart contract that referred to something in the world

should be executed, should go this way or that way.

And so we've been involved with rather a wide spectrum of the cryptocurrency folk

in providing sort of the connection to the real world, so to speak,