Blockchain的鱼和熊掌系列(11)Smart Contract

The smart contract is a new way to formalize an online business relationship. The basic idea of it is that many kinds of contractual clauses such as collateral, bonding etc, can be directly embedded in an electronic contract for dealers mutually, and executed under a mathematically trustworthy protocol in the absence of a third trusted part.

Q1: 智能合约(the smart contract)是什么鬼?
智能合约本质上是一段计算机程序,该程序定义了一些现实生活中纸质合约的场景,一旦相应的事件发生,该电子合约就被虚拟平台(前提是满足图灵完备性)执行,比如一份智能合约如下:

if( 事件A被触发 ){
    将电子现金转给客户A;
} else{
    将电子现金转给客户B;
}

和纸质合约不同的是,智能合约是非常灵活的,比如:可以直接附加上电子货币(比如比特币的钱包地址)。

Q2:智能合约的执行平台?
为了执行智能电子合约的这些计算机程序段,我们需要一个虚拟的平台——不等价于所谓的 “可信第三方”,比如该虚拟平台可以是Blockchain平台(受整个网络算力的监管,验证,采用数学概率上的安全性来替代所谓的“第三方”的安全性),以及一般化地那些具有图灵完备能力的平台,因为电子合约上定义的规则都是图灵完备性的。

Blockchain的鱼和熊掌系列(11)Smart Contract_第1张图片

话外:为了保证智能合约中数据的安全性,我们需要通过数据加密技术对合约中的内容进行加解密操作——这就是Hawk协议的主要工作:基于1997年Szabo N.先生的智能合约理论基础,实现的一种数据加密安全协议套件。

欢迎关注“Aha实验室”微信公众号

Reference
[1] Szabo N. Formalizing and securing relationships on public networks[J]. First Monday, 1997, 2(9).
[2] Buterin V. A next-generation smart contract and decentralized application platform[J].white paper, 2014.
[3] Kosba A, Miller A, Shi E, et al. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts[C]//Security and Privacy (SP), 2016 IEEE Symposium on. IEEE, 2016: 839-858.

你可能感兴趣的:(区块链原理和应用)