9月5日,在由Odaily星球日報主辦、36Kr集團戰略協辦的P.O.D大會安全論壇上,PeckShield研發副總吳家志發表題為《區塊鏈智能合約及公鏈安全》的演講。在演講中,吳家志指出,整個區塊鏈生態存在的安全問題包括智能合約、基礎設施、錢包問題、礦池問題等。他還表示,因為區塊鏈相關的項目方眾多,有各種公鏈,公鏈有各種實現,智能合約也有各種實現,這些安全問題不是一家公司可以搞定的,需要更多的人來共同做好這件事,所以PeckShield與白帽匯旗下的BCSEC共同成立了DVP漏洞平臺。該平臺在7月24號上線,目前收到1700多個漏洞,相關的廠商已經有705個,總共注冊白帽子1萬多。PeckShield希望跟所有相關方合作,把整個生態做得更好。以下為吳家志演講全文,enjoy:
各位嘉賓下午好,我是吳家志,我來分享一下PeckShield的研究成果,我們公司是從今年年初開始區塊鏈研究的,算起來到現在,差不多有半年的時間。最早從代碼開始研究區塊鏈相關的信息,到現在研究范圍擴大到整個區塊鏈生態的各個環節。大家知道我們名字可能從是智能合約問題曝光開始,后來我們也做了很多跟公鏈相關的漏洞披露,也有做像前面嘉賓所說數據分析方面的研究,發了一些跟數據有關的快訊,還有熱門游戲相關的漏洞分析等等。我們有一個目標就是希望整個生態能夠在一個安全的狀態下運轉。我們認為區塊鏈某一定程度會取代人類的一些經濟行為,跟以往的經濟行為很大不一樣的是“去中心化”。所以沒有這種機構保證你的資金安全,你錢丟了是沒辦法找一個法院或者銀行幫你追回來的,在這樣環境下,整個生態安全問題就顯得至關重要。先做一下自我介紹。最早之前是在學校,2015年來到北京工作,在360。如果說你們從2013年開始到2015、2016年,有用安卓手機的話,可能里面就有我寫的一些代碼。今年之前,我都是以系統安全研究白帽子的身份,在做一些事情,后面開始做區塊鏈相關的安全研究。
ApeCoin社區通過“投票需至少持有1枚APE”提案鏈上投票:8月10日消息,據Snapshot頁面顯示,ApeCoin DAO社區通過“投票需至少持有1枚APE”的AIP-295提案鏈上投票,旨在消除機器人并減少試圖通過使用少量ApeCoin投票來博取未來利益的個人。[2023/8/10 16:17:35]
我最近也在做一些數據分析,這是一個比較大的趨勢圖。我第一次看這個圖怎么這么大,你可以看到,我們現在在這,9月初是在這,去年的時候是在這里,有兩條線,藍色是我們監控上面每個月新增的合約數,可以看到藍色的波動,綠色是我們監控到的數,可以看到去年這時候是有一個下滑,這個原因大家應該也知道。到年底的時候,有各種包括以太貓在這個時間點,有一個攀升。7月份稍微有點返升,上個月又稍微涼了一點,大家也明白。
剛才那個圖是比較簡單的數據,我們統計每個月的量,看他的情況是怎么樣。下面這個圖就比較有趣,我來解釋一下。Homestead,這個階段是到155萬個blknum,一個圈代表一萬個區塊,所以這個圖上有115個圈。再來是X坐標,意思是說這一萬個區塊里面存在一個以上交易的塊數,舉個例子,這一塊可能差不多是8200,這一萬個塊里面有82%左右不是空塊。所以就你可以理解為這個圈如果在圖的越右邊的話,就表示這個網絡是滿載的情況。
PeckShield:TOM發生Rug Pulls,已暴跌99.94%:5月16日消息,PeckShield發推表示,檢測到TOM發生Rug Pulls,代幣下跌了99.94%。目前已經有1200 BNB轉入了TornadoCash。[2022/5/16 3:19:26]
再來看Y坐標,就是這一萬個塊里面的平均TX數,最大的值是200多,為什么是這個值,原因是每一個塊是有gas上限的,你可以理解為每一個塊承載的TX數是有限制的,最一開始狀態是點都是在很低的地方,但是有一個往右邊的增長,一開始可能很多都是空塊,像創世塊就在左下角,就是沒有任何TX,進入下一個階段可以看到這個圖開始有一些往上增長,但也有往左的,還是屬于一個網絡不是太擁塞的情況。
到拜占庭這個時間點往右邊的圈越來越多了,整個網絡變得比較擁擠。
到最近這一年以來,基本就是貼到最右邊去,可能是由于各種現象級的游戲,還有包括黑客攻擊什么的,所以現在,可能隨便出來一個現象級事件,包括Fomo3D這一類游戲,都可能導致這種結果。這個是我們PeckShield從數據方面觀察到一些現象。
PeckShield:從未審計過“ZDSC”項目:近期,有用戶向區塊鏈安全公司PeckShield反應,某個名為ZDSC的DeFi項目,聲稱其通過了PeckShield的安全審計服務。經PeckShield核實發現,此為“ZDSC”項目方單方面盜用PeckShield名義作背書,向市場兜售其“高”收益“ZDSC DeFi項目”的惡意欺詐行為。PeckShield團隊在此鄭重聲明,團隊并沒有對“ZDSC”項目進行安全審計,請廣大用戶保持警惕,謹防受騙。任何審計報告,請留意PeckShield官方Twitter消息。[2020/10/23]
接下來分幾個層面去講整個區塊鏈生態的一些安全問題,這里面大家可以看到,比如智能合約,有infrastructure,還有錢包問題等其他環節,我們都有一些研究。
首先我先講一下智能合約的問題,這個跟大家最早知道PeckShield的美鏈事件是類似的一個問題,代碼在這個地方,這些value加起來之后出現一個溢出的數,導致amount檢查會被繞過,我們看畫面右邊有一個案例,右面可以看到兩個手機的樣子,旁邊是我攻擊的流程,等一下你會看到右邊我更新的一下會憑空造出兩個很大的數字,后面的零數不過來,就是通過這種方式,我們生成兩個不同地址,分別是那兩個手機的錢包地址,造成這個地方溢出,然后這個檢查繞過,這邊就等于看到生成很多數字資產的地方,就是在balance+=value這個地方,空手套白狼,這是一個挺嚴重的問題。這樣的問題有一個比較公認的解決方法,就是在這個地方,是一種比較嚴謹的計算函數庫,叫Safemath。
ConsenSys Codefi推出Inspect工具:4月14日消息,ConsenSys旗下Codefi推出DeFi協議透明度檢查器Inspect,用戶可以通過該工具查看主流DeFi協議的安全和透明度詳情。目前包含的協議為Aave、bZx、Compound、DDEX、dYdX、Maker、Nuo。[2020/4/14]
這邊是一個allowance的運算,它可以保證你不會溢出,那為什么你看我標題寫的是Unsafemath呢?我們最近發現一個很有趣的現象,在你右手邊,這里safeSub的實現里,用assert確保B小于或對于A,也就是說你不能用一個比較小的數減一個比較大的數。assert這個方法可以保證你這邊錯的時候,會可以把你的gas燒完,讓這個TX結束,這也是剛剛郭老師講的攻擊里面的細節。就是說本來架構里面有一個這樣的機制存在,但他的這個safeMath實現里,多加了一個assert函數,在發生錯誤的時候直接return。所以選擇你的安全函數庫的時候也要注意一下。
再來我講一下關于infrastructure的研究,左邊這個截圖是漏洞獎勵計劃的網站,PeckShield現在是暫時排名第五,目前已公開有三個比較早期提交給基金會的漏洞,都是跟公鏈有關。我今天稍微介紹一下其中的一個,已經修復的,大家不用擔心,如果你把Geth升級到最新的,這個漏洞不存在。
聲音 | PeckShield:ETC出塊獎勵巨大波動是由某些交易的特高礦工費導致 區塊自身獎勵沒有變化:昨天晚間,PeckShield態勢感知平臺監測到ETC公鏈算力出現大幅波動。PeckShield安全人員跟進分析發現,媒體所觀察到的巨大ETC出塊獎勵其實是由某些交易的高礦工費導致,區塊自身獎勵沒有變化,仍為4個ETC。數據顯示北京時間2019/1/13午夜12點起,0xb71EE62開頭地址發起多筆超高額的交易費(105 ETC)轉賬。這些超高額交易費用轉賬的目的暫時還不明朗。 基于最近ETC的安全現狀和可能的算力持續波動,PeckShield建議相關數字貨幣交易所進行ETC交易時至少等待400個區塊確認,同時保持警惕狀態。[2019/1/14]
這個漏洞簡單說一下,我們命名為叫做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:SHISHIELDELD區塊鏈SHIELD幣Shield NetworkYield Enhancement Labs區塊鏈怎么入手
加密貨幣市場正在回暖。在經歷了7個月的熊市后,7月24日,比特幣自5月22日以來的首次突破8000美元大關。但不僅比特幣開始重返牛市,比特幣市值也重新占據了主導地位.
1900/1/1 0:00:00編者按:本文來自哈希派,作者:不碎,星球日報經授權轉載。按照EOS團隊公布的條件,要想成為超級節點,首先其硬件條件至少需要達到:亞馬遜AWSEC2主機x1.32xlarge型,128核處理器,2.
1900/1/1 0:00:00在前三期的文章中,我們帶大家解密了亞洲區塊鏈的公司架構討論了當下幣圈內頗為關注的幾個話題,包括代幣發行主體的形式——《系列“基金會”還是公司?》.
1900/1/1 0:00:00編者按:本文來自哈希派,作者:LucyCheng,星球日報經授權轉載。在數字化貨幣系統中,由于數據的可復制性,使得系統可能存在同一筆數字資產因不當操作被重復使用的情況,這也稱之為雙花.
1900/1/1 0:00:00頭條 部首次參與監管虛擬貨幣官方文件發聲8月24日,銀保監會、中央網信辦、部、人民銀行和市場監管總局聯合發布《關于防范以“虛擬貨幣”“區塊鏈”名義進行風險集資的非法提示》.
1900/1/1 0:00:00編者按:本文來自鏈聞ChainNews,作者:StephenMcKeon,俄勒岡大學金融教授,SkywardIO和@C2fund聯合創始人,編譯:詹涓,星球日報經授權發布.
1900/1/1 0:00:00