如何理性看待智能合约
就像近年来的"区块链"、"人工智能"和"云"一样,"智能合约"也是十分热门的话题之一。
通过智能合约能够实现:
· 自动、公正地执行合约;
· 无需中间人的介入。
在执行合约时,如果无需获得另一方的信任,那么事情的效率会更高。
那么,智能合约究竟是什么?在本文中,我将探究何谓智能合约,以及其运行原理。
智能合约是什么?
通常,合约是双方或多方对某件事达成的协议。
例如,Alice向Bob付钱租住他的房屋(即租金)。Charlie每月向Denise收取一定的费用,当Denise的车坏了时帮她维修(即车险)。
智能合约的不同之处在于,合约条款都是由计算机代码评估和执行的。例如,Alice同意支付500美元给给Bob,3个月后从他那购买沙发。这些代码可以确保Alice是否完成支付,以及是否收到沙发,而且双方都无法退出。
智能合约的关键特点是无需信任第三方,即你不需依赖第三方来执行合约条件。无需依赖对方言行一致,也需要依赖律师和法律体系解决违约问题。一旦出现问题,智能合约会确保合约的执行。
智能合约并不智能
“智能”似乎指合约天生具有智能性,但并非如此。智能合约的智能体现在,执行合约无需另一方的合作。确保合约的执行是智能合约的强大之处。
智能合约会考虑到所有情况,遵循合约精神,即使在最不明朗的情况下也做出公平的裁决。换句话说,智能合约像一名出色的法官。
智能合约并不简单
由于以太坊的大热,人们错误地以为智能合约只存在于以太坊中,这并不对。
从2009年开始,比特币就有智能合约语言Script。而智能合约实际出现在1995年,早于比特币。比特币的智能合约语言与以太坊的区别在于,以太坊是图灵完备的。也就是说,以太坊的智能合约语言Solidity能执行更复杂的合约,但分析难度更大。
虽然复杂的合约能够处理更复杂的情况,但是合约越复杂则越难保证和实施。
在图灵完备的情况下执行合约并不容易,而且很难进行分析。确保图灵完备的智能合约相当于去证明计算机程序不存在漏洞。这是很难的,因为目前几乎所有的计算机程序都存在一定程度的漏洞。
编写智能合约需要多年的学习和过硬的专业知识。但目前很多合约都是由新手写的,当中难免会出现一些问题。
在解决这个问题方面,比特币的做法是让合约不具备图灵完备性。这让合约更容易分析,因为这种情况下更易于列举和检查。
以太坊则是交给合约编写者,合约编写者需要确保合约按其意图执行。
智能合约不是真正的合约
虽然让编写者确保合约听起来不错,但这会带来一些集中性问题。
以太坊的理念是"代码就是法律"。也就是说,以太坊的合约具有共识性,没有人能否决。这个理念指的是,智能合约的开发者是独立的,如果你搞砸了自己的智能合约,那么后果自负。但当发生DAO事件时,这就行不通了。
DAO指的是"去中心化自治组织(Decentralized Autonomous Organization)",DAO在以太坊进行众筹。用户可以将资金存入DAO,并根据DAO投资获得收益。当以太币交易价格到达20美元左右时,DAO募集了1.5亿美元的以太币。
这在理论上听起来不错,但有一个问题。由于代码没有得到很好的保证,导致有些人利用合约的漏洞,从DAO中牟利。
之后,以太坊不再遵循代码就是法律的理念,并将DAO中的所有资金归还。另外,开发人员不在使用图灵完备性。ERC20和ERC721成为以太坊中使用最为频繁的智能合约模板,这两种合同都可以在没有图灵完备性的情况下编写。
智能合约的问题
即使没有图灵完备性,智能合约依然是不错的选择。那么比起普通合约,智能合约更容易使用吗?
例如,智能合约能用于房地产吗?
通过智能合约,Alice可以证明房子的所有权。Bob可以通过付钱给Alice购买房子。当中没有所有权的问题,而且能快速执行,不需要律师等第三方介入,听起来不错吧?
但是,这里存在两个问题。首先,通过集中的组织执行的智能合约并不是去信任的。你仍然需要信任集中的组织。去信任是智能合约的关键特征,因此集中执行并不合理,实际上你需要的是一个去中心化平台。
这就带来了第二个问题。在去中心化的情况下,只有当数字版本与实体版本间存在明确联系时,智能合约才有效。也就是说,当房子数字版本的所有权改变时,实体版本的所有权也必须改变。数字世界需要"了解”现实世界的情况。
当Alice将房子转让给Bob时,智能合约需要知道房子发生了转让。有几种方法可以做到这一点,但都面临相同的问题,现实世界中,必须有信任的第三方来进行验证。
例如,房子可以表现为以太坊上不可替代的代币。Alice可以通过将房子转给Bob获得一定数量的以太币。那么问题来了,Bob需要相信代币代表房子,而且需要确保获取代币意味着房子所有权转给他。
此外,即使政府机构证明代币代表房子,但如果代币被偷了,那会怎么样?房子会属于小偷吗?如果代币丢失怎么办?房子不能再出售了吗?房子代币可以重新发行吗?如果可以,由谁发行呢?
在去中心化的情况下,将数字与实物资产联系起来都是个难题。你名下的实体资产意味着,除了智能合约,你还需要信任第三方。也就是说,拥有智能合约并不意味着拥有实体资产,而且会遇到普通合约相同的信任问题。信任第三方的智能合约则消除了去信任化这个最关键的特性。
即使是电子书,医疗记录或电影等数字资产也面临同样的问题。这些数字资产拥有权还是有一些权威机构决定。
只有数字化无记名产品则没有这个问题。代币的所有权在智能签约平台之外,不具有依赖关系,这才能真正实现去信任化。
结语
智能合约并不是我们预期中的那么有用。
此外,图灵完备性会带来一些意想不到的问题。因此,智能合约需要避免这个问题,DAO事件也证明了这个情况。
智能合约仍然面临一些问题,比如难以确保和实现去信任化。目前只有当用于比特币等去中心化平台时,智能合约才能有效发挥其作用。
数据分析咨询请扫描二维码
CDA数据分析师在中国航信高科技产业园进行了面向测试度量的数据分析培训课程,培训人数近2 ...
2024-05-01CDA数据分析师走进深圳迈瑞生物医疗电子股份有限公司,在迈瑞总部展开了为期两天的培训,本次课程参训人员线上及线下近百人, ...
2024-05-01CDA数据分析师在合肥市对合肥阳光新能源科技有限公司开展了为期8天的企业内训。 合肥阳光新能源科技 ...
2024-05-01CDA数据分析师走进海尔大学,进行了《数据治理与数据中台建设的道与术》专题培训,培训现场爆满,近百人参加了此次培训。 ...
2024-05-01在中国银行苏州分行培训中心开始数据分析师培训,此次培训课程共10天内容,包括Excel、MySQL、概率论与数理统计、SPSS等内容, ...
2024-05-01从实际的业务需求出发,结合行业的典型应用特点,围绕实际的商业问题,探讨数据挖掘、机器学习模型在金融领域的应用,包括获客、信用评分、细分画像、交叉销售、反欺诈、违规识别、时序预测、运筹优化、流程挖掘九个方面,形成 ...
2024-05-01本次培训课程为线上+线下的模式,由于学员编程能力不一、部分学员没有编程基础,故提供统计学、python基 ...
2024-05-01华夏银行信用卡中心-机器学习培训 1、课程亮点 取材于业界一流企业和顶级咨询公司的行业实践;已经被证明是人人 ...
2024-05-01主 题:数据中台建设及数据分析应用主题分享 1. 数据中台市场洞察 2. 主流数据中台产品比较 3. 某企业数据中 ...
2024-05-01围绕“数据驱动”战略,全力打造我行 300 人数字化人才梯队,着力培养数字化管理人才、大数据专业团队 ...
2024-05-01在当今数据驱动的商业环境中,数据分析成为了企业决策的重要依据。通过对大量数据的收集、处理和分析,企业能够更好地理解市场 ...
2024-04-29在人工智能(AI)的世界里,提示词(Prompt)是一种强大的工具,它能够引导AI按照用户的需求产生特定的输出。本文将深入探讨AI ...
2024-04-29CDA立足未来职场,拓展前沿视野——对外经贸大学保险学院举办“三全育人大讲堂”分享行业最新动态。 ...
2024-04-294月2日,CDA数据分析师创始发起人兼协会理事长赵坚毅博士受邀在浙江万里学院举办了一场以“数字化能力在职场中的作用” ...
2024-04-29随机森林(Random Forests)现在机器学习中比较火的一个算法,是一种基于Bagging的集成学习方法,能够很好地处理分类和回归的问 ...
2022-12-23方差分析是数据分析中常用的一种统计分析方法,接下来让我们简单了解一下方差分析的基本思想和原理吧。 方差分析(Analysis ...
2022-12-23来源:关于数据分析与可视化 关于streamlit-aggrid 数据排序 表格样式的调整 数据 ...
2022-08-03作者:麦叔 定义 「把上面晦涩的概念汇成一句话就是:」 ❝ 回调函数就是一个被作为参 ...
2022-08-03现今,高学历人群日益增多,物以稀为贵的高学历光环淡去。无论本科生还是研究生,甚至博士生,求职竞争力都大不如前,就业压力越来越大。
2022-06-01某家企业10个人面试,有9个本科生……如何脱颖而出,除得体的举止和良好的沟通力外,证书成重要筹码,这也是很多人考证的关键所在。
2022-04-14