以下文章来源于中国金融杂志 ,作者姚前

中国金融杂志.

《中国金融》杂志以“权威、专业、理性、前沿”为理念,以“高端权威、高层读者、高效传播”为特色,以宣传金融政策、分析金融运行、报道金融实践为主旨,长期服务于金融改革和发展、服务于金融中心工作、服务于金融从业人员,是国内外了解中国金融的重要载体

作者|姚前「中国证监会科技监管局局长」

文章|《中国金融》2022年第9期

近年来,全球主要经济体的货币当局不断加大对中央银行数字货币(Central Bank Digital Currency,CBDC)的研发力度并取得了诸多阶段性成果。“汉密尔顿计划”(Project Hamilton)是美国波士顿联邦储备银行与麻省理工学院合作开展的CBDC创新研究项目(Digital Currency Initiative,DCI)。这项计划已持续开展数年,2022年2月3日,美国波士顿联邦储备银行发布题为“为央行数字货币设计的高性能支付处理系统”(A High Performance Payment Processing System Designed for Central Bank Digital Currencies)的技术报告,总结了汉密尔顿计划第一阶段进展。本文拟透过该报告的主要内容,对美联储央行数字货币原型系统进行简要分析。

汉密尔顿计划第一阶段的研究目标

汉密尔顿计划第一阶段的第一个目标是探讨CBDC系统的性能,即从技术上研发一种高吞吐量、低延迟和富有弹性的CBDC交易处理系统。具体性能目标包括两个方面:一是在5秒内完成99%交易,包括完成交易验证、交易执行以及向用户确认交易,处理速度与美国现有银行卡支付以及银行间即时支付系统的相应指标不相上下;二是根据美国目前现金和银行卡交易量以及预期增长率,该系统每秒至少处理10万笔交易,且能随着后期支付量的增长不断扩展。

第二个目标是探讨CBDC系统的韧性。为维持公众对CBDC的信任,CBDC系统必须确保服务连续性且资金可用。系统韧性的研究重点在于,当多个数据中心发生故障时,如何保证系统访问不中断,数据不丢失。

第三个目标是探讨CBDC的隐私保护。研发团队认为,最安全的隐私保护方法就是从交易伊始就减少数据收集,因此在CBDC交易系统中设计了一种尽量减少交易数据留存的方案。

美联储数字货币原型系统设计

币的形式:未花费的交易输出(Unspent Transaction Output,UTXO)

汉密尔顿系统有三类参与者:交易处理器(transaction processor)、发行方(issuer)和用户(user)。交易处理器记录CBDC,并根据指令验证和执行相关交易。同比特币一样,汉密尔顿计划采用UTXO的货币表达式。CBDC仅能通过发行方的行为而进出系统,发行方铸币(mint)增加交易处理器中的资金,赎回(redeem)则减少交易处理器中的资金。用户执行资金转移(transfer)操作,以原子方式变更资金所有权,但存储在交易处理器中的资金总额不变,变化的是资金的权属。用户使用其数字钱包的公钥/私钥来处理和签署交易。资金转移交易过程中,使用付款方的未花费资金就是交易输入(input),生成新的未花费资金就是交易输出(output)——包括收款方和找零给付款方的未花费资金。一项有效交易必须保持平衡:交易输入值之和须与输出值之和相等。

未花费资金定义为三元组utxo:=(v,P,sn)。其中,v为金额,P为安全锁锁头(encumbrance predicate,可以理解为持有者公钥),sn为序列号(serial number)。发行方的铸币操作会创建新的未花费资金,并将UTXO添加到交易处理器存储的UTXO集合,而赎回操作则从UTXO集合中删除已有的未花费资金,使其不可重复使用。发行方必须为新铸UTXO选择唯一序列号。将其设置为均匀随机数或单调递增计数器值(发行方铸造第i个UTXO时,会将其序列号设置为i)均可。

分离验证与UTXO压缩

在汉密尔顿系统中,交易处理器验证交易的正确性,并通过删除输入和创建输出来执行交易。验证分为交易局部验证(transaction-local validation,无需访问共享状态)和存在性验证(existence validation,需要访问共享状态)。对于这种分离,汉密尔顿系统设计了专用组件——哨兵(sentinel),专门用于接收用户交易并执行交易局部验证。局部验证内容包括:核实交易格式正确;确认每个输入都有适用于其花费输出的有效签名;确认交易保持平衡(即输出之和等于输入之和)。如果交易符合标准,哨兵将向负责存在性验证的执行引擎转发交易,否则就仅向用户提示交易错误。

存在性验证主要核验未花费资金是否存在。为了实现隐私保护,汉密尔顿系统将资金作为不透明的32字节哈希值存储在未花费资金哈希集合(Unspent funds Hash Set,UHS),h:= H(v,P,sn),而不是存储完整的utxo:= (v,P,sn),其中H是一个哈希函数,汉密尔顿系统使用了SHA-256算法。用UHS集合替换UTXO集合,不仅有助于隐私保护,而且减少了存储要求并提高系统的性能。

为了进行存在性验证,系统需要预先将通过局部验证的交易转换为应用于UTXO哈希集合的交易,该过程被称为压缩(compaction)。具体而言,由哨兵计算输入UTXO的哈希值,并将输入UTXO与输出安全锁和价值一起,导出输出UTXO的序列号,从而计算输出UTXO的哈希值,然后将这两个哈希列表发送给保存UHS的交易处理器,进行存在性检查和执行。

存在性验证与UHS互换

假定某交易已通过交易局部验证并进行了压缩转换,交易处理器将按如下方式更新UHS集合:检查UHS集合是否存在所有交易的输入UTXO,如果有输入UTXO缺失,那么中止进一步处理,否则,处理继续进行;交易处理器从UHS集合中删除该交易的输入UTXO对应的UHS,并将新创建的与输出UTXO对应的UHS添加到UHS集合中。上述一删一增的操作被称为互换(swap)。

高性能架构

为实现高吞吐量、低延迟以及高容错性的交易处理,汉密尔顿计划设计了两种架构。第一种是原子服务器(atomizer)架构,系统利用排序服务器为所有交易创建线性的历史记录。第二种是两阶段提交(two-phase commit,2PC)架构,系统并行执行数笔无冲突交易(即那些不会支付或收到同笔资金的交易),而不创建统一排序的交易记录。

在这两种架构中,UHS都可实现跨服务器分区,提高吞吐量并不断扩展。执行单笔交易通常涉及多个服务器,每种架构使用不同技术协调一笔交易在多个服务器中的一致应用。中心化的原子服务器架构使用Raft协议对所有来自于哨兵验证过的更新排序,然后将这些更新应用于全系统。2PC架构则利用分布式共识节点来执行原子交易和可串行化所需的锁定,使用不同资金的交易不会冲突,可以并行执行;一旦某有效交易的资金被确认为未花费,交易就能连续进行,可同时批量处理多笔交易。

汉密尔顿计划第一阶段的实验结果

汉密尔顿计划在第一阶段开发了两套完整的计算源代码或代码库。一个是中心化原子服务器架构的代码库,每秒能够处理大约17万笔交易,其中99%的交易尾部延迟不到2秒,50%的交易尾部延迟为0.7秒。由于原子服务器无法跨多个服务器进行分片,因此尽管可以将原子服务器状态机中的功能简化为只对一小部分交易进行输入排序和去重,但该架构的系统吞吐量仍有限。也就是说,对有效交易进行强排序的设计会限制吞吐量。另一个是2PC架构的代码库,每秒能够处理170万笔交易,其中99%的交易可在1秒之内完成,50%的交易尾部延迟不到0.5秒,远高于设定目标需要达到的每秒10万笔交易的基本要求。此外,2PC架构若添加更多共识节点,还可进一步提高吞吐量,且不会对延迟产生负面影响。

以上代码已经开源,汉密尔顿计划称之为“开源央行数字货币项目(OpenCBDC)”,目的是促进CBDC研发合作。

比较分析

与电子现金(E-cash)的比较

1982年,美国计算机科学家和密码学家大卫·乔姆(David Chaum)发表了一篇题为《用于不可追踪的支付系统的盲签名》的论文。论文中提出了一种基于RSA算法(RSA algorithm)的新密码协议——盲签名(blind signature)。利用盲签名构建一个具备匿名性、不可追踪性的电子现金系统,这是最早的数字货币理论,也是最早能够落地的试验系统,得到了学术界的高度认可。其中有两项关键技术:随机配序和盲化签名。随机配序产生的唯一序列号可以保证数字现金的唯一性;盲化签名能够确保银行对该匿名数字现金的信用背书。

汉密尔顿计划采用了与E-cash相似的思路:一方面,通过全局唯一且每次交易都需要系统验证的序列号,保证货币(UTXO)的唯一性;另一方面,采用中央处理模式,并利用加密算法实现系统的安全与抗攻击性。但汉密尔顿计划克服了E-cash的不足。在大卫·乔姆建立的E-Cash模型中,每个使用过的E-Cash序列号都会被存储在银行数据库中。随着交易量的上升,该数据库就会变得越来越庞大,验证过程也会越来越困难。而汉密尔顿计划通过分离验证和压缩处理,尽可能减少交易处理器的存储计算压力,并利用分片技术和高性能架构,从而大幅提升交易性能。

简言之,已花费的交易输出与未花费的交易输出,是两种相反相成的设计思路。后者优化了前者面临的数据无限膨胀的问题,这也是比特币超越E-Cash的精髓所在。

与比特币的比较

与比特币相似,汉密尔顿计划对币的设计也采用了UTXO模式。但二者的区别在于:比特币的区块链存储了所有UTXO信息;而汉密尔顿计划没有采用区块链模式,币不可简单追溯,且其交易处理器并未存储UTXO明细信息,仅存储UTXO的哈希值。尤其是,汉密尔顿计划的信任基础与比特币的分布式共识机制完全不同,其平台将由可信任的中心机构管理,共识算法仅用于协调系统中各分区服务器的一致性,更类似于第三方支付后台的分布式系统设计。

在防止双重花费、无重放攻击等威胁方面,比特币采用的是工作量证明机制(Proof of Work,PoW),而汉密尔顿计划的设计则依靠哈希算法,且高度依赖发行方和交易系统的安全可信。具体来说,对于汉密尔顿交易处理器中的每次转移,其UTXO输出的序列号都是经过哈希算法处理后所确定,只要从原始铸币交易开始的序列号是全局唯一的,后续递推得到的每个UTXO序列号也将均具有全局唯一性,不会与过去或未来UTXO集合中的任何其他项重合。序列号的全局唯一性不仅是一个技术细节,而且可达到两个效果。一是无双重花费。互换操作会将UTXO永久标记为已花费。由于序列号是唯一的,因此任何UTXO只能被花费一次,且在花费后不能被重建。二是防止重放攻击。因为每笔交易都对应着具有全局唯一性的一个或多个UTXO输入,其签名将覆盖整个交易,包括相关的所有输入和输出。因此,一个交易的签名对除此交易外的其他任何UTXO(包括未来创建的UTXO)都无效,而且,交易无法被复制,同一笔交易也不能被多次执行。汉密尔顿计划设计的风险点在于:中心机构是否一定可信?发行方铸币的序列号是否全局唯一?交易处理器是否足够安全从而可保证存储的UHS集合不被篡改?

简言之,虽然比特币和汉密尔顿计划都使用了UTXO的数据模型,但汉密尔顿计划维护的是一套中心化的哈希登记系统,而比特币维护的是一套分布式的区块链哈希登记系统。

其他比较

汉密尔顿计划的技术报告引用了笔者在2018年国际电信联盟(ITU)法定数字货币焦点组第二次会议上的工作论文。该论文主要是对数字人民币原型系统的综述,核心思想为“一币、两库、三中心”的技术架构(《中国法定数字货币原型构想》,见《中国金融》2016年第17期),以及基于银行账户与数字货币钱包分层并用的双层业务架构(《数字货币和银行账户》,见《清华金融评论》2017年第7期)。

汉密尔顿计划当前的整体架构可以表达为“一币,一钱包,一中心”。一币指的是数字美元,即中央银行签名发行的以UTXO数据结构表达的加密数字串;一钱包是指个人或单位用户使用的数字货币钱包,也是存储用户公私钥的载体;一中心是指交易登记中心,记录存储数字货币未花费交易资金的哈希值,完成数字货币产生、流通及消亡全过程的权属登记。

在数字货币设计方面,两个原型项目都强调加密数字串的货币属性和央行负债的属性。在流通环节,两个项目都以钱包为主要载体,强调用户对数字货币的拥有和操作权限。在交易确权登记方面,两个项目都设计了交易登记中心,也设计了“网上验钞机”。总体来说,两个原型项目在设计理念层面有相通之处,均采用了中心化加密货币思路,交易处理“一次一密”,充分考虑了数字货币的安全性。技术路线又不囿于区块链技术,既吸纳了其中的先进成分,又摈弃了可能的技术堵点。两个项目不同之处在于,汉密尔顿计划第一阶段没有探索中介的技术角色以及如何实现用户隐私与合规性的平衡;笔者提出的数字货币原型系统则考虑和设计了中介机构的角色,并提出认证中心和登记中心分离的设计思路,既可实现隐私保护又能满足监管合规要求。值得一提的是,汉密尔顿计划通过层层哈希计算,在登记服务器存储的是交易信息的哈希,而不是明文信息,降低了系统开销,在隐私保护的考虑上更为精细。

结 语

总体而言,汉密尔顿计划第一阶段的原型设计并不是一个完整的系统,不具备一个有效CBDC所需的全部功能,尚不能达到实际应用标准。后续汉密尔顿计划将继续探索CBDC的实现路径,不断提高系统的安全性、可审计性、可编程性、合规性、互操作性,完善离线支付功能,明确中介机构的角色,增强抵御内部攻击、拒绝服务攻击、对抗量子攻击的能力。汉密尔顿计划给各国央行数字货币研发提供了两个重要的启示。

一是技术的包容性。汉密尔顿计划在设计CBDC过程中,并不囿于某一技术路线。它不仅充分吸收了E-cash、比特币等加密货币的优点并规避了可能的缺点,而且有效吸纳了分布式系统的高性能、高容错架构设计。由此表明,CBDC设计的选择不应画地为牢,无须将思路限定在某一技术框架或领域。

二是技术的开放性。目前各国CBDC的试验基本上是比较秘密的“曼哈顿工程”,而汉密尔顿计划则秉持开放、众智、敏捷的现代研发理念,主动将第一阶段代码进行了开源,创建了OpenCBDC项目并在github上公开。目前,汉密尔顿计划仍积极寻求外界对开源代码库的贡献以及吸纳新的工作组成员,旨在与各方一起共同推进CBDC研发。汉密尔顿计划这种开放式创新模式,无疑值得各国在CBDC研发实践中加以学习借鉴。

(本文仅代表作者个人学术观点)

姚前:美联储数字货币原型系统简析相关推荐

  1. 陀螺速递 | 姚前:对货币我们要有敬畏之心

    [资讯要点] 1.易股天下易欢欢:全球区块链标准未来为中国主导 据21世纪经济报道12月8日消息,前申万宏源研究所所长.易股天下金融智能证券公司创始人易欢欢表示,当前,区块链领域有几个杀手级应用,一是 ...

  2. 推行法定数字货币,现有支付宝/微信等支付系统,会否被数字货币支付系统替代并超越?

    答案却恰恰相反,支付宝和微信等移动支付会越来越好! 央行即将推出的数字货币系统,是在纸币体系上建立的更高新技术的一种应用:而支付宝和微信是一种移动支付工具,一定也会随着国家政策的变化提升自身的区块链技 ...

  3. centos系统简析

    服务器所使用的最多的系统之一便是Linux系统,Linux下centos系统也是常用的系统,今天来给大家详细说名下centos系统. CentOS于2004年5月发布,作为一个完全免费且基于Linux ...

  4. 央行数字货币研究所悄然挂牌 工作人员:已有一段时间

    近日,记者在采访中发现,备受关注的央行数字货币研究所已经悄然"挂牌". 在北京德胜门附近某国际大厦内,"中国人民银行数字货币研究所"铭牌已经出现大厦单位指示一栏 ...

  5. 央行数字货币研究报告:法定数字币势在必行,或先应用于票据领域

    近年来,数字货币热潮兴起,与之相关的一些底层技术,如区块链技术以及分布式记账方法,也显示出广阔应用前景.数字货币从理论走向现实,其必要性.可行性和安全性正在接受市场检验. 近日,最新一期<中国金 ...

  6. 数字人民币解密:数字人民币的系统架构、产品形态是什么样的?

    么是数字人民币?数字人民币即由中国人民银行发行的数字形式的法定货币,它可以丰富大众的支付方式.那么,数字人民币的系统架构.产品形态是什么样的?本文作者就数字人民币做了介绍,一起来看一下. 数字人民币虽 ...

  7. 解密央行研发数字货币这5年

    据报道,周小川近日表示,中国可能会用一种新的方式发行央行数字货币.这种方法可以让央行数字货币尽可能地规避波动风险. 本文旨在传递更多市场信息,不构成任何投资建议. 8月2日,央行召开2019年下半年工 ...

  8. 根据公开信息 已有15家公司参与央行数字货币

    文丨互链脉搏·金走车 未经授权,不得转载! 法定数字货币一直属于央行内部的保密项目,其参与方的身份更是神秘.而12月24日,几则消息的公布,使得央行数字货币参与方的轮廓愈加清晰. 当天,腾讯内部发布了 ...

  9. 专家:央行数字货币不计息,最终要全面迈向计息的央行加密货币

    央行副行长范一飞近日在金融时报发布文章<关于数字人民币M0定位的政策含义分析>.文章称,数字人民币主要定位于M0,是法定货币的数字化形态.数字人民币不计付利息,具有非盈利性,追求的是社会效 ...

最新文章

  1. 龙岩学院计算机二级报名时间,福建龙岩学院2015年12月计算机等级考试报名通知...
  2. 【cocos2d-x从c++到js】21:使用CocosCode调试JSB
  3. shell、javascript、python、tcl 等常用脚本语言
  4. IntelliJ IDEA Community 社区版配置 Web 开发环境(Gradle + Tomcat)
  5. C# DataTable的Select()方法不支持 != 判断
  6. 中南大学夏令营集训营
  7. 主机ssh升级到6.7以上版本后,使用jsch jar包ssh连接不上报Algorithm negotiation fail问题的解决办法
  8. vs中四点画矩形的算法_中考热点,初高中衔接之倒角利器四点共圆
  9. 图纸管理软件_造价20万以内的农村别墅长啥样?挑选5套图纸,让城里人羡慕吧...
  10. dd命令安装Linux
  11. 基类成员的public访问权限在派生类中变为_第17篇:C++继承中虚表的内存布局
  12. Struts2之前台表单传值到后台Action方法总结
  13. web打印控件Lodop轻松输出清晰的图表和条码
  14. python非线性规划问题_python玄学建模(2):非线性规划
  15. rust哪家服务器便宜稳定,rust服务器选择
  16. Python爬取豆瓣高分电影Top250
  17. exadata的exacli
  18. 工作流系统之四十二 业务规则和业务过程
  19. 本门藏经阁 - AndroidX
  20. ACWING297. 赤壁之战(树状数组dp)

热门文章

  1. php 获取百度权重,获取网站 百度权重 搜狗 谷歌PR
  2. 【腾讯Bugly干货分享】Android 进程保活招式大全
  3. Pandas数据结构之DataFrame常见操作
  4. 从零开始学习3D可视化之坐标系
  5. Java微信小程序开发- 校园报修系统
  6. STM32通用Bootloader——FOTA
  7. 数据增强——Central-surround
  8. java 区间 判断_java判断多个区间是否有重合
  9. 二叉树的遍历(二叉树与递归算法)
  10. 上海封控区全职妈妈:疫情让邻里更加和睦