時(shí)間:2023-08-20|瀏覽:239
而今,這一宏愿正在逐漸變成現(xiàn)實(shí)。
5月21日,Sperax團(tuán)隊(duì)創(chuàng)作的論文《Sperax: An Approach To Defeat Long Range Attacks In Blockchains》被計(jì)算機(jī)科學(xué)領(lǐng)域頂級(jí)國(guó)際學(xué)術(shù)會(huì)議IEEE INFOCOM EdgeBlock分會(huì)錄用,Sperax研究員余舟將受邀參加2020 IEEE INFOCOM做主題報(bào)告。IEEE INFOCOM全稱(chēng)IEEE International Conference on Computer Communications,專(zhuān)注于計(jì)算機(jī)通訊,是計(jì)算機(jī)科學(xué)領(lǐng)域頂級(jí)的國(guó)際學(xué)術(shù)會(huì)議之一。會(huì)議投稿方多為國(guó)際一流知名高校如麻省理工學(xué)院、普林斯頓大學(xué)等或國(guó)際知名科技公司如微軟、華為等。會(huì)議審稿委員會(huì)(Technical Program Committee)由各國(guó)際知名高校的權(quán)威教授組成,審稿嚴(yán)格,使該會(huì)議一直保持一流學(xué)術(shù)會(huì)議的高質(zhì)量,在計(jì)算機(jī)科學(xué)領(lǐng)域享有盛譽(yù)。
據(jù)了解,在文章中,王永革教授和Sperax研究員余舟提出了旨在解決PoS(Proof of Stake)共識(shí)協(xié)議上的區(qū)塊鏈的天生缺陷-即長(zhǎng)距離攻擊問(wèn)題(Long Range Attack Problem)的方案。該團(tuán)隊(duì)對(duì)經(jīng)典PoS共識(shí)協(xié)議進(jìn)行了詳盡研究,獨(dú)創(chuàng)了新一代的、基于真隨機(jī)性的PoS共識(shí)協(xié)議--Proof of Authenticated Randomness (PoR)共識(shí)協(xié)議,首次真正解決了一直困擾PoS區(qū)塊鏈安全性的長(zhǎng)距離攻擊問(wèn)題。在該論文中,Sperax團(tuán)隊(duì)以算法的形式將創(chuàng)新性的底層共識(shí)協(xié)議呈現(xiàn),然后用嚴(yán)格的數(shù)學(xué)概率模型證明了其可以有效抵御基于長(zhǎng)距離攻擊的無(wú)代價(jià)模擬攻擊。
另外,該論文引入了Sperax團(tuán)隊(duì)自主研發(fā)的新一代拜占庭容錯(cuò)協(xié)議--BDLS。團(tuán)隊(duì)通過(guò)廣泛地分析部署在區(qū)塊鏈BFT的協(xié)議之后發(fā)現(xiàn),它們中的許多可能在局部同步網(wǎng)絡(luò)的全球標(biāo)準(zhǔn)時(shí)間(GST)之前陷入鎖死狀態(tài),然后永遠(yuǎn)處于鎖死狀態(tài)(甚至在同步之后)。這一陷入鎖死狀態(tài)的可能性,給部署于這些協(xié)議上的區(qū)塊鏈造成了不可忽視的巨大安全隱患。為解決這一安全性問(wèn)題,設(shè)計(jì)真正高性能的新一代區(qū)塊鏈拜占庭容錯(cuò)協(xié)議,Sperax團(tuán)隊(duì)經(jīng)過(guò)兩年的研發(fā),推出BDLS協(xié)議。BDLS協(xié)議,基于由著名密碼學(xué)家Dwork,Lynch,Stockmeyer設(shè)計(jì)的經(jīng)典密碼學(xué)協(xié)議--DLS協(xié)議,借鑒了Tendermint的拜占庭容錯(cuò)協(xié)議TendermintBFT、Libra(Facebook)的拜占庭容錯(cuò)協(xié)議HotStuffBFT,在安全性和通訊效率上都有極大的提升。更重要的是,BDLS協(xié)議第一次真正解決了部分異步網(wǎng)絡(luò)(partially asynchronous network)下區(qū)塊鏈協(xié)議可能陷入鎖死狀態(tài)的安全性問(wèn)題,是目前性能(安全性+效率)最佳的區(qū)塊鏈拜占庭容錯(cuò)協(xié)議。憑借創(chuàng)新性的BDLS協(xié)議,Sperax有望為開(kāi)發(fā)者提供一個(gè)安全、高效的共識(shí)模塊。