周旺，胡紅鋼，俞能海

快速響應(yīng)的高效多值拜占庭共識方案

周旺1,2，胡紅鋼1,2，俞能海1,2

（1.中國科學(xué)院電磁空間信息重點(diǎn)實(shí)驗(yàn)室，安徽 合肥 230027；2. 中國科學(xué)技術(shù)大學(xué)網(wǎng)絡(luò)空間安全學(xué)院，安徽 合肥 230027）

由于網(wǎng)絡(luò)設(shè)備的增多和傳輸環(huán)境的不確定性，消息時(shí)延同樣具有不確定性，異步共識協(xié)議發(fā)揮出更多優(yōu)勢。Miller等于2016年提出第一個(gè)異步共識協(xié)議HoneyBadgerBFT，但其在實(shí)現(xiàn)高吞吐量的同時(shí)傳輸效率依然可以再優(yōu)化。針對HoneyBadgerBFT中的廣播協(xié)議進(jìn)行改進(jìn)，減少廣播過程中的消息復(fù)雜度，同時(shí)增加可選的消息請求過程，以達(dá)到快速響應(yīng)和高效傳輸?shù)男Ч?/p>

快速響應(yīng)；高傳輸效率；拜占庭協(xié)議；共識方案

1 引言

自2008年中本聰首次提出比特幣[1]的概念后，區(qū)塊鏈作為其底層技術(shù)也被廣泛關(guān)注。區(qū)塊鏈本質(zhì)上是一個(gè)分布式數(shù)據(jù)庫，同時(shí)具有去中心化、開放性、自治性、信息不可篡改和匿名性這五大特性。區(qū)塊鏈系統(tǒng)與傳統(tǒng)數(shù)據(jù)庫系統(tǒng)的區(qū)別在于其能夠在不依賴第三方的情況下，在分布式環(huán)境中正確運(yùn)行，其核心之一是共識機(jī)制，即如何在一組節(jié)點(diǎn)之間達(dá)成消息的一致。

對于共識機(jī)制的研究一直熱度不減，從20世紀(jì)70年代末開始，研究人員便對分布式系統(tǒng)中的容錯(cuò)問題進(jìn)行了深入研究。對于宕機(jī)容錯(cuò)（CFT）問題，Lamport于1989年做出了開拓性的工作，提出了一個(gè)新的狀態(tài)機(jī)復(fù)制協(xié)議—— Paxos[2]，并在2001年進(jìn)行了解釋[3]。1982年，Lamport等提出了一個(gè)新的問題——拜占庭將軍問題[4]，對于新的拜占庭容錯(cuò)（BFT）問題，Castro和Liskov于1999提出了著名的PBFT[5]方案。2008年以后，隨著比特幣的關(guān)注度升高，同時(shí)由于其使用的工作量證明（PoW）機(jī)制的公平性，實(shí)現(xiàn)簡單，PoW受到追捧，以太坊[6]、萊特幣等部分主流“數(shù)字貨幣”使用的均是PoW機(jī)制。但鑒于其消耗大量計(jì)算資源與電力資源，相關(guān)社區(qū)一直在尋找PoW的替代機(jī)制。權(quán)益證明（PoS）依據(jù)系統(tǒng)中的稀缺資源，如資金，選取出塊者，抵抗女巫攻擊的同時(shí)不用消耗大量資源，并且近些年來有研究人員提出了可證明安全的PoS協(xié)議[7-9]，所以PoS機(jī)制正逐漸被區(qū)塊鏈系統(tǒng)設(shè)計(jì)者考慮使用。為了解決共識機(jī)制的可拓展性與低吞吐量問題，一系列新的方案與機(jī)制被提出[10-13]，所以對于共識的研究會根據(jù)應(yīng)用場景、需求的變化一直持續(xù)下去。

上述協(xié)議為保證可用性大多需要弱同步甚至同步環(huán)境的假定，但當(dāng)?shù)讓泳W(wǎng)絡(luò)由于某些原因?qū)е孪⑥D(zhuǎn)發(fā)緩慢甚至停止時(shí)，同步協(xié)議的性能將明顯下降，異步共識協(xié)議在這種環(huán)境下展示出較大優(yōu)勢。HoneybadgerBFT[14]是由 Miller等于2016年提出的第一個(gè)異步拜占庭協(xié)議，但協(xié)議過程中傳輸效率可進(jìn)一步優(yōu)化，文獻(xiàn)[15]直接將HoneybadgerBFT中的異步公共子集（ACS）協(xié)議作為一個(gè)單獨(dú)模塊，提出一種“先共識消息哈希，后請求缺失消息”的共識思路，單位傳輸代價(jià)優(yōu)于HoneybadgerBFT。但文獻(xiàn)[15]對消息先通過廣播哈希值，接收多個(gè)簽名的方式進(jìn)行處理，增加了時(shí)間消耗，無法快速響應(yīng)共識請求。本文則對ACS協(xié)議進(jìn)行改進(jìn)，替換其中的廣播子模塊，增加可選的消息請求模塊，避免對消息預(yù)處理的同時(shí)減小帶寬消耗，達(dá)到快速響應(yīng)、高效傳輸?shù)男Ч?/p>

2 預(yù)備知識

2.1 時(shí)間假設(shè)

底層網(wǎng)絡(luò)可能因?yàn)閾矶禄蚬魧?dǎo)致消息轉(zhuǎn)發(fā)緩慢，甚至由于惡意節(jié)點(diǎn)的操作使消息停止轉(zhuǎn)發(fā)，這使共識協(xié)議的設(shè)計(jì)、運(yùn)行變得愈加困難。研究人員針對不同應(yīng)用需求，根據(jù)消息延遲的界定義了不同的時(shí)間假設(shè)。

1) 同步：發(fā)送的每個(gè)消息最多在延遲一段時(shí)間后收到，即消息的延遲存在上界。

2) 部分同步[16]：有兩種不同的情形。第一種是網(wǎng)絡(luò)存在最大延遲，但對于參與者是未知的；第二種是在一個(gè)未知時(shí)間（被稱為全局標(biāo)準(zhǔn)時(shí)間，GTS）后，網(wǎng)絡(luò)變?yōu)橥耆健?/p>

3) 弱同步：延遲的界隨時(shí)間變化，但增長速度不會比時(shí)間的多項(xiàng)式函數(shù)級快。

4) 異步：消息的延遲沒有上界，但誠實(shí)用戶之間發(fā)送的消息最終會達(dá)到。

2.2 HoneyBagerBFT

HoneyBadgerBFT協(xié)議是Miller等在2016年提出的一種BFT協(xié)議。其作為第一個(gè)異步的BFT共識協(xié)議，完全不依賴于網(wǎng)絡(luò)中對時(shí)間條件的假設(shè)。與傳統(tǒng)的PBFT共識協(xié)議相比，當(dāng)節(jié)點(diǎn)增加時(shí)，效率不會明顯下降。

HoneyBadgerBFT由兩個(gè)模塊組成：門限加密（TPKE）模塊和異步公共子集（ACS）模塊。ACS模塊負(fù)責(zé)最終交易集合的共識，TPKE模塊保證協(xié)議的公平性，防止有針對性的審查攻擊。ACS模塊也由兩個(gè)模塊組成：可靠廣播（RBC[17]）模塊和二元共識（ABA）模塊。RBC模塊將每個(gè)節(jié)點(diǎn)提出的建議值廣播給其他節(jié)點(diǎn)，ABA模塊對所有節(jié)點(diǎn)之間在個(gè)比特上達(dá)成共識，第個(gè)比特為1，代表節(jié)點(diǎn)提出的建議值被包含在最終交易集合中。本文關(guān)注ACS協(xié)議中的RBC模塊，ACS協(xié)議及RBC協(xié)議流程如下。

//系統(tǒng)維護(hù)個(gè)RBC實(shí)例，個(gè)ABA實(shí)例

輸入 每個(gè)節(jié)點(diǎn)的建議值

輸出 所有建議值的一個(gè)子集

3) 當(dāng)已向?個(gè)ABA實(shí)例提供過輸入，則將0作為未提供輸入的ABA實(shí)例的輸入；

4) 當(dāng)所有ABA實(shí)例均已完成，取輸出為1的ABA實(shí)例對應(yīng)RBC輸出的并集作為最終共識的交易集合。

5)當(dāng)收到+1個(gè)匹配的READY()，若還未發(fā)送過READY消息，則廣播READY()。

6) 當(dāng)收到2+1個(gè)匹配的READY()，等待?2個(gè)ECHO消息，解碼恢復(fù)。

2.3 AVID-FP

AVID-FP[18]是Hendricks于2007年提出的用于優(yōu)化糾刪碼帶寬的方案，其使用同態(tài)指紋作為每次廣播的信息。同態(tài)指紋保持了糾刪碼的結(jié)構(gòu)，允許每個(gè)編碼塊可以單獨(dú)驗(yàn)證其是否對應(yīng)特定的原信息，于是每個(gè)節(jié)點(diǎn)均可以利用首次收到的編碼塊以及對應(yīng)的指紋信息驗(yàn)證收到的編碼塊的正確性，同時(shí)僅需在之后的廣播消息中加入指紋信息即可確保所有誠實(shí)節(jié)點(diǎn)擁有的編碼塊對應(yīng)于同一個(gè)原信息，由于其帶寬消耗最優(yōu)，文獻(xiàn)[19]中使用AVID-FP作為線性存儲的實(shí)現(xiàn)方案。AVID-FP協(xié)議流程如下。

AVID-FP協(xié)議流程

//客戶端分發(fā)消息

//客戶端恢復(fù)消息

1)向所有服務(wù)器發(fā)送消息恢復(fù)請求（RETRIEVED）；

3)當(dāng)收到的對應(yīng)的編碼塊數(shù)量為時(shí)，恢復(fù)消息。

//服務(wù)器端

2)當(dāng)從其他服務(wù)器收到（ECHO，fpcc），若ECHO消息數(shù)為+，并且READY消息數(shù)少于+1，則向其他服務(wù)器廣播（READY，fpcc）。

3) 當(dāng)從其他服務(wù)器收到（READY，fpcc），若READY消息數(shù)為+1，并且ECHO消息數(shù)小于+，則向其他服務(wù)器廣播（READY，fpcc）；

5) 當(dāng)從客戶端收到消息恢復(fù)請求（RETRIEVED）時(shí)，向客戶端發(fā)送（VERIFIED，echoed）。

3 協(xié)議設(shè)計(jì)

在RBC廣播協(xié)議中，為了驗(yàn)證每個(gè)收到的廣播消息的正確性，即是否對應(yīng)于特定原消息，在廣播消息中需加入編碼塊、對應(yīng)的默克爾樹根以及默克爾樹路徑信息，所以，對于大小不可忽略的輸入，RBC協(xié)議執(zhí)行時(shí)將占用大量帶寬。文獻(xiàn)[15]直接將ACS協(xié)議作為單獨(dú)的模塊，并依據(jù)本地節(jié)點(diǎn)的消息和最終建議值集合中的消息有交集的假定，對消息哈希先簽名后廣播，在收到多個(gè)簽名后組成建議值特定格式項(xiàng)，然后使用ACS先共識消息哈希，再請求缺失消息。其通過形成特殊格式的建議值，將該值作為ACS協(xié)議的輸入，在ACS協(xié)議的廣播模塊執(zhí)行時(shí)，廣播消息的大小大大降低。本文通過對ACS協(xié)議的廣播子模塊進(jìn)行替換，使用AVID-FP進(jìn)行消息的廣播，在不需要對輸入做特定預(yù)處理的情況下，廣播模塊執(zhí)行時(shí)，其廣播消息的大小與消息請求模塊請求內(nèi)容的大小相比可忽略，而且由于使用了同態(tài)指紋技術(shù)，對每個(gè)收到的廣播消息均可驗(yàn)證其正確性，于是在不需要更多預(yù)處理操作的同時(shí)達(dá)到高效傳輸?shù)男Ч?/p>

需要注意的是，使用AVID-FP替換廣播子模塊后的ACS協(xié)議在執(zhí)行完后，共識的結(jié)果依舊是大小可忽略的fpcc集合，為了獲得最終的共識消息，需要增加額外的消息請求模塊。但在AVID-FP算法流程中有消息恢復(fù)的部分，于是恢復(fù)消息模塊可由各節(jié)點(diǎn)以客戶端的角色運(yùn)行消息恢復(fù)部分得到最終共識消息。

協(xié)議整體流程如下：系統(tǒng)中維護(hù)個(gè)AVID-FP實(shí)例，個(gè)ABA實(shí)例，每個(gè)節(jié)點(diǎn)均選取一定交易消息作為建議值，然后以客戶端的角色運(yùn)行AVID-FP協(xié)議，分發(fā)選取的建議值，并以服務(wù)器端的角色共識fpcc；每當(dāng)一個(gè)fpcc驗(yàn)證，在向客戶端發(fā)送（STROED）消息時(shí)，向?qū)?yīng)的ABA實(shí)例輸入1；若該節(jié)點(diǎn)已經(jīng)向?個(gè)ABA實(shí)例提供過輸入，則向其他所有ABA實(shí)例輸入0；等待所有ABA實(shí)例完成，取輸出為1的ABA實(shí)例對應(yīng)的AVID-FP輸出的fpcc的并集作為最終建議值指紋集合；若此時(shí)節(jié)點(diǎn)網(wǎng)絡(luò)環(huán)境不佳，則可以先進(jìn)行下一輪共識，而不需要立即請求fpcc對應(yīng)的建議值集合，否則節(jié)點(diǎn)依次廣播消息恢復(fù)請求（RETRIEVED），在最優(yōu)情況下只需從其他+1個(gè)節(jié)點(diǎn)收到每個(gè)建議值的編碼塊即可恢復(fù)相應(yīng)的建議值，進(jìn)而得出最終建議值集合。改進(jìn)的ACS協(xié)議流程如下。

//系統(tǒng)維護(hù)個(gè)AVID-FP實(shí)例，N個(gè)ABA實(shí)例

輸入 每個(gè)節(jié)點(diǎn)的建議值

輸出 所有建議值指紋的一個(gè)子集或所有建議值的一個(gè)子集

3)當(dāng)已向?個(gè)ABA實(shí)例提供過輸入，則將0作為未提供輸入的ABA實(shí)例的輸入。

4) 當(dāng)所有ABA實(shí)例均已完成，取輸出為1的ABA實(shí)例對應(yīng)的AVID-FP輸出的fpcc并集作為最終共識的建議值指紋集合。

5)由fpcc集合發(fā)送消息恢復(fù)請求，并根據(jù)收到的編碼塊恢復(fù)消息集合。

在文獻(xiàn)[15]中，為了使本地節(jié)點(diǎn)的消息和最終建議值集合中的消息交集最大化，在將消息輸入ACS協(xié)議之前，需要對消息做處理，形成如下格式的消息插入本地建議值集合中。

在本文的協(xié)議中，沒有處理用戶發(fā)來消息的時(shí)間消耗，而且消息恢復(fù)模塊不影響共識的進(jìn)程，若只考慮共識的fpcc，則可對參與的節(jié)點(diǎn)進(jìn)行快速的響應(yīng)；即使考慮完全恢復(fù)最終建議值集合，也會比文獻(xiàn)[15]中的改進(jìn)方案響應(yīng)更快。改進(jìn)前后流程如圖1所示，模塊對比如表1所示。

4 傳輸效率分析

4.1 本協(xié)議傳輸效率分析

對于之后的消息恢復(fù)模塊，因?yàn)閮H需個(gè)編碼塊便可恢復(fù)出原消息，對于某個(gè)建議值最優(yōu)情況下僅需發(fā)送個(gè)消息恢復(fù)請求，收到個(gè)誠實(shí)節(jié)點(diǎn)發(fā)送的建議值編碼塊即可恢復(fù)出此建議值。所以，最優(yōu)情況下的單位傳輸代價(jià)為

最壞情況下系統(tǒng)中有個(gè)敵手，在消息恢復(fù)模塊需要請求至少+個(gè)編碼塊以恢復(fù)原建議值。于是，最壞情況下單位傳輸代價(jià)為

4.2 HoneyBadgerBFT傳輸效率分析

圖1 改進(jìn)前后ACS協(xié)議流程

Figure 1 ACS protocol flow charts before and after improvement

表1 改進(jìn)前后模塊對比

在最優(yōu)情況下，即

1) 系統(tǒng)中個(gè)節(jié)點(diǎn)均為誠實(shí)節(jié)點(diǎn)；

2) 各個(gè)建議值之間沒有重復(fù)消息；

3) 一輪中建議值均被共識。

HoneyBadgerBFT的單位傳輸代價(jià)為

在最壞情況下，即

1) 系統(tǒng)中有個(gè)惡意節(jié)點(diǎn)；

2) 每輪只有2+1個(gè)建議值被共識，且其中的個(gè)來自惡意節(jié)點(diǎn)，+1個(gè)來自誠實(shí)節(jié)點(diǎn)。

4.3 文獻(xiàn)[15]中共識方案傳輸效率分析

文獻(xiàn)[15]直接將ACS協(xié)議作為單獨(dú)模塊，使用了“共識消息哈希，后請求缺失消息”的共識思路，并預(yù)先對用戶發(fā)來的消息進(jìn)行了處理，形成特定格式的建議值，廣播消息的大小與消息請求模塊請求內(nèi)容的大小相比可忽略不計(jì)，于是在最優(yōu)情況下，即

1) 所有節(jié)點(diǎn)均是誠實(shí)節(jié)點(diǎn)；

2) 所有節(jié)點(diǎn)均有了建議值中的原消息。

所有節(jié)點(diǎn)不會對最終共識的哈希列表中的項(xiàng)發(fā)起原消息傳輸請求，此時(shí)協(xié)議的單位傳輸代價(jià)為

通過表2對比可知，本文協(xié)議的傳輸效率在最優(yōu)、最壞情況下均優(yōu)于HoneyBadgerBFT，最優(yōu)情況下與文獻(xiàn)[15]相同，最壞情況下比文獻(xiàn)[15]略差，響應(yīng)速度由第3節(jié)分析可知，本文協(xié)議比文獻(xiàn)[15]響應(yīng)速度更快。

表2 單位傳輸代價(jià)比較

5 結(jié)束語

在異步共識協(xié)議中不僅要考慮傳輸效率的高低，同時(shí)需要關(guān)注對于請求的響應(yīng)速度。本文在HoneyBadgerBFT的基礎(chǔ)上，使用修改的AVID-FP協(xié)議改進(jìn)其RBC協(xié)議，使在某些特定場景下不需要恢復(fù)最終建議值集合也能快速響應(yīng)共識請求，即使在請求完整建議值集合時(shí)也比文獻(xiàn)[8]響應(yīng)更快速，同時(shí)傳輸代價(jià)比HoneyBadgerBFT在最優(yōu)、最差情況下都有所改善。

值得關(guān)注的是，在ACS與ABA協(xié)議中有多次廣播操作，消耗大部分帶寬資源，所以，如何在減少廣播操作的同時(shí)達(dá)到相同的功能是接下來的研究重點(diǎn)。

[1] NAKAMOTO S. Bitcoin: a peer-to-peer electronic cash system[R]. 2008.

[2] LAMPORT L. The part-time parliament[J]. ACM Transactions on Computer Systems (TOCS), 1998, 16(2): 133-169.

[3] LAMPORT L. Paxos made simple[J]. ACM Sigact News, 2001, 32(4): 18-25.

[4] LAMPORT L, SHOSTAK R, PEASE M. The Byzantine generals problem[J]. ACM Transactions on Programming Languages and Systems (TOPLAS), 1982, 4(3): 382-401.

[5] CASTRO M, LISKOV B. Practical Byzantine fault tolerance[C]//OSDI. 1999: 173-186.

[6] WOOD G. Ethereum: a secure decentralised generalised transaction ledger[J]. Ethereum Project Yellow Paper, 2014, 151: 1-32.

[7] KIAYIAS A, RUSSELL A, DAVID B, et al. Ouroboros: a provably secure proof-of-stake blockchain protocol[C]//Annual International Cryptology Conference. 2017: 357-388.

[8] DAVID B, GA?I P, KIAYIAS A, et al. Ouroboros praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain[C]// Annual International Conference on the Theory and Applications of Cryptographic Techniques. 2018: 66-98.

[9] BENTOV I, PASS R, SHI E. Snow white: provably secure proofs of stake[J]. IACR Cryptology ePrint Archive, 2016: 919.

[10] EYAL I, GENCER A E, SIRER E G, et al. Bitcoin-ng: a scalable blockchain protocol[C]//13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). 2016: 45-59.

[11] KOKORIS-KOGIAS E, JOVANOVIC P, GASSER L, et al. Omniledger: a secure, scale-out, decentralized ledger via sharding[C]// 2018 IEEE Symposium on Security and Privacy (SP). 2018: 583-598.

[12] ZAMANI M, MOVAHEDI M, RAYKOVA M. Rapidchain: scaling blockchain via full sharding[C]//2018 ACM SIGSAC Conference on Computer and Communications Security. 2018: 931-948.

[13] WANG J, WANG H. Monoxide: scale out blockchains with asynchronous consensus zones[C]//16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). 2019: 95-112.

[14] MILLER A, XIA Y, CROMAN K, et al. The honey badger of BFT protocols[C]//2016 ACM SIGSAC Conference on Computer and Communications Security. 2016: 31-42

[15] 郭兵勇, 李新宇. 一個(gè)高傳輸效率的多值拜占庭共識方案[J]. 密碼學(xué)報(bào), 2018, 5(5): 516–528. GUO B Y, LI X Y. Multi-valued Byzantine consensus scheme with high transmission efficiency[J]. Journal of Cryptologic Research, 2018, 5(5): 516–528.

[16] DWORK C, LYNCH N, STOCKMEYER L. Consensus in the presence of partial synchrony[J]. Journal of the ACM (JACM), 1988, 35(2): 288-323.

[17] BRACHA G. Asynchronous Byzantine agreement protocols[J]. Information and Computation, 1987, 75(2): 130-143.

[18] HENDRICKS J, GANGER G R, REITER M K. Verifying distributed erasure-coded data[C]//The 26th Annual ACM Symposium on Principles of Distributed Computing. 2007: 139-146.

[19] DUAN S, REITER M K, ZHANG H. BEAT: asynchronous BFT made practical[C]//2018 ACM SIGSAC Conference on Computer and Communications Security. 2018: 2028-2041.

[20] CACHIN C, TESSARO S. Asynchronous verifiable information dispersal[C]//24th IEEE Symposium on Reliable Distributed Systems (SRDS'05). 2005: 191-201.

[21] REED I S, SOLOMON G. Polynomial codes over certain finite fields[J]. Journal of the Society for Industrial and Applied Mathematics, 1960, 8(2): 300-304.

Rapid responsive and efficient multi-valued Byzantine consensus scheme

ZHOU Wang1,2, HU Honggang1,2, YU Nenghai1,2

1. Key Laboratory of Electromagnetic Space Information, Chinese Academy of Sciences, Hefei 230027, China 2. School of CyberScience, University of Science and Technology of China, Hefei 230027, China

Due to the increase of network equipments and the uncertainty of the transmission environment, the message delay is also uncertain, and the asynchronous consensus protocol possesses more advantages. Miller et al proposed the first asynchronous consensus protocol HoneyBadgerBFT in 2016, but its transmission efficiency can be optimized furthermore while achieving high throughput. The broadcast protocol in HoneyBadgerBFT was improved by reducing the message complexity in the broadcast process, and adding optional message request process to achieve rapid response and efficient transmission.

rapid response,efficient transmission, Byzantine protocol, consensus scheme

TP309.3

A

10.11959/j.issn.2096?109x.20201006

2020?01?14；

2020?03?02

胡紅鋼，hghu2005@uste.edu.cn

國家自然科學(xué)基金（61632013，61972370）

The National Natural Science Foundation of China (61632013, 61972370)

周旺, 胡紅鋼, 俞能海. 快速響應(yīng)的高效多值拜占庭共識方案[J]. 網(wǎng)絡(luò)與信息安全學(xué)報(bào), 2021, 7(1): 57-64.

ZHOU W, HU H G, YU N H. Rapid responsive and efficient multi-valued Byzantine consensus scheme[J]. Chinese Journal of Network and Information Security, 2021, 7(1): 57-64.

周旺（1995? ），男，安徽淮南人，中國科學(xué)技術(shù)大學(xué)碩士生，主要研究方向?yàn)楣沧R協(xié)議、區(qū)塊鏈應(yīng)用。

胡紅鋼（1978? ），男，四川彭州人，博士，中國科學(xué)技術(shù)大學(xué)教授、博士生導(dǎo)師，主要研究方向?yàn)槊艽a學(xué)、網(wǎng)絡(luò)安全。

俞能海（1964? ），男，安徽無為人，博士，中國科學(xué)技術(shù)大學(xué)教授、博士生導(dǎo)師，主要研究方向?yàn)槎嗝襟w數(shù)據(jù)處理分析與檢索、互聯(lián)網(wǎng)信息檢索、數(shù)字內(nèi)容安全。