智能合约是什么

news/2024/11/26 23:38:17/

尼克·萨博最早于 1994 年提出了智能合约。他定义道:“一个智能合约是,一个计算机化的交易协议,它执行一个合约的条款。”

交易协议中的“协议”二字指的是计算机协议。尼克·萨博的智能合约论文见:Smart Contracts。

尼克·萨博是知名的计算机科学家、法学学者和密码学者,他的研究重点是智能合约和数字现金。1998 年,他还曾创建中心化的数字现金比特黄金。

为什么需要智能合约

尼克·萨博说:“智能合约的设计目标是,执行一般的合同条件,最大限度地减少恶意和意外的状况,最大限度地减少使用信任中介。”

他认为,我们需要一个这样的计算机协议:它能够完全保证,如果付款了,商品会被发送,或者商品寄出去了,就会收到钱。

在现实生活中,我们有很多办法来实现这一点。而计算机科学家的目标是,用事先确定的代码自动执行合约条款,无须人工干预和第三方中介。

智能合约中的“智能”可以理解为,按条件自动执行,无须人的干预,是自动的或自治的。

“合同”是智能合约的好类比吗

按其名字,智能合约的好类比是不是我们在商业活动中所签订的“合同”?其实不是。

智能合约贴切的形象类比,是我们在说起计算机术语“有限状态机”或“状态机”时常用的自动可乐售卖机:

  • 我们向可乐售卖机投入硬币,按一下出可乐的按钮。

  • 售卖机将一听可乐从出货口放出来。

  • 售货机恢复到最初的状态。

萨博在 1997 年的文章中也说,智能合约的原始祖先是不起眼的自动售货机。

在以太坊白皮书中,维塔利克还特别指出,这里的“合约”不应被理解为需要执行或遵守的东西,而应看成是存在于以太坊执行环境中的“自治代理”(autonomous agents),它拥有自己的以太坊账户,它们收到交易信息后就相当于被捅了一下,然后自动执行一段代码。

维塔利克是以太坊的创始人,就是大名鼎鼎的“V神”。

我们还可以这么看:

  • 区块链存储的是“状态”,智能合约是它用于状态转换的方式。

  • 智能合约像一个特别的“时钟”,把世界从“同步”转向“异步”。

智能财产:用智能合约来控制实体资产

在智能合约论文中,萨博还讨论了如何把智能合约用于实体资产,形成所谓的智能财产(smart property)。

所谓智能财产,是智能合约程序按照设定的规则控制的财产。萨博举例说明如下:

  • 例如,为了防止一部车被偷窃,除非确定拥有者完成正确的“挑战响应协议”,否则车是不会启动激活的。

  • 例如,如果车是贷款买的,当拥有者无法偿还贷款时,智能合约将会自动启动扣押令,并将车钥匙的控制权交给银行。一旦拥有者还清贷款,智能合约就移除扣押令。

智能资产的概念后来被扩大了,在对比特币的相关介绍中有这样说法:由比特币区块链上的智能合约控制的资产,不管是实体的还是数字的,都叫智能资产。

尼克·萨博的关键论文:

  • 1994,Smart Contracts。

  • 1996,Smart Contracts:Building Blocks for Digital Markets。

  • 1997,The Idea of Smart Contracts。


http://www.ppmy.cn/news/701817.html

相关文章

智能合约到底是什么?有哪一些特点?

根据当前的数据就可以发现,程序员一般对于智能合约的兴趣已经开始进入到一个历史最高的水平,而伴随着区块链技术逐渐的发展,相信未来的一段时间内,智能合约就会和我们的生活紧密的相关。 什么是智能合约 这是来自于跨领域法律学…

智能合约是什么?

前言 智能合约是区块链实现可编程化的重要工具,它的出现使得基于区块链的DAPP得到空前的发展。在比特币时期,脚本仅限于描述交易的内容和状态。随着智能合约(smart contract)的出现,可定义任何数据对象的状态操作&…

四十种 智能合约 支持平台

目录 1. 以太坊( Ethereum ) 2. Quorum 3. Wanchain 4. ternity 5. Zen 6. Counterparty 7. Rootstock (RSK) 8. RChain 9. Qtum 10. Ark 11. EOS 12. Neo 13. NXT 14. Nem 15. Waves 16. Stratis 17. Stellar 18. HyperLedger Fabric…

单相逆变原理验证仿真

为了用全桥控制一个电感中的电流跟踪指令电流,simulink图如下图1: 图1 前向通道传递函数,闭环伯德图如下: s tf(s); %LC及并联电阻R的值 L1*10^-3; R10; %调制限号到占空比的传递函数,dVcont/Vramp -> d/Vcont 1/Vramp1Kcd …

Nginx【概述、应用场景、环境准备、下载与安装、目录详解、】(一)-全面详解(学习总结---从入门到深化)

目录 Nginx概述 Nginx 四大应用场景 为什么用Nginx 环境准备 Nginx下载与安装 Nginx目录详解 Nginx概述 Nginx是一款轻量级的Web服务器、反向代理服务器,由于它的内存占用少,启动极快,高并发能力强,在互联网项目中广泛应用。Ngi…

SCAU-8610-数据结构-顺序查找

#include"malloc.h" /* malloc()等 */ #include"stdio.h" #include"stdlib.h"typedef int ElemType; typedef struct /*静态查找表的顺序存储结构 */ {ElemType *elem; /* 数据元素存储空间基址,建表时按实际长度分配,0号…

高通QCOM 8610平台电量计算

一: SOC(荷电状态)计算方法 公式: SOC RUC / (FCC-UUC) 名词: 术语 全称 注释 FCC Full-Charge Capacity 满电荷电量 UC Remaining Capacity RC 剩余电量 CC Coulumb Counter 电量计 UUC Unusable C…