一、什么是智能合约
智能合约是当下炙手可热的区块链名词,其火热程度与其概念的模糊程度相伴相生。Peter Todd(比特币核心的开发者之一)就曾直言:“没有人理解智能合约究竟是什么,我们应该需要预言机去实施它。”要理解智能合约及其背后的刑事风险,显然不宜在自己构建的一套话语体系下自说自话,而不妨回顾其发展历程,尝试厘清什么是旧问题,什么是新问题。
(一)智能合约的四个阶段
如果我们把智能合约理解为是一种“自动达成并履行交易”的“合约”或“器物”,那么它并不是一个新生事物。甚至与其他许多法律事物一样,它的起源也带有宗教色彩。根据Heron在其所著的《气体装置(PNEUMATIKA)》中的描述,早在公元前的古埃及神庙,就有一种自动销售“圣水”的机关:只要投入一枚硬币,就能使盘子倾斜并打开一个阀门,使圣水流出,直至硬币从倾斜的盘子上滑落,此时平衡杠杆被拉回原位,圣水就停止流出。依靠人们对宗教的崇敬、信赖、恐惧,这种自动销售机关解决了“无人合同”的信任问题,但随着宗教式微,这种信任也随之散去。
Risk Harbor宣布为Anchor和UST推出自动化跨链智能合约风险和脱钩保护:Risk Harbor宣布为以太坊上的储蓄协议Anchor和Terra稳定币UST推出自动化跨链智能合约风险和脱钩保护。针对Anchor智能合约风险,Risk Harbor利用Terra创建的Eth Anchor桥来检查aUST到UST的可赎回性。如果赎回能力明显低于预期,用户将被允许把他们的aUST换成另一种稳定币衍生品,如cUSDC、yvDAI等。为了预防UST脱钩损失,RiskHarborh会在Uniswapv3上检查1小时内wrappedUST到USDC的时间加权平均价格(TWAP)。如果该价格低于预定的损失阈值,索赔是有效,Risk Harbor将允许UST持有人将他们的UST换成USDC。否则,索赔无效。[2021/8/26 22:38:27]
到了18-19世纪,类似现代的自动售货机出现了,依靠机器所提供的保障货物和存储硬币安全的机制,人们又一定程度上解决了“无人合同”的信任问题。但由于机器的局限性,其容易发生故障、被使用假币,甚至直接被人为破坏,这种“无人合同”也终究难以让买卖双方真正放心。
SpaceSwap宣布智能合约已通过Lianantech安全审计:DeFi聚合器SpaceSwap宣布,在SpaceSwap 2.0发布期间,SpaceSwap智能合约已由区块链安全公司Beosin旗下Lianantech进行了审计,Lianantech表示其智能合约能够正常运行,没有检测到关键的错误或漏洞。
此外,10月3日,SpaceSwap发推称,MILK2和SHAKE代币正式上线Mooniswap平台,该项目正在将这两项资产添加到其白名单中。(Pressat)[2020/10/4]
到了1994年,计算机专家尼克·萨博创造了现代意义上的智能合约概念:“智能合约是执行合同条款的计算机化交易协议。设计智能合约的总体目的是满足共通的合同条款(如支付条款、担保执行条款、保密条款,甚至执行条款),最小化故意或过失的例外情况,最大限度地减少对可信中介的需求。相关的经济目标包括降低欺诈损失,仲裁和执法成本以及其他交易成本。”相比机械时代,这种智能合约显然更加安全,但其运行和纠纷解决仍然仰赖一个或多个第三方权威。同时,它还缺乏一个“价值系统”,用以打破数字世界与真实世界财产交互的隔阂。
IBM区块链升级,将提供去中心化智能合约治理选项:IBM正在升级其企业区块链解决方案,以向客户提供新的去中心化治理选项,允许交易方提出和修改智能合约参数。据介绍,IBM区块链平台将延续其底层——Hyperledger Fabric 2.0的变化,并声称此举“极大地提高”了整体安全性和可用性。除了改善性能和数据隐私,IBM在一篇博客文章中表示,升级将彻底改变平台的智能合约治理。尽管IBM表示,它正在全力推进Hyperledger Fabric 2.0集成,但并没有提供预期投入使用的时间框架。(Coindesk)[2020/5/12]
到了区块链时代,基于区块链产生的智能合约一定程度上弥补了上述旧智能合约的缺陷。一方面,凭借分布式账本带来的共识机制,数据变得高度可信,不需要第三方权威的介入;另一方面,依托数字货币的流通,智能合约可以与真实世界的财产进行交互。
公告 | Taxa Network已通过区块链安全公司CertiK智能合约安全审计:Taxa团队宣布已通过区块链安全公司CertiK智能合约的安全审计,这将确保Taxa主网在今年春天顺利发布。CertiK的智能标签对TXT智能合约源代码进行了100%形式化验证覆盖,并辅以安全专家人工逐行审核。审计结果认为TXT智能合约结构坚固,不存在整数溢出、函数错误、缓冲区溢出等漏洞。[2020/2/13]
(二)区块链智能合约的运行架构
从本质上讲,区块链智能合约就是一段写在区块链上的代码,但我们应当从动态运行的角度来观察它。区块链智能合约包括:(1)合约参与者;(2)合约资产;(3)自动状态机(负责当前资源状态判断和合约交易执行选择);(4)一系列合约参与者的行为集合。
具体而言:
(1)某人将编写完成的程序代码保存在区块链上,然后发送信息调用函数,即可在每个验证节点的虚拟机上执行这一智能合约;
声音 | Messari开发者:稳定币夺走了智能合约平台货币溢价机会:区块链初创项目Messari开发者王启奥发布推文称,稳定币基本上扼杀了所有智能合约平台累积巨额货币溢价的机会。ETH在2018年一路飙升至1400美元,主要是因为ETH可被用作进行ICO的钱,BNB在2019年上涨至30美元,同样是因为BNB可被用作是进行IEO的钱。如今,用户如果可以使用稳定币在智能合约平台 / 生态系统中实现价值转移的结算,那为什么还要使用波动很大的原生加密资产呢?此外,稳定币还扼杀了比特币作为汇款和资本外逃的用例。在场外交易市场中,稳定币的交易量可能已经超过了比特币。但是,比特币仍然拥有不相关资产类别和数字黄金的用例。稳定币仅与基本法定货币一样好。作为价值存储,比特币也比稳定币更具抗震性。当涉及到这些用例时,ETH 和其他智能合约加密资产根本无法与比特币区分开来以克服其网络效应。我仍然认为,智能合约平台 / 高度可编程的区块链将改变世界,但对它们发行的原生代币看跌。[2020/1/8]
(2)智能合约定期检查自动状态机状态,逐条检查合约内包含的状态机、交易以及触发条件;
(3)交易触发条件满足时,条件满足的交易将被推送到待验证的队列中,等待共识;
(4)相关交易会扩散到每个验证节点,由其进行签名验证,确保交易的有效性,待验证节点根据规则达成共识后,交易将成功执行,引发合约资产的变化,同时通知合约参与者;
(5)自动状态机判断所属合约的状态,若合约内所有交易都顺序执行,便将合约状态标记为完成,从最新的区块中移除该合约。
通过对智能合约前世今生的梳理,我们可以发现区块链智能合约的两大特性:第一,它是自动执行的(与其说它是智能化的,不如说它是自动化的),这点如同它的前辈;第二,它是基于区块链技术展开的,这既带来了新的更为稳固的共识机制,又可能刺激新型犯罪手段和新型犯罪形式产生。
二、作为犯罪机构的智能合约
每当犯罪工具的迭代,我们总会探讨诸如“以前用菜刀杀人和现在用机器人杀人的区别”的问题。由于区块链的便利性、安全性、匿名性和不可逆性,导致它容易成为传统犯罪的一种新型犯罪手段。对于人工智能可否作为刑事责任的主体,已有江溯教授从刑法哲学的角度证成(详见江溯《人工智能作为刑事责任主体:基于刑法哲学的证立》),而利用智能合约来买凶杀人、贩、贩卖人口的等当然构成相应的传统犯罪,但仍有诸多新问题值得讨论,以下试举几例,以抛砖引玉。
第一,是虚构智能合约交易的问题。犯罪分子一方面想利用智能合约的诸多便利进行犯罪,另一方面又想逃避监管,不暴露犯罪细节(智能合约在区块链上对所有人可见),这时就会选择虚构一个智能合约。对这种虚构行为:首先,其没有攻击、篡改智能合约,不构成计算机相关犯罪;其次,相关犯罪交易顺利完成的,由于虚构智能合约行为既是帮助掩盖非法交易行为,同时也是转移犯罪所得的行为,应当构成罪;最后,相关犯罪交易没有完成的,应当认定其构成相应犯罪的预备犯,当然,这有提前犯罪预备认定时点之嫌,毕竟在一个传统案件中,单是一个虚构合法交易的行为显然还到不了犯罪预备的程度,但考虑到智能合约的特殊性,其用于犯罪带来的社会危害性远比传统行为广泛,因此提前认定犯罪预备时点是有必要的。
第二,是明知的问题。利用智能合约招募共犯,其特点是共犯之间可能完全是陌生人,主观上甚至不一定有犯意联络。举一个简陋的例子,贩罪的主犯可以通过智能合约发布一个把某包物品装上卡车的招募,再发布一个把某个装有的卡车开到特定地点的招募等,收到并完成招募的行为人虽然参与了同一个犯罪行为,但彼此之间没有犯意联络,缺乏双向的犯意交流证据,彼此之间更谈不上有“精神鼓励与支持”,这就对部分实行全部责任原则造成了冲击。
第三,是平台责任问题。区块链智能合约虽然是基于一个分布式的平台诞生的,但这并不意味着它不会与中心化的网络平台(如提供金融服务、托管服务的交易所、钱包等)有交集。我国《刑法》第286条规定了拒不履行信息网络安全管理义务罪,该罪给网络平台的建立者、管理者赋予了网络安全管理这一新的刑法义务。面对利用智能合约进行传统犯罪的市场,刑法不允许平台管理者视而不见甚至纵容。当然,这种管理义务、审查义务到何种程度,是需要管理者辨明相关地址的高风险性即可,还是有更高的要求,还待实践进一步探索。但不可否认的是,网络平台管理者不能以自己“完全没有能力”影响相关犯罪市场为由消极管理,而应以积极合规的心态和手段避免平台行政责任甚至刑事责任。具体的合规方向可以分为两个:第一是尽到鉴别有害的智能合约和高风险地址的义务;第二是尽到保护智能合约及区块链本身不被黑客随意攻击的义务。
写在最后
每当面对区块链产生的新事物,我们总会特别强调合规意识、合规思维,一种技术上的乌托邦不可能在现实中真正扎根落地,而必须受到中心化平台——不论是商用平台,还是公权力平台的处处管理和监管。区块链智能合约的参与者、平台管理者应当有意识、有准备,去面对其蓬勃发展中可能出现的法律风险,特别是刑事风险。
摘要:比特币作为有史以来第一种加密货币,缺乏其他一些加密货币所具备的功能。 Taproot 升级计划于 2021 年 11 月的某个时候实施,将为比特币带来大量功能,包括更低的费用、增强的隐私和.
1900/1/1 0:00:001.四川发布禁令后 中国BTC算力大幅下降来自BTC.com的数据显示,在过去24小时内,15个实时算力最强比特币矿池哈希算力几乎都出现了显著下降,有些甚至下降了46%.
1900/1/1 0:00:00区块链安全是一个需要我们持续关注的问题,因为区块链上的资产和传统资产在本质上不太一样,它是基于密码学、公私钥之类的技术。如果真的发生了的话,资产被追回的可能性是远低于传统资产的.
1900/1/1 0:00:00风物长宜放眼量。现下市场被多方力量压制,正当是我们静下心来学习,看清远方的高山,为以后的道路清扫脚下沙砾的时候。赚钱需要契机,但持续的赚钱需要知识,学习永不止步.
1900/1/1 0:00:00DeFi数据1.DeFi总市值:846.66亿美元 市值前十币种排名数据来源DeFiboxDeFi总市值数据来源:Coingecko2.过去24小时去中心化交易所的交易量:35.
1900/1/1 0:00:00现在算法稳定币不是市场热点,短期内很难有亮眼表现,且参与算法稳定币也有极高的风险。所以这里需要特别提示的是,算法稳定币有归零风险,如无风险承受能力,千万不要参与.
1900/1/1 0:00:00