写在前面:
“天下武功,唯快不破”,这句话经常会出现在武侠作品当中。
其衍生出来的意思是,只要一方抢占了先机,就可以立身于不败之地。在现实世界的华尔街,这种抢先交易的现象就普遍存在着,这就好比两个人比武,其中一方先朝对方脸上打上一拳,然后耍赖迅速溜掉……
在审视金融系统时,对公平交易顺序的需求,是显而易见的。因为交易的执行顺序,可以确定给定交易的有效性或盈利能力。比方说Bob有0美元,并且有两笔交易发生了:其中tx0是Alice将5美元发送给Bob,而tx1则是Bob将5美元发送给Carol。
如果tx0的顺序是在tx1之前,那么这两笔交易都会是有效的,而相反的顺序,则会导致tx1失效。
而最近的研究表明,在基于共识算法的无许可区块链中,这种现象也是很常见的。Daian等人的论文提到,机器人对以太坊网络中的交易进行了猖獗的对抗性操作,然后从单纯的用户那里获取了超过600万美元的收入。
那这种抢先交易“无赖功夫”有破解之道吗?本周的学术话题,我们就来分享来自康奈尔大学教授AriJuels等人的最新研究《拜占庭共识的顺序公平性》。
而在硬核技术文章精选部分,我们还会看到关于区块链活性、tBTC、稀疏默克尔树等内容。
另外,在过去的一周当中,比特币还迎来了BitcoinCore0.19.1版本客户端、schnorr签名及Taproot方案等更新内容,而以太坊联合创始人Vitalik则发布了新的Gasper共识协议论文。
查理·芒格:投资比特币是愚蠢的,因为它的价值仍有可能降至零:金色财经报道,在伯克希尔哈撒韦公司今年的股东大会上,查理·芒格对比特币评论称:在日常生活中,我试着避免做愚蠢和邪恶的事情,避免让我在别人面前看起来很糟糕,而比特币符合这三点。首先,投资比特币是愚蠢的,因为它的价值仍有可能降至零;其次,它是邪恶的,因为它破坏了联邦储备系统。第三,有些国家禁止使用比特币,这是明智之举,但也让我们看起来很尴尬。[2022/5/1 2:43:24]
一、Aequitas协议:区块链共识不仅仅需要一致性和活性,还需要顺序公平性
在过去的三十年中,研究者们在密码学和分布式系统文献中对状态机复制的抽象概念进行了大量研究。
在高层次上,状态机复制协议的目标,是让一组节点同意不断增长的、线性排列的消息日志。
这样的协议需要满足两个属性:一致性:所有诚实的节点必须对约定的日志有相同的view,也就是说,它们必须以相同的顺序输出消息;活性:客户端提交的消息,要在合理的时间内添加到日志当中,不幸的是,一致性和活性都没有在最终日志中说明事务的实际顺序。而一种确保所有节点同意相同顺序的协议,无论其如何去生成顺序,都会被认为是一致的。
1、1区块链交易的顺序公平性
而这就给定义留下了空间,即对手方可能会控制顺序,然后让所有节点对该结果达成一致。而在所有依赖于指定“leader”节点的现有协议中,恶意的leader就可选择以任何顺序提交交易。
为了纠正这个问题,来自康奈尔大学和IC3的AriJuels教授等人提出了第三种共识属性:交易顺序公平性。
论文链接:https://eprint.iacr.org/2020/269.pdf
查理·芒格:不要把退休金都投入到比特币:5月1日消息,查理·芒格:如果有人建议你把退休金都投入到比特币里,就要说“不”。(金十)[2022/5/1 2:43:01]
直观地讲,顺序公平表示这样一种概念:如果大量节点在另一笔交易tx2之前接受交易tx1,那么这应该以某种方式反映在最终的顺序中。
而这篇论文的主要贡献有三个方面:
研究了公平交易顺序的自然概念,并说明了它为什么不可能实现;
研究了稍微弱一点的公平排序概念,这些概念是直观的,但却可以实现;
引入了一类新的共识协议,并称之为Aequitas,其实现了公平的区块交易排序,同时也提供了一致性和活性,研究者还讨论了同步和异步的Aequitas协议设置;
1、2如何避开孔多塞悖论
顺序公平的性质是对共识问题有效性的自然模拟,即将拜占庭协议扩展到多轮。
如果所有诚实的节点都认为交易tx1先于另一笔交易tx2,那么通过与有效性的自然类比,最终输出日志应该在tx2之前对tx1进行排序。因此,研究者认为,交易顺序公平性是共识文献中具有独立理论利益的自然属性。
定义顺序公平性和不可能结果:为了对共识协议进行建模,研究者使用了一种方法,其中协议节点从客户端接收交易,并需要以满足一致性和活性的方式输出或交付它们。
定义1.1,如果足够多的节点在另一笔交易tx0之前接收到交易tx,那么所有诚实的节点必须在tx0之前输出tx。
虽然这个定义是直观的,但事实证明,除非我们假设具有非常强的同步性,或者不存在恶意对手方,否则就不可能实现这点。
这一结果来自社会选择理论中与选民偏好的令人惊讶的联系。为了用一个简单的例子来强调这一点,我们可以考虑三个节点A,B和C,然后每个节点会接收3笔交易x,y和z。
查理·芒格:钦佩中国禁止加密货币:1月2日消息,伯克希尔·哈撒韦副董事长查理·芒格表示,他希望加密货币“从未被发明”,并钦佩中国禁止加密货币。(财联社)[2022/1/2 8:19:54]
其中A按的顺序接收它们,而B按的顺序接收它们,C按的顺序接收它们。
请注意,大多数节点收到的是,以及!这种情况通常被称为孔多塞悖论,即使所有的局部顺序都是可传递的,也可能导致非传递性的全局顺序。
而这对于接收顺序公平概念而言是有问题的。
定理1.2给出了关于不可能结果的非正式描述。
定理1.2。考虑一个有n个节点的系统,其中外部网络是异步的,或者最大延迟δ至少为n轮。这样,任何协议都无法同时实现一致性、活性及接收顺序的公平性。
鉴于这种不可能的结果,研究者考虑了接收顺序公平性的一种自然放松状态,并称之为区块顺序公平性。要理解这两个定义之间的主要区别,我们来看一下两笔交易tx和tx',其中有足够多的节点在tx'之前已接收tx。接收顺序公平性要求tx必须在tx'之前输出,而区块顺序公平性则将条件放宽为“之前或同时”。
这里指的便是在同一“区块”中同时进行交付的交易。
定义1.3:如果有足够多的节点在另一笔交易tx'之前接收到交易tx,则诚实节点无法在tx'之后的区块中交付tx。
正是这种微小的放松调整,使得我们可以通过一个简单的技巧来回避康多塞悖论:将矛盾的顺序放在同一区块中。这里强调了区块顺序公平性,并不意味着交易是部分有序的。一致性仍然要求所有节点以相同顺序输出交易。唯一的区别是,在研究者的定义中,只要这些交易出现在同一区块中,就被认为是公平的。
查理.芒格:永远不会购买加密货币,希望它们从未被发明过:金色财经报道,12月3日,伯克希尔哈撒韦副董事长查理·芒格公开称,市场在某些地方被严重高估,当前的环境比上个世纪90年代末的互联网泡沫时期“更加疯狂”。现年97岁高龄的著名投资家芒格在悉尼举行的Sohn会议上表示,我认为这个时代比互联网泡沫时期更加疯狂。作为价值投资者,芒格始终认为当前的时代泡沫将以惨烈的方式破灭,只不过没人可以预知崩盘何时来临。谈及加密货币,芒格坚持认为其本身毫无价值。芒格还称,他希望加密货币不存在,并赞扬中国采取行动禁止使用加密货币。芒格表示:我希望加密货币从来没有被发明过。我再次钦佩中国人,我认为他们做出了正确的决定,即直接地禁止加密货币的使用。我的国家做出了错误的决定,我个人无法忍受参与这些疯狂的繁荣,无论以哪种形式。(smh)[2021/12/3 12:48:22]
也就是说,研究者注意到,虽然不可能去实现接收顺序的公平性,但区块顺序的公平性却是可以实现的,对此,他们提出了可保证这一点的协议,并称之为Aequitas。
1、3?Aequitas协议的4种实现
Aequitas协议以黑盒方式使用了两个基本原语:FIFO广播,它是标准可靠广播的基本扩展;Set拜占庭共识协议(Set-BA),其定义在原论文第3节,这可以通过拜占庭共识协议来实现。
注意,这些都是弱原语,任何标准共识协议,也可以用于构建FIFO-BC和Set-BA原语。这产生了一个有趣的观察结果:Aequitas技术提供了一种通用编译器,其可以将任何标准共识协议转换为提供顺序公平性的协议。
简单来看,Aequitas协议被分为三个主要阶段。而每笔交易tx在交付之前,都要经过这些阶段。
查理?芒格:不喜欢虚拟货币绑架现有的货币系统,比特币与文明利益相背:5月2日消息,伯克希尔·哈撒韦公司的年度股东大会于美国东部时间下午1点30分开幕。因受疫情影响,本次股东大会再次在线上举行,哈撒韦公司董事长兼CEO沃伦?巴菲特(WarrenBuffett)和伯克希尔·哈撒韦副董事长查理?芒格(CharlieMunger)一同亮相年会现场。关于比特币投资,巴菲特表示:“我就知道会问到关于比特币的问题,今天就要去躲避这个问题,我不想回答。”芒格则表示:“我讨厌比特币的成功。我不喜欢一种对绑架者和勒索分子如此有用的货币。我也不喜欢向一个刚刚凭空发明的新金融产品的人多掏几亿、几十亿美元。所以我想我应该谦虚地说,这个该死的发展是令人厌恶的,而且与文明的利益背道而驰。”[2021/5/2 21:17:17]
阶段1Gossip:节点gossip交易按其接收顺序进行。也就是说,每个节点都在流传其本地交易的顺序。
为此,研究者使用了FIFO广播原语,FIFO-BC保证诚实节点的广播由其他诚实节点,以和广播相同的顺序传递。即使发送方不诚实,FIFO-BC也能保证所有诚实节点均以相同顺序传递消息。而这样做的结果是,节点对其他节点的交易顺序会具有一致的看法。
阶段2协定:节点在同意决定特定交易的全局顺序时应考虑其本地顺序的节点集。
阶段3终结:节点使用在协定阶段确定的一组本地排序,来最终确定交易处理的全局排序。
需要指出的是,前两个阶段是易理解且易于实现的,而第三个阶段则很复杂,因为它需要避免康多塞悖论,同时继续保持一致性和顺序公平性。
对此,研究者分别提出了基于leader和无leader的共识协议,然后设有同步和异步设置,因而共有4种协议。这些协议均提供了一致性、区块顺序公平性,以及某种程度的活性。下图是这4种协议的比较结果。
洒脱喜简评:Aequitas协议的思路,简单看,就好比规定两人比武只能同时出手,这就确保了双方之间的公平性,而其背后的理论,其实非常复杂,另外,根据论文介绍,Aequitas提供了一种通用的编译器,其可以将任何标准共识协议转换为提供顺序公平性的协议,如果真正可以实现,这将解决掉区块链金融应用面临的一大难题。
二、硬核技术文章一周精选
2、1突破区块链不可能三角——吹个关于区块链活性的哨子
maxdeath在这篇文章中,列举出了一系列关于闪电网络和区块链的已知问题。这些都是关于区块链活性安全的哨子,而这些哨子早就被吹过不止一次。作者希望这次,当未来又有人不考虑这些问题设计了某个系统,而有人通过这些问题获益时,请不要再叫它黑客攻击。
文章链接:https://www.8btc.com/media/563994
2、2tBTC:一种新的比特币侧链设计
tBTC是一种去中心化的、有保障的比特币托管系统,它发行一种叫做TBTC的代币。用户无需信任托管者,因为这些签名者存入的债券价值高于他们托管的比特币的价值。如果他们要转移未经授权的资金,导致未偿的TBTC价值高于托管的比特币,系统将会没收他们的债券,用于购买和抵消市场上等值的TBTC,恢复TBTC和托管比特币价值的平衡。
文章链接:https://www.8btc.com/media/565485
2、3Core开发者教你如何验证比特币客户端
在这篇文章中,BitcoinCore开发者LukeDashjr介绍了如何通过三个步骤来确保自己安装的比特币客户端是安全、未经恶意方修改的。
文章链接:https://www.8btc.com/article/566181
2、4科普|什么是稀疏默克尔树多值证明
以太坊网络是一台富状态的世界计算机,其状态包括状态余额、交易流水号、合约代码及合约存储内容等。在技术上,这些状态数据是靠一种叫做“默克尔树”的结构来组织的,因此,以太坊世界状态及其访问、更新,便可表达为一棵默克尔树及其访问、更新。同样地,所有跟默克尔树相关的数据证明及验证操作,都可以在以太坊协议的语境下被理解为状态的证明及验证操作。实际上,默克尔树是我们理解、利用、改进以太坊协议不可或缺的一环。
文章链接:https://www.8btc.com/article/566768
2、5除了“减半”,2020年你还需要关注这些比特币技术
在过去的一年时间里,比特币技术已经获得不错的发展,那种这种趋势会在2020年继续延续下去吗?MAST、Taproot、Schnorr签名,以及其他出色的技术是否能进一步改善比特币安全性,并推动其价格升值吗?
文章链接:https://www.8btc.com/article/566236
三、比特币&以太坊开发更新进展
3、1比特币开发更新进展
BitcoinCore0.19.1版本客户端正式发布,修复了一些错误,其中大多数修正涉及钱包/GUI/RPC;
BIP340schnorr密钥和签名方案的更新,而这也会对BIP341taproot产生一些影响,对于这些改进,作者PieterWuille要求社区提供有关更改的反馈;
关于标准化防泄露随机数协议的提案:StepanSnigirev在Bitcoin-Dev邮件列表上发起了关于标准化协议的讨论,该协议可防止硬件钱包使用偏斜随机数泄露用户的私钥;
Taproot的安全性证明:LloydFournier在两周前的金融密码学会议上发表了他的研究,其描述了Taproot使用的哈希函数中,必须具备哪些属性才能确保Taproot的安全。
闪电网络客户端LND0.9.1发布,该版本并不包含任何新功能,但修复了多个漏洞,包括可能导致“节点之间强制关闭”的漏洞。
更多关于比特币的技术进展更新内容,可以看这里:https://bitcoinops.org/en/newsletters/2020/03/04/
3、2以太坊开发更新进展
以太坊1.X更新内容:
以太坊基金会成员HudsonJameson:ProgPoW不值得,它会死亡;
ProgPoW算法被曝漏洞,或无法抗ASIC;
Trinityv0.1.0-alpha.35发布;
DHT方案或解决无状态以太坊数据检索问题;
以太坊2.0研发更新内容:
Prysmatic客户端更新,减少大量RAM,第一次罚没成功,已更新至最新规范;
Lighthouse客户端更新,区块处理速度提高70%,同步速度为每秒100个区块,内存量大大减少;
用于以太坊2.0ewasmEE的零知识证明工具;
?Vitalik等人发表论文,提出新的Gasper共识协议,其结合了CasperFFG以及分叉选择规则LMDGHOST,在不同的假设条件下可证明安全性和活性;
本期的分享就到这里啦,下周再见~
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。