三种不同的框架
Hyperledger Fabric、R3 Corda三种框架在可能的应用领域上分别具有完全不同的想法。Fabric和Corda的开发是受具体用例驱动的。其中,Corda的用例来自于金融服务行业,这也是Corda可见的主要应用领域。Fabric设计提供一种模块化、可扩展的架构,可用于从银行、医疗保健到供应链等各个行业。以太坊表现出完全独立于任何特定的应用领域。然而与Fabric相比,以太坊并未突出模块化,而重在为各种交易和应用提供一个通用平台。表1给出了三种框架的情况汇总。
表1: 以太坊、Hyperledger Fabric和Corda的对比
特性 | 以太坊 | Hyperledger Fabric | R3 Corda |
---|---|---|---|
平台描述 | 通用区块链平台 | 模块化区块链平台 | 金融行业专用的分布式账本平台 |
管理方 | 以太坊开发者 | Linux基金会 | R3 |
运行模式 | 无授权,可公开,也可私有[4] | 有授权,私有 | 有授权,私有 |
共识 | 基于Pow的挖矿; 账本层面 | 支持多种方法、更宽泛的共识理解;交易层面 | 对共识的特定理解(即公证节点);交易层面 |
智能合约 | 智能合约代码(例如,Solidity) | 智能合约代码(例如,Go、Java) | 智能合约代码(例如,Kotlin、Java);智能法律合约(即法律行文) |
货币 | ETH ; ERC | 没有;通过区块链代码 | 没有 |
对等端的参与
在传统的集中式数据存储中,只有一个实体(即所有者)可以保留账本这一底层数据库的副本。因此,该实体控制了哪些数据可以提供,以及允许其它实体提供什么数据。DLT的出现,从根本上改变了分布式数据存储的方式,实现了多个实体拥有底层数据库副本,自然也支持每个拷贝做出贡献。参与分布式数据存储的所有实体,形成一种由所谓“节点”或“对等端”构成的网络。由于数据是分布式存储的,因此难以确保所有节点对一些“共同事实”(例如,账本的正确性)达成一致。因为一个节点所做的更改,必须传播到网络中的所有其它的对等节点上。达成共同事实的结果,称之为节点间的“共识”(consensus),将在下文介绍。
针对是否参与达成共识,存在两种操作模式,即无授权(permissionless)和有授权(permissioned)。如果参与无需授权,那么任何人都可以参与网络。授权模式适用于作为公共区块链的以太坊。另一方面,如果参与需授权,那么参与者是经过预先选择的,并且仅限于这些参与者访问网络。Fabric和Corda都属于后者。选择无授权或有授权的参与模式,将对达成共识具有深远的影响。
共识
以太坊
使用以太坊,无论参与者是否参与了某个特定的交易(Transaction),所有参与者必须就全部已发生交易的顺序达成共识。交易的顺序对账本的一致状态至关重要。如果无法建立明确的交易顺序,那么可能会出现双重支付(double-spends)问题,即两笔并行交易将同一枚货币转账给了不同的收款人,使其凭空受益。由于网络所涉及的各方可能是互不信任的,并且是匿名的,因此必须采用共识机制来保护账本免受双重支付欺诈,或者心怀鬼胎参与者的影响。在目前的以太坊实现中,这种共识机制的建立是使用基于工作证明(PoW,Proof of Work)方案的挖矿。所有参与者必须认同一个共同账本,并且可以访问账本中所有的记录条目。其结果是,PoW会对交易的处理性能产生不利的影响。尽管记录是匿名的,但是存储在账本中的数据仍然可供所有参与者访问。因此对于有更高隐私度需求的应用而言,这种机制存在问题。
不同于以太坊,Fabric和Corda给出了更精细的共识设计,不再仅仅局限于基于PoW或其它变种的挖矿。由于Fabric和Corda运行在许可模式下,因此可为记录提供更细粒度的访问控制,从而增强了隐私。此外,由于只有参与交易的各方才必须要达成共识,因此在性能上有所提高。
Fabric
Fabric提供了范围很广的共识理解,涵盖从将交易提交网络到将交易记录到账本的整个交易流程。此外,节点在达成共识的过程中承担了不同的角色和任务。这完全不同于以太坊,其中参与达成共识的节点具有相同的角色和任务。
Fabric将节点区分为客户节点(Client)、对等节点(Peer)和订购节点(Orderer)。客户节点代表最终用户,创建并调用交易。他们与对等节点和订购节点沟通。对等节点维护账本,并接收订购节点订购的更新消息,以向账本提交新的交易。背书节点(Endorser)是一类特殊的对等节点,任务是通过检查自身是否满足一些必要的和充分的条件(例如提供所需的签名),对交易提供背书。订购节点在客户节点和对等节点间提供了通信通道,用于广播包含交易的消息。特别是对于共识,这些通道确保了所有已连接的对等节点按照完全相同的逻辑顺序传递完全相同的消息。
但是问题会出现在这一点上。如果其中涉及多个互不信任的订购节点,在传递消息时可能会出现错误。因此,必须引入一致性算法,使得在出现故障(例如,消息顺序不一致)时仍然可以达成一致,从而使分布式账本的复制过程支持容错。Fabric所采用的算法是“可拔插的”,即可以根据特定应用的需求而使用各种算法。例如,为了处理如上所述的随机或恶意复制错误,我们可以使用拜占庭式容错的一种变体算法(PBFT)。此外,通道划分了消息流,这意味着客户节点只能看到它们连接通道中的消息及相关联的交易,而不知道其它通道的情况。通过这种方式,对交易的访问将仅限于相关方。其结果是只能在交易层面达成共识,而不能像以太坊那样在账本层面达成共识。
上面介绍了节点,现在介绍交易流的上下文。客户节点向已连接的背书节点发送交易,启动对账本的更新。所有背书节点都必须就提出的交易达成一致,因此需要根据更新所建议的账本达成某种共识。客户节点依次收集所有背书节点的批准,然后将经批准的交易发送给已连接的订购节点,由这些订购节点再次达成共识。随后,交易将被转发给持有分类账的对等节点,以提交交易。
我们在此不再做进一步的详细介绍。很显然,Fabric支持对共识做细粒度的控制,并提供对交易的受限访问,这提高了性能的可扩展性和隐私性。
Corda
类似于Fabric,Corda的共识也是在交易层面达成的,仅涉及交易的各方。交易取决于共识是满足交易合法性(validity),还是交易唯一性(uniqueness)。交易合法性通过运行与交易相关联的智能合约代码(智能合约将在下文给出详细介绍),检查需要的所有签名,并确保所引用的任何交易也是有效的。交易唯一性涉及交易的输入状态。具体而言,必须确保有疑问的交易是所有输入状态的唯一消费者。换句话说,不存在任何消耗同一状态的其它交易。这是为了避免产生双重支付。实现交易唯一性的共识,是在称为“公证人”(Notary)[9]的参与节点中达成的。其中使用的算法和Fabric一样,是“可插拔的”。因此,我们同样可以使用BFT算法。
智能合约
在第一次接触“智能合约”(smart contract)一词时,人们难免会产生相当大的误解,将其理解为某种智能地表达了某人利益的合约。尽管合约的本质仍然存在含糊不清之处,但是在直观上它似乎应与法律有关。也就是说,我们所关注的合约在本意上并非智能的,至少目前仍尚未由人工智能驱动,也尚未在其中编入具有法律约束力的义务和权利。Clark及其同事在给出“智能合约”这一有用术语时,强调指出了该术语的两种不同的常用方式。第一种方式是智能合约代码(smart contract code),另一种方式是智能法律合约(smart legal contracts)。本文着重介绍两者间的区别。
智能合约代码就是用某种编程语言编写的软件。它作为一个软件代理,或是代表其中某一方,目的是履行某些义务、行使某些权利,并以自动的方式控制分布式账本中的资产。因此,智能合约通过代码执行模拟,或模拟现实世界中合约逻辑,承担了分布式账本的任务和责任,尽管其合法性可能尚未明确。
所有的DLT都支持以智能合约代码的形式履行智能合约。代码可以使用Go、Java for Fabric 、Solidity for Ethereum,以及Java/Kotlin for Corda 编写。在Fabirc中使用了术语“链码”(chaincode),以此作为智能合约的同义词。举例说明,Corda为确保交易的有效性,会提醒读者在共识机制中使用智能合同代码。一方面,Fabric和Ethereum之间存在着显著的差异。另一方面,这是与Corda使用另一种“智能合约”方式相关。
在Corda中,智能合约不仅可以包含代码,还允许包含法律行文(Legal Prose)。因此,上述智能法律合约是法律行文,其制定方式可以通过智能合同代码来表达和实施。其背后的基本原理,是赋予植根于相关法律行为的代码以合法性。这种结构称为“Ricardian合约”。这清晰地表明,Corda是设计用于金融服务行业这一受严格监管的环境。而Fabric和Ethereum都不具备此功能。
内建代币
另一个值得注意的区别,是以太坊提供一种称为“以太”的内置加密货币。以太用于向帮助通过挖矿达成共识的节点支付奖励,并支付交易费用。因此,去中心化应用(DApps)可以基于支持货币交易的以太坊构建。此外,通过部署符合预定义标准的智能合约,可以创建为用例定制的数字代币。使用这种方式,人们可以定义自己的货币或资产。
Fabric和Corda不支持通过挖矿达成共识,因此不需要内建的加密货币。但是使用Fabric,也可以开发本地货币,或是带有区块链代码的数字代币。使用Corda,不建议创建数字货币或代币。
总结:定制平台对比通用平台
总结一下,本文分析的DLT横贯东西。一方面是Fabric和以太坊。它们在不同的方面上具有非常大的灵活性。以太坊是一种强大的智能合约引擎,基本上可作为任何类型应用的通用平台。但是,以太坊的无授权操作模式及全面透明度,是以牺牲性能可扩展性和隐私性为代价的。Fabric采用有授权的操作模式,即使用BFT算法和细粒度访问控制解决了性能可扩展性和隐私问题。此外,Fabric的模块化体系结构使其可以针对众多应用进行定制。我们可将Fabric比做一个多功能的工具箱。
另一方面是Corda。它专门设计为一种用于金融服务行业的DLT。应注意的是,Corda通过增加法律行文的智能合约,考虑了受高度管制的环境。显然,与Fabric相比,专注于金融服务交易使Corda得以简化其架构设计。因此,Corda可以提供更多的开箱即可用体验。不过,Fabric的模块化支持定制类似于Corda的功能集。一些工作力图将Corda纳入Hyperledger项目。因此,不能将Corda视为Fabric的竞争对手,而更多的是一种补充。
学术链接:
A类:S&P,全称:IEEE Symposium on Security and Privacy 每年11月截稿,第二年5月在美国开会,算是安全方向最好的会议。由于每年都是在美帝Oakland举办,会议也俗称Oakland. 这个会议接收的paper都是全面型的,好的idea 和 design,又有完整的implementation和好的效果,难度是四大中最难的。SP前两年的区块链文章还蛮多的,zcoin和zcash都是投于此,但是16年好像就中了一篇blockchain的文章。
A+类:CCS,全称:Computer and Communications Security 每年5月截稿,同年10月在美国开会。会议接收的paper偏理论和证明,不要求太强的实现,但是idea和design是要极好的。这个会议给了区块链单独的日程,16年有大概6篇的样子(包括智能合约)。大家可以多看看这个会。
A类:USENIX,全称 Security Usenix Security Symposium 每年2月截稿,同年8月在美国开会。接收的paper偏系统类型的,漂亮的实现很受该会的喜欢。这个会收录区块链文章也比较少,16年也就一篇。
A类:NDSS,全称:Network and Distributed System Security 每年8月截稿,第二年2月在美国开会,是四大当中相对最容易的,侧重新想法与实现。我找了找没找到任何区块链论文,因为人家是网络和分布式系统安全嘛。
C类:区块链投的最多的会议:FC Financial Cryptography and Data Security
(FC 由国际金融密码协会 (IFCA)资助,主要接受与金融密码学相关的文章。虽然被CCF评为C类会议,但是他的质量并不差,他的出发点和区块链的正好一致,所以很多的文章投在这里。)
三大密码会(美密,欧密,亚密):其中欧密这两年也接受了几篇blockchain相关论文。
Latest DLT , Financial Institutions & IBM Unveil LedgerConnect Blockchain Project