Name: 斯蒂芬-沃爾夫拉姆解釋智能合約將如何運作。 (Stephen Wolfram Explains How Smart Contracts Will Work)
Uploaded: 2021-01-14T07:56:40.000Z
Duration: 3 min 42 s

現在進行式

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

區塊鏈帶來很多有趣的點子，其中一項便是

頻率副詞

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,

我們在最近 32 年研發中的沃爾夫曼語言，

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

「我們會把它歸類成 A 等級桃子，

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,

可以說是為了確保與現實世界之間的聯繫，