7月16日,在由石榴财经主办的B16区块链思想节上,联动优势首席架构师刘胜挑战了当前普遍认可的“以太坊为代表的图灵完备的智能合约” 区块链2.0的发展方向,在他看来,图灵完备的智能合约内涵了极大的复杂性,导致不安全、效率低,不适合比较严肃的金融场景,绝对要慎重使用。

以下为刘胜讲演内容精编,由巴比特整理。

我今天演讲的主题是图灵完整的智能合同是否有必要?当我们谈到区块链金融时,我们会将比特币代表的数字货币称为区块链1.0,而以ethereum代表的smart contract称为区块链2.0。目前,3.0的定义仍然很模糊。注意这里有一个隐含的假设区块链2.0是由图灵完全智能契约代表的区块链技术,但我今天要挑战这个概念。

什么叫图灵完备?

如果我们的程序或系统可以模拟和运行通用图灵机,使所有可计算的东西可以计算,这是通用图灵机。图灵机本质上是一种泵的需求,它可以将输出集和当前状态转换为输出集和下一个状态,它与我们的正常功能有什么不同?它有状态,有记忆,很多情况下说韭菜没有记忆,所以总是被切掉。通用图灵机的核心组件,如我们看到的程序,它有一个CPU,那么CPU运行一些程序,逻辑,代码,和输出输出集合,它必须有一个内部状态的记忆,毕竟这些东西,这是一个通用图灵机模型,事实上,从某种意义上来说,人也是一种变化的图灵机。

什么是智能合约?

第二个概念,智能合同。尼克•萨博(Nick saab)在1996年发表的论文《智能合同的概念》(the concept of smart contract),实质上是一套承诺,以数字形式呈现。此外,还有一系列补充协议,以确保参与者能够理智地履行这一承诺,这就是聪明的契约。

让我们在智能合同和传统合同之间做一个类比,传统合同的条款是让人们看的,而智能合同是让机器看的,让机器读的,这是一个数字合同。传统的合同可能是纸质合同,只是信息和内容,而智能合同不仅仅是条款、内容和信息,还包括合同的执行方式、知识代码或系统。核心是这些术语可以嵌入到硬件和软件中。此外,智能资产完全内置在资产中,如智能锁、共享自行车等。集中公司控制的资产是单一的。如果在分散的共享经济中,资产本身具有独立运作的能力,而我支付租金,它就会自动打开智能锁。

为什么图灵完备的智能合约不适合区块链?

图灵完整智能契约的典型模型是,它可以接受输入事务、事件和输出事务和事件,并且在内部存储其值和状态,所有这些都基于区块链的可信分布式账簿。

这张图很完整,是灵丹妙药吗?有什么好处吗?方便,灵活,开发者友好,易于编写一个聪明的合同。但它的缺点,因为开发人员友好,是它的复杂性,这并不意味着复杂性blockchain本身是复杂的,这并不意味着聪明的合同是复杂的,这意味着它可以容纳非常复杂的东西,它需要执行一个非常复杂的事情。复杂性导致一些恶劣的影响,一些不安全,一些低效。

首先,区块链执行智能契约时效率低下。为什么?因为区块链执行不只是一次执行,它需要所有节点执行一次智能契约。例如,现在ethereum中有数万个节点从头到尾执行smart contract,这是非常低效的。其次,当你试图适应复杂性时,在内部执行也非常困难,所以让我们做一个哈希,你直接做一个哈希,你用一个聪明的契约做一个哈希,中间效率可能会差50倍,接近两个定量水平。第三个也是最大的问题是安全问题。尽管它的风险事件并不多,但却涉及巨额资金。很多事件都是基于区块链本身的安全机制。

所以smart契约,本质上,应该被理解为一个预先制定的规则。从合同来看,它是合法的合同吗?不,这是预制。这是聪明的吗?有限的可编程性。就完整性而言,图灵并不完整,但更常见的是图灵不完整。例如,一个无限循环的法律条款是绝对不可行的。法律条文或规则越清楚越简单越好。交互性不适合访问外部参数,不是由一个节点执行,而是由数万个节点执行。

我们通常有两种思维模式。一是互联网产业的思维方式,二是金融业的思维方式,互联网的思维方式。金融行业最大的问题是确保合规安全。每个场景,每个事件都应该有一个应急预案。你不能说将来会发生什么问题。图灵的综合智能合同引入了太多的不确定性,不适合更严重的财务场景,绝对要谨慎使用。

基于我们的实际经验,我们在金融场景中需要什么?为了限制和隔离,图灵是不完整的,更安全,更容易控制。区块链不能篡改,图灵完成太复杂,可能存在漏洞,木马或安全风险,这是矛盾的。

所以我们需要重新理解智能合约,它运行在区块链之上,是需要多方自主执行的,它是一个预制规则,而不是无限制的智能,它核心的目的是什么?是对链上的交易做检查、做限制,在这种场景下,它不需要太智能的,不需要图灵完备。



相关文章