PeckShield 研發副總吳家志：需要更多人合作解決區塊鏈生態安全問題 | 區塊鏈P.O.D大會_SHIELD:SOLAPE價格

9月5日，在由Odaily星球日報主辦、36Kr集團戰略協辦的P.O.D大會安全論壇上，PeckShield研發副總吳家志發表題為《區塊鏈智能合約及公鏈安全》的演講。在演講中，吳家志指出，整個區塊鏈生態存在的安全問題包括智能合約、基礎設施、錢包問題、礦池問題等。他還表示，因為區塊鏈相關的項目方眾多，有各種公鏈，公鏈有各種實現，智能合約也有各種實現，這些安全問題不是一家公司可以搞定的，需要更多的人來共同做好這件事，所以PeckShield與白帽匯旗下的BCSEC共同成立了DVP漏洞平臺。該平臺在7月24號上線，目前收到1700多個漏洞，相關的廠商已經有705個，總共注冊白帽子1萬多。PeckShield希望跟所有相關方合作，把整個生態做得更好。以下為吳家志演講全文，enjoy：

各位嘉賓下午好，我是吳家志，我來分享一下PeckShield的研究成果，我們公司是從今年年初開始區塊鏈研究的，算起來到現在，差不多有半年的時間。最早從代碼開始研究區塊鏈相關的信息，到現在研究范圍擴大到整個區塊鏈生態的各個環節。大家知道我們名字可能從是智能合約問題曝光開始，后來我們也做了很多跟公鏈相關的漏洞披露，也有做像前面嘉賓所說數據分析方面的研究，發了一些跟數據有關的快訊，還有熱門游戲相關的漏洞分析等等。我們有一個目標就是希望整個生態能夠在一個安全的狀態下運轉。我們認為區塊鏈某一定程度會取代人類的一些經濟行為，跟以往的經濟行為很大不一樣的是“去中心化”。所以沒有這種機構保證你的資金安全，你錢丟了是沒辦法找一個法院或者銀行幫你追回來的，在這樣環境下，整個生態安全問題就顯得至關重要。先做一下自我介紹。最早之前是在學校，2015年來到北京工作，在360。如果說你們從2013年開始到2015、2016年，有用安卓手機的話，可能里面就有我寫的一些代碼。今年之前，我都是以系統安全研究白帽子的身份，在做一些事情，后面開始做區塊鏈相關的安全研究。

由Magic Eden為ApeCoin DAO構建NFT市場的提案已開啟投票:9月16日消息，由Magic Eden為ApeCoin DAO構建NFT市場的提案已開啟投票，投票將于9月22日截止，目前支持率為98.3%。

此前8月份消息，NFT市場Magic Eden已向ApeCoin DAO提交了一份提案，以為其建立一個NFT市場，APE持有者可以在其中以0.75%的交易費交易NFT。Magic Eden提議對每筆交易收取1.5%的費用，并對在ApeCoin中進行的所有交易提供0.5%的折扣(APE)，對Bored APE Yacht Club、Mutant APE Yacht Club和Bored APE Kennel Club NFT持有者進行的交易額外提供0.25%的折扣。[2022/9/16 7:00:23]

我最近也在做一些數據分析，這是一個比較大的趨勢圖。我第一次看這個圖怎么這么大，你可以看到，我們現在在這，9月初是在這，去年的時候是在這里，有兩條線，藍色是我們監控上面每個月新增的合約數，可以看到藍色的波動，綠色是我們監控到的數，可以看到去年這時候是有一個下滑，這個原因大家應該也知道。到年底的時候，有各種包括以太貓在這個時間點，有一個攀升。7月份稍微有點返升，上個月又稍微涼了一點，大家也明白。

BAYC 開發公司 Yuga Labs 計劃推出元宇宙MetaRPG，并發行APECoin:3月16日消息，BAYC開發公司 Yuga Labs 計劃推出元宇宙MetaRPG，并發行APECoin代幣。Yuga Labs 此舉旨在擴展 BAYC 世界，MetaRPG 將是以游戲為中心的元宇宙，Yuga Labs 計劃在今年 3 月和 8 月進行兩次元宇宙土地銷售來籌集 1.78 億美元。元宇宙內土地總量為 20 萬塊，Yuga Labs 將為自己其中保留一部分。此外，Yuga Labs 與 Animoca Brands 合作開發的賽車游戲也將參與此次發布。[2022/3/16 13:58:41]

剛才那個圖是比較簡單的數據，我們統計每個月的量，看他的情況是怎么樣。下面這個圖就比較有趣，我來解釋一下。Homestead，這個階段是到155萬個blknum，一個圈代表一萬個區塊，所以這個圖上有115個圈。再來是X坐標，意思是說這一萬個區塊里面存在一個以上交易的塊數，舉個例子，這一塊可能差不多是8200，這一萬個塊里面有82%左右不是空塊。所以就你可以理解為這個圈如果在圖的越右邊的話，就表示這個網絡是滿載的情況。

StarkWare零知識證明驗證程序ethSTARK已通過PeckShield安全審計:8月11日消息，區塊鏈安全公司PeckShield官方宣布，StarkWare公司零知識證明驗證程序ethSTARK已通過其全面安全審計服務。

ethSTARK是一個以太坊基金會支持的，由StarkWare公司開發的零知識證明（ZKP，Zero Knowledge Proof) 驗證程序，它實現了比現有ZKP算法更快的驗證速度，進一步提升了StarkWare在零知識證明領域的技術影響力。[2020/8/11]

再來看Y坐標，就是這一萬個塊里面的平均TX數，最大的值是200多，為什么是這個值，原因是每一個塊是有gas上限的，你可以理解為每一個塊承載的TX數是有限制的，最一開始狀態是點都是在很低的地方，但是有一個往右邊的增長，一開始可能很多都是空塊，像創世塊就在左下角，就是沒有任何TX，進入下一個階段可以看到這個圖開始有一些往上增長，但也有往左的，還是屬于一個網絡不是太擁塞的情況。

到拜占庭這個時間點往右邊的圈越來越多了，整個網絡變得比較擁擠。

加密貨幣交易所Zaif下線BCY、SJCX及PEPECASH及相關交易對:日本加密貨幣交易所Zaif今日宣布，基于市場流通交易量的考慮，將下線BCY、SJCX及PEPECASH三個幣種。Zaif將在4月28日停止相關幣種充提服務，并于4月30日停止交易。（Jp.cointelegraph）[2020/4/1]

到最近這一年以來，基本就是貼到最右邊去，可能是由于各種現象級的游戲，還有包括黑客攻擊什么的，所以現在，可能隨便出來一個現象級事件，包括Fomo3D這一類游戲，都可能導致這種結果。這個是我們PeckShield從數據方面觀察到一些現象。

接下來分幾個層面去講整個區塊鏈生態的一些安全問題，這里面大家可以看到，比如智能合約，有infrastructure，還有錢包問題等其他環節，我們都有一些研究。

首先我先講一下智能合約的問題，這個跟大家最早知道PeckShield的美鏈事件是類似的一個問題，代碼在這個地方，這些value加起來之后出現一個溢出的數，導致amount檢查會被繞過，我們看畫面右邊有一個案例，右面可以看到兩個手機的樣子，旁邊是我攻擊的流程，等一下你會看到右邊我更新的一下會憑空造出兩個很大的數字，后面的零數不過來，就是通過這種方式，我們生成兩個不同地址，分別是那兩個手機的錢包地址，造成這個地方溢出，然后這個檢查繞過，這邊就等于看到生成很多數字資產的地方，就是在balance+=value這個地方，空手套白狼，這是一個挺嚴重的問題。這樣的問題有一個比較公認的解決方法，就是在這個地方，是一種比較嚴謹的計算函數庫，叫Safemath。

聲音 | PeckShield: EOS競猜游戲EOSlots遭隨機數破解:今天晚上21:16～21:21之間，PeckShield安全盾風控平臺DAppShield監測到黑客向EOS競猜類游戲EOSlots發起連續攻擊，并獲利數千EOS，目前游戲已經暫停運營。PeckShield安全人員初步研究發現，此次是因游戲合約隨機數問題被攻破。在此提醒，開發者應在合約上線前做好安全測試，特別注意隨機數生成算法的安全問題，必要時可尋求第三方安全公司協助，幫助其完成合約上線前黑盒測試及基礎安全防御部署。[2019/4/4]

這邊是一個allowance的運算，它可以保證你不會溢出，那為什么你看我標題寫的是Unsafemath呢？我們最近發現一個很有趣的現象，在你右手邊，這里safeSub的實現里，用assert確保B小于或對于A，也就是說你不能用一個比較小的數減一個比較大的數。assert這個方法可以保證你這邊錯的時候，會可以把你的gas燒完，讓這個TX結束，這也是剛剛郭老師講的攻擊里面的細節。就是說本來架構里面有一個這樣的機制存在，但他的這個safeMath實現里，多加了一個assert函數，在發生錯誤的時候直接return。所以選擇你的安全函數庫的時候也要注意一下。

再來我講一下關于infrastructure的研究，左邊這個截圖是漏洞獎勵計劃的網站，PeckShield現在是暫時排名第五，目前已公開有三個比較早期提交給基金會的漏洞，都是跟公鏈有關。我今天稍微介紹一下其中的一個，已經修復的，大家不用擔心，如果你把Geth升級到最新的，這個漏洞不存在。

這個漏洞簡單說一下，我們命名為叫做EPoD，只要發一個數據包給你，你筆記本現在跑一個客戶端，我知道你的IP，直接發給你，你收到后，你的客戶端就會崩潰，這個崩潰聽起來好像沒什么，但是我直接廣發這個數據部就直接死一片，你其實可以很簡單聯想到這個可以拿來做算力的攻擊。代碼的細節不講太多，簡單說就是我把某一個數據弄成負1，這邊代碼實現是把這個數+1，當你要分配內存大小，負1+1就是零，我又去access負1這個地方的位置，最終導致越界訪問，程序就崩潰了。我們直接看案例比較簡單一點。

右邊這個就是我運行的客戶端，這邊先去證明一下我客戶端是從官網上面下載，保證說這個客戶端不是我自己修改過的，是官網直接下載的。等一下檢查完之后左邊會出現兩個窗口，左上角是攻擊代碼運行情況，左下角是一個抓包的畫面，剛剛我做了一個操作，就是先把網關掉，確保這個機器已經沒有網了，所有網絡測的數據包都是來自本機的包。看到最右邊已經把Geth客戶端領跑起來了，這邊是我剛才抓到的UDP包，如果你們有了解，這種包不需要建立連接，我可以在網關或者什么地方，可以擴散我的攻擊，左上角是我攻擊代碼，我攻擊的目標是127.0.0.1，這我們本機的IP，這個是攻擊的包，所以只要在某一個版本以下的Golang客戶端收到這個包就會崩潰。這樣的漏洞其實我們有一整個系列，這是最早被公開的一個，我們在明天的互聯網大會上會講，這整個系列會有好幾個類似這樣的案例。以上是我針對公鏈還有智能合約的安全問題簡單做的兩個案例，大家理解一下就可以，如果真的要看代碼，可以關注下PeckShield的官網。最后，我要說是我們最近跟白帽匯旗下BCSEC合作的一個項目，我們感覺區塊鏈相關的項目方實在太多了，有各種公鏈，公鏈有各種實現，智能合約有各種實現，所以我們就開始覺得說，這個安全的問題其實不是我們一家公司可以搞定的，我們需要更多的人同時來把這件事做的更好，所以我們成立一個平臺叫做DVP漏洞平臺。最右邊是漏洞提交的情況，簡單說我們就是利用一種眾測方式，集合所有有安全能力的研究人員或者白帽子，讓項目方把他的項目在我們平臺上面懸賞。比如說我現在要測試1.0版本，你找到一個什么樣等級漏洞給你怎么樣的報酬，通過這樣方式鼓勵白帽子幫我們把整個生態做的更好。這個平臺是在7月24號上線，目前收到1700多個漏洞，相關的廠商已經有705個，總共注冊白帽子一萬多。這些是已經入駐這個平臺的廠商，包括我們自己公司網站也放在上面做懸賞。PeckShield其實希望跟所有項目方合作，把整個生態做的更好，一開始我也講到這件事情，最右邊是我們公司的官網，我們會不定期在上面發布我們最新的研究成果，大家可以關注一下。以上就是我今天的分享，謝謝。

Tags：SHIELDSHIELDAPEDarkShield Games StudioFloshido InuELD幣SOLAPE價格

波場