作者:黄世亮
来源:闪电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。
韩国议员发起提案,将处罚虚拟货币不公平交易及降低加密交易所准入门槛:5月16日,韩国国会议员Ping-wook Kim提出处罚虚拟货币不公平交易行为的提案。提案规定,禁止加密行业未经注册的商业活动和未露重要信息的行为。如果违反规定,将处以3年以下有期徒刑或1亿韩元以下罚款。操纵市场价格或用虚假手段吸引加密货币投资等行为也将受到处罚。该提案还为加密货币市场的自我监管奠定了基础。虚拟资本行业协会被要求调解业务运营商和用户之间的纠纷,制定发行、公告和虚拟货币上市的标准,并检查合规性。此外,提案还要求该协会报告交易所的市场监测结果,如果怀疑该交易所是非法的,则应立即向金融委员会报告。金融委员会应对此进行调查并采取适当的措施。另外,要求加密交易所必须在金融委员会进行注册。文章认为,比起另一个议员的提案要求交易所必须得到金融委员会批准,Ping-wook Kim的提案降低了加密交易所的准入门槛。(韩联社)[2021/5/16 22:08:13]
任何人都可以参与挖矿,你只要遵守工作量证明的规则,就可以加入挖矿大军。挖矿的工作量证明的规则,从bitcoin第一版本软件就规定好了。一直都是对全世界公开透明。
动态 | “学习强国”平台上线《区块链技术入门》视频学习课程:金色财经报道,由中宣部主导开发的“学习强国”平台已上线《区块链技术入门》视频学习课程。视频共有25集,内容主要包括区块链初步介绍、区块链中的共识协议、比特币初步、以太坊与智能合约初步、区块链性能提升、区块链的安全性、区块链与大数据等方面的基础知识,以及通过对区块链实例的深入分析和具体的编程代码示例。[2019/10/26]
所有的挖矿奖励交易记录,都是公开透明的完整地记录在比特币区块链里。不可篡改,也不可删除。
挖矿的整个设计,就像是一个劳动合同。你只要向比特币系统提交了按规则约定好的工作量,系统就会给你奖励工资。整个合同,都是以代码的形式固定在系统里。而且整个合同的执行,是纯自动的,不需要任何外力的介入。
这就是智能合约。合约的参与方是自由进出,合约的“劳工方”提交“工作量”,系统自动验证“劳动量”,“劳工方”获得“BTC工资”。
合约规则以代码形式固定;参与合约无须授权自由进出;整个合同的执行,纯自动,无须干预;100%公开透明,历史100%被记录,不可篡改,不可删除。
动态 | 《幼儿区块链入门》在亚马逊儿童新书榜中排名第一:CNN编辑Alex Koppelman在推特上晒出一本名为《幼儿区块链入门》(《Blockchain for Babies》)的图书。据悉,此书在儿童实用书类新书榜中排名第一。[2019/1/8]
比特币挖矿这个智能合约,稳定运行了超过10年了,没有出现问题。牛逼到爆炸。
在现实生活中,你知道我们签订劳务合同,上班,领工资是怎么一回事。和挖矿相比,区别是什么。
比特币挖矿类似于一个“劳务换取BTC工资”的智能合约。我们再来看一个“商品出售”智能合约。
2017年6月26日,EOS开始进行ICO,一直持续到一年后,创下融资40亿美元的历史记录。史上最成功的融资之一。
泰国将于4月颁布加密货币监管法案,ICO市场准入门槛为500万泰铢:泰国央行行长Veerathai Santiprabhob表示:“上周与该国副总理、财政部长以及其它相关机构开会之后一致同意颁布新法律全面监管加密货币,这项新法案预计在一个月内完成。目前,市场参与者已经开始行动,旨在满足SEC提出的投资准入要求,即泰国的ICO运营商必须提供不少于500万泰铢(约16万美元)的注册资金。”[2018/3/13]
EOS的ICO的执行方式是这样的。BM开发了一个“程序”,程序运行在以太坊区块链上。
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。
智能合约的重要特性包括:在合约条款以代码形式固定;参与无须授权;合约自动执行;公开透明,不可篡改,不可删除历史记录。
最后,我没能给出一个智能合约高度抽象的定义,可能就目前来说,这是时代的局限,整个行业都没法给出清晰的定义。
-DannyRyan-十月底于台北矽谷会议中心举行的?Crosslink2019Taiwan,吸引了来自世界各地的区块链爱好者们齐聚一堂.
1900/1/1 0:00:00全球主要的加密货币衍生品交易市场BitMEX的比特币日交易量已经达到了2019年的最低水平。上一次BitMEX交易所记录到如此低的位置时,仅两天后BTC价格就飙升了20%以上,从而开始了2019.
1900/1/1 0:00:00MorganCreekCapital首席执行官马克·尤斯科在今天的数字资产峰会上发表了主题演讲,向听众提供了一些简单但可能有争议的建议:出售您的亚马逊股票和购买比特币.
1900/1/1 0:00:00根据11月14日的新闻稿,沃尔玛加拿大分公司推出了一个基于区块链的货运跟踪和支付管理自动网络。 加拿大丰业银行:美联储会议纪要或进一步着眼于政策沟通:美国联邦公开市场委员会(FOMC)委员们可能.
1900/1/1 0:00:0011月22日消息,据外媒Cointelegraph报道称,总部位于巴黎的区块链游戏公司Ultra宣布,其已与游戏开发巨头Ubisoft达成了合作.
1900/1/1 0:00:00作者|?KaiSedgwick翻译|核子可乐来源|区块链前哨导语:“当时的比特币根本就没有价值,没有人使用这套系统……它只能算是SourceForge上一个有趣的科学项目,而且注定跟大众无缘.
1900/1/1 0:00:00