入门 | 从比特币、EOS、MakerDao 3个案例来看,什么是智能合约?_EOS:DAI

作者:黄世亮

来源:闪电HSL

原标题:《初步清晰理解智能合约》

1995年,计算机科学家,法学家和密码学家,尼克·萨博提出了智能合约这个概念。但纵然牛逼如尼克·萨博,也没有清晰地定义出什么是智能合约。

区块链的发明,特别是以太坊的发布,让智能合约这个概念在区块链领域火热起来。但到现在,以太坊也已经运行了4年多了,各种自称为智能合约的产品已经运行超过4年了,但智能合约到底是什么,其实也没有一个清晰的概念。

从以太坊开始,我就特别想搞明白智能合约到底是个什么东西。但好几年了,我还不知道。

我觉得如果不能清晰定义出这个概念,那智能合约就会被玄学化,各种子就会拿智能合约来行。这是行业的悲剧。

既然我无法全面理解智能合约,今天我退而求其次,先理解一个目前区块链行业内有共识的智能合约的子集——智能数字货币资产处置合约。这个词是我造的。目前在以太坊上的数字货币资产的程序化处置,肯定是智能合约的范围。我们先清晰地理解这个子集。

Offchain Labs发布Arbitrum Orbit开发工具和快速入门指南:6月22日消息,Arbitrum开发团队Offchain Labs发布Arbitrum Orbit开发工具,旨在帮助开发人员在L3区块链Arbitrum Orbit上更轻松地进行开发,并管理自己的Arbitrum Rollup和Any Trust链。此外,Offchain Labs还提供了快速入门指南和Orbit DevNet链上工具,后续将发布测试网和主网指南。[2023/6/22 21:53:51]

我们把讨论的范围限定在数字货币资产,什么是智能合约,就非常清晰了。先看三个例子。

比特币挖矿获得BTC奖励的过程,就是一个智能合约。

比特币挖矿出块奖励的规则,从2009年第一个bitcoin节点软件发布时就定下来了,而且将会一直以这个规则运行下去。比特币创世块发行量是50BTC,然后是平均10分钟能被挖出一个块,一个块奖励50BTC。每挖出21万个块后,每个区块奖励减半。现在已经执行到了第二次减半,每个区块奖励12.5BTC。

波场TRON联合清华大学学生区块链协会推出区块链应用开发入门课程:据官方消息,波场TRON联合清华大学学生区块链协会THUBA推出了区块链应用开发入门课程“波场TRON区块链训练营”。该课程共分为4节,旨在通过深入浅出地介绍波场底层基础设施、协议标准和生态发展,为大家深入了解波场公链的实际用例,培养个人编程开发技能提供优质的学习和实践机会。

此次波场TRON与THUBA的合作获得了广大从业者、开发者的积极响应,展现了波场TRON大力推动区块链的“产学融合”,持续培养行业优秀人才的强大决心。

波场TRON致力于打造下一代全球互联网及金融基础设施。目前,波场公链用户总数超过1.63亿,交易笔数超57亿,总锁仓量(TVL)超122亿美元。[2023/5/31 11:50:05]

任何人都可以参与挖矿,你只要遵守工作量证明的规则,就可以加入挖矿大军。挖矿的工作量证明的规则,从bitcoin第一版本软件就规定好了。一直都是对全世界公开透明。

所有的挖矿奖励交易记录,都是公开透明的完整地记录在比特币区块链里。不可篡改,也不可删除。

历史上的今天丨“学习强国”平台上线《区块链技术入门》视频学习课程:2019年10月27日,由中宣部主导开发的“学习强国”平台已上线《区块链技术入门》视频学习课程。视频共有25集,内容主要包括区块链初步介绍、区块链中的共识协议、比特币初步、以太坊与智能合约初步、区块链性能提升、区块链的安全性、区块链与大数据等方面的基础知识,以及通过对区块链实例的深入分析和具体的编程代码示例。[2020/10/27]

挖矿的整个设计,就像是一个劳动合同。你只要向比特币系统提交了按规则约定好的工作量,系统就会给你奖励工资。整个合同,都是以代码的形式固定在系统里。而且整个合同的执行,是纯自动的,不需要任何外力的介入。

这就是智能合约。合约的参与方是自由进出,合约的“劳工方”提交“工作量”,系统自动验证“劳动量”,“劳工方”获得“BTC工资”。

合约规则以代码形式固定;参与合约无须授权自由进出;整个合同的执行,纯自动,无须干预;100%公开透明,历史100%被记录,不可篡改,不可删除。

比特币挖矿这个智能合约,稳定运行了超过10年了,没有出现问题。牛逼到爆炸。

声音 | 现在Bakkt的进入门槛还是高的:Primitive Ventures创始合伙人万卉(Dovey Wan)在微博上表示,Bakkt前12小时交易量,28BTC。现在Bakkt并没有接入类似Interactive Broker这样的券商,而且依赖于ICE几个大的传统券商,所以进入门槛还是高的。问题不大 ????[2019/9/23]

在现实生活中,你知道我们签订劳务合同,上班,领工资是怎么一回事。和挖矿相比,区别是什么。

比特币挖矿类似于一个“劳务换取BTC工资”的智能合约。我们再来看一个“商品出售”智能合约。

2017年6月26日,EOS开始进行ICO,一直持续到一年后,创下融资40亿美元的历史记录。史上最成功的融资之一。

EOS的ICO的执行方式是这样的。BM开发了一个“程序”,程序运行在以太坊区块链上。

动态 | CFTC发布智能合约入门书:据cointelegraph消息,根据11月27日的公告,美国商品期货交易委员会(CFTC)的金融科技创新中心LabCFTC已经发布了智能合约入门书。该书是LabCFTC的第二个金融科技教育出版物,第一个是2017年10月的虚拟货币入门。该入门书还概述了CFTC的监督,突出了CFTC监管实体可用于智能合约的领域,特别是金融领域。[2018/11/28]

EOS-ICO程序有一个收ETH的地址,任何用户都可以往这个地址转入ETH。

每隔23小时,EOS-ICO程序会统计该地址收到多少ETH,以及分别由哪个用户的地址转入了多少ETH。

EOS-ICO程序然后会将200万个EOS-erc20代币,平均分配给这些ETH。

转入过ETH的用户,可以再次使用自己的以太坊账户,向EOS-ICO程序调用支付函数。支付函数就会向用户的地址返回一笔EOS-erc20代币。

这就是一个典型的,支付货币,智能合约,向用户交付商品的过程。

最后,这个EOS-ICO程序收到的所有ETH,只能由BM提取,他们控制了这个程序的私钥。

EOS-ICO程序,就是一个智能合约,是一个自动的收取用户ETH,自动向用户交付商品的智能合约。

同样的,合约规则由代码固定;参与合约无须授权;合约执行纯自动;100%公开透明,不可篡改,不可删除。

EOS-ICO这个智能合约,稳定运行了1年,共361期,没有出现任何差错。共出售了10亿EOS-erc20代币,总融资额超过40亿美元。牛逼到爆炸。

在现实生活中,我们知道“商品竞价出售”的过程是什么样的,被设计成智能合同后,区别有多大。

最后,我们来看一个“完成央行职责发行货币智能合约”MakerDao。MakerDao合约很复杂,复杂使人担心,简化是出路。

央行的主要职责是发行货币和调节货币市场利率。MakerDao智能合约干的就是这事。

MakerDao合同有两个参与方,抵押借贷方,和市场利率调节方。

抵押借贷方通过将自己的ETH,充值进MakerDao合约抵押,合约则向借贷方发送Dai。Dai是一种稳定币,期望做到和美元1:1锚定。

抵押率先假定为60%,即价值100美元的ETH,可以抵押出60Dai。再假定爆仓线为125%,即如果抵押品的价值跌到了借贷额的1.25倍,就触发系统拍卖程序,其他用户可以通过将Dai发给拍卖程序,可以购买到低于市场价格的ETH。拍卖程序促使抵押借贷者在价格下跌时,及时将Dai还款,赎回抵押品。

那Dai如何能实现和美元锚定的目标呢?

首先要问的是,MakerDao智能合约怎么可能知道Dai和美元之间的汇率?MakerDao合约本身并不知道,但有人会给合约提供这类数据,这就是市场利率调节方。

MakerDao发行了一种币,叫MKR。MKR持币人享有合约运行收益的分红权。而抵押ETH借贷Dai的抵押率,爆仓线,等合约的参数是由MKR持币人投票决定的。

MKR的分红权让持币人有动力维持Dai和美元的稳定锚定。一个策略是调节抵押率和爆仓线。第二个策略是市场套利。

MKR持币者是Dai和美元波动最大的套利者,他们是拍卖程序的最积极参与者,为的是套取其中的拍卖价和市场价的差额。如果1Dai低于1美元,MKR持币者就赎返Dai,以降低Dai在市场上的供应。反之,1Dai高于1美元,MKR持币者就会抵押ETH发行Dai,以提高Dai的供应。

以上设计就形成一个逻辑自洽的抵押发行稳定币的系统。

MakerDao程序,就是一个智能合约。这个智能合约包含了比特币挖矿这种“劳务合同”属性,系统鼓励参与者发现市场利率,从中套利;又包含了EOS-ICO智能合约的“商品出售合同”属性,参与者可以使用ETH向合约“购买Dai”。

整个合约,同样的,合约规则由代码固定;参与合约无须授权;合约执行纯自动;100%公开透明,不可篡改,不可删除。

MakerDao已经稳定运行超过两年了。市场抵押出1亿Dai,即1亿美元。没出现问题。牛逼到爆炸。

从上面三个例子,我们可以看到将讨论范围限定的加密数字货币资产领域后,智能合约的定义。

智能合约是我们熟悉的经济生活中的合同概念在互联网上的一个延伸。智能合约,就是智能合同。

合同最重要的三大属性是:金钱或财产;合同参与方的权力和责任;以及违约处置办法。

智能合约最重要的三大属性是:加密数字货币;参与合约的条件和收益;合约规则。

合同是依赖于现实生活世界的约定成俗,和法律保证,以及人的承诺信用等。

智能合约依赖于代码规定,所以被广泛地认定为,codeislaw。

智能合约的重要特性包括:在合约条款以代码形式固定;参与无须授权;合约自动执行;公开透明,不可篡改,不可删除历史记录。

最后,我没能给出一个智能合约高度抽象的定义,可能就目前来说,这是时代的局限,整个行业都没法给出清晰的定义。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:46ms0-7:602ms