蘇 洲

（西安交通大學(xué)網(wǎng)絡(luò)空間安全學(xué)院 西安 710049）

隨著區(qū)塊鏈去中心化平臺(tái)的經(jīng)濟(jì)體量逐年攀高，對(duì)區(qū)塊鏈去中心化平臺(tái)和區(qū)塊鏈代幣的代碼審查已經(jīng)愈加趨于嚴(yán)謹(jǐn)，出現(xiàn)了大量基于去中心化平臺(tái)或代幣的研究. 然而，鮮有針對(duì)去中心化平臺(tái)和代幣的交互問題進(jìn)行研究，尤其是代幣的實(shí)際轉(zhuǎn)移與去中心化平臺(tái)所期望的轉(zhuǎn)移被默認(rèn)為一致. 根據(jù)可見的攻擊實(shí)例，這一類交互問題實(shí)際上大量存在且造成了巨大的經(jīng)濟(jì)損失. 文章將該類交互問題總結(jié)為“去中心化平臺(tái)預(yù)期代幣轉(zhuǎn)移與代幣本身的轉(zhuǎn)移之間的不一致問題”. 針對(duì)這樣一個(gè)長久以來被忽視的安全問題基本處于黑盒的狀態(tài)，這篇文章對(duì)該問題進(jìn)行了研究，提出了有效的檢測(cè)方法以及對(duì)結(jié)果進(jìn)行了剖析.

1. 該論文通過研究去中心化平臺(tái)的合約中記錄代幣轉(zhuǎn)移信息的數(shù)據(jù)結(jié)構(gòu)、該數(shù)據(jù)結(jié)構(gòu)改變量和代幣合約中的數(shù)據(jù)結(jié)構(gòu)改變量之間的關(guān)系來探索未發(fā)現(xiàn)的安全問題或財(cái)產(chǎn)風(fēng)險(xiǎn)，探究了合約攻擊的可能性和隱藏的漏洞.

2. 該論文提出了一種自動(dòng)化方法，針對(duì)區(qū)塊鏈去中心化平臺(tái)與代幣間存在的不一致問題進(jìn)行深入研究. 通過這一方法，作者成功開發(fā)了一個(gè)名為DEALS 的工具. DEALS 不僅具備自動(dòng)化特性，而且具有出色的性能和準(zhǔn)確度，專門針對(duì)轉(zhuǎn)賬信息的潛在問題進(jìn)行監(jiān)測(cè)和分析，結(jié)合了智能合約的靜態(tài)和動(dòng)態(tài)分析技術(shù)，從而確保對(duì)轉(zhuǎn)賬信息問題全面和深入地檢測(cè).

3. 該工作梳理了為去中心化平臺(tái)提供核心功能的函數(shù)，這些函數(shù)是去中心化平臺(tái)運(yùn)作的基石. 作者分析了去中心化平臺(tái)的記賬模式并從中總結(jié)了3 種去中心化平臺(tái)常用于存儲(chǔ)代幣轉(zhuǎn)賬信息的數(shù)據(jù)結(jié)構(gòu)類型，揭示了去中心化平臺(tái)存儲(chǔ)轉(zhuǎn)賬信息的本質(zhì).

4. 該論文使用DEALS 工具對(duì)多個(gè)主流的去中心化平臺(tái)和代幣合約進(jìn)行了深入的實(shí)驗(yàn)檢測(cè).這些實(shí)驗(yàn)的目標(biāo)是識(shí)別實(shí)際運(yùn)營環(huán)境中存在的不一致問題，驗(yàn)證DEALS 工具的準(zhǔn)確性和有效性，并發(fā)現(xiàn)了大量去中心化平臺(tái)與代幣的轉(zhuǎn)賬信息存在問題的交易，為區(qū)塊鏈安全領(lǐng)域提供了大量可供研究的對(duì)象和數(shù)據(jù).

5. 該論文揭示了10 類導(dǎo)致不一致問題的原因，每一種原因不僅都得到了詳細(xì)的描述，而且對(duì)原因都進(jìn)行了深入的解析，從而揭示了其中的根本性機(jī)制和可能導(dǎo)致的后果.

該論文的工作讓區(qū)塊鏈去中心化平臺(tái)與代幣之間的交互更加透明可信，使區(qū)塊鏈安全的可解釋性得到了進(jìn)一步的提升，因此在區(qū)塊鏈領(lǐng)域具備可喜的科學(xué)價(jià)值. 我相信該項(xiàng)研究方向具備繼續(xù)深入研究的科學(xué)價(jià)值，并期待它在區(qū)塊鏈安全領(lǐng)域帶來更多的創(chuàng)新與突破.

評(píng)述專家

蘇洲，西安交通大學(xué)網(wǎng)絡(luò)空間安全學(xué)院教授.主要研究方向包括通信網(wǎng)絡(luò)安全、物聯(lián)網(wǎng)安全、信息物理融合系統(tǒng)安全等.

亮點(diǎn)論文

姜人楷，宋書瑋，羅夏樸，陳廳，羅瑞杰，王炳森，喬翱.DEALS——追蹤代幣轉(zhuǎn)賬信息不一致[J]. 計(jì)算機(jī)研究與發(fā)展，2024，61（2）：274?288. DOI: 10.7544/issn1000-1239.202330613