is the idea of computational contracts.

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,

and that part is gonna do that.

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,

as well as understood by humans?

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

is sort of the ideal language

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,

this is not a new idea.

I mean, for example, Gottfried Leibniz,

back in the late 1600s,

he very definitely had this idea.

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

where one says, you know,

"We'll consider it a grade A peach,

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 connected to the contract

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

"but you know, it rained yesterday."

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

with our Wolfram Alpha Technology Stack,

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

kind of computable knowledge about the world.

For quite other reasons,

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,

for things like smart contracts.