買以太坊 買以太坊
Ctrl+D 買以太坊
ads

ALA:你玩的Dapp真的安全嗎?Trustlook反編譯平臺給程序員風險提示_Daily COP

Author:

Time:1900/1/1 0:00:00

只要談到區塊鏈、以太坊就必定離不開“智能合約”這個詞,由于具備了最基本的圖靈完備性,開發者可以基于以太坊完成各種應用的開發。據Odaily星球日報2月25日發布的ETH周報顯示,目前ETH鏈上Dapp開發累計至1602個,“類”、“交易所”仍然是目前ETHDapp生態中日活以及交易額最高的兩大應用。智能合約為以太坊社區注入了生機,促成了生態的繁榮,但也帶來了各種各種各樣的安全問題。基于智能合約的各類Dapp真的靠譜嗎?類游戲真的就如其說明書所言的公平嗎?Odaily星球日報最近接觸的安全公司Trustlook在2019年1月發布了基于二進制智能合約反編譯開放平臺SmartContractInsight。據Trustlook創始人AllanZhang介紹,他們認為,讓區塊鏈變得更安全的唯一路徑是從工具的角度重建區塊鏈社區——打造一個可用的工具,讓區塊鏈代碼可讀,漏洞可被發現,從而做到真正的開源和共建。很多Dapp的合約都沒有開源,或是處于半開源狀態,對用戶來說,代碼是否安全需要考量。機器語言是用二進制代碼表示的一種計算機能直接識別和執行的一種機器指令,在智能合約中,業界稱為二進制的EVM代碼。也就是說,在目前的狀況下,社區里的開發者如果對某一份智能合約產生了興趣,想要去了解它的功能甚至查找漏洞,只能夠接觸到二進制代碼,對于大部分程序員而言,這是較大的障礙。

日本金融巨頭SBI旗下交易平臺SBI VC Trade杠桿交易新增支持DAI:8月2日消息,日本金融巨頭SBI旗下交易平臺SBI VC Trade杠桿交易服務新增支持DAI,此前SBI VC Trade一直提供DAI現貨交易服務。[2023/8/2 16:14:34]

未編譯的機器代碼長這樣“反編譯開放平臺”這個概念聽起來有點拗口,簡單來講就是將二進制的機器代碼或通過合約地址逆向成人類可讀的計算機高級語言,并根據結果作出風險提示。目前提出的漏洞包括:整數數值溢出漏洞、重入攻擊漏洞、外部調用返回值未校驗漏洞、tx.origin依賴漏洞以及時間戳依賴漏洞等,用灰底的“//ISSUE:”提醒。據介紹,整數數值漏洞說明幣有無限增發風險;重入攻擊最有名,著名的DAOattack就是這個漏洞造成的,它最造成攻擊者重復調用取款函數,一直將合約賬戶中的所有代幣取走;外部調用返回值是指,智能合約在地址上執行操作的底層方法,比如:address.call()、address.callcode()、address.delegatecall()和address.send。這些底層方法不會拋出異常(throw),只是會在遇到錯誤時返回false。在合約中調用外部合約時,應該對返回值進行判斷。如果沒有判斷,那么調用者可能會誤判交易是否成功,對于交易所造成財產損失;tx.origin依賴漏洞是指,不慎使用tx.origin進行鑒權認證有可能帶來釣魚攻擊。時間戳依賴漏洞指的是一些賭博類的Dapp使用時間戳來生成隨機數,會造成類應用結果可預測,這樣攻擊者可以直接贏得的獎勵。舉個例子,我們從以太坊上選擇一個211b合約地址,如:0x20B5c52d43a87ae8B375670d47D572681753211b,將這個合約地址用SmartContractInsight平臺“破解”,可以得到:

Sui發布更新版標志及Token社區訪問計劃:4月15日消息,Sui 于今日公布其改進設計后的新標致(相比原有標致更具有平衡感)以及 SUI Token 社區訪問計劃。據該計劃顯示,有資格進行購買的包括第 1 輪測試期間 Capy Holidays 競賽獲勝者、部分參與組織 Builder Houses 和其他重要活動的成員、部分社區參與者。Sui 并未公布詳細的準入條件。[2023/4/15 14:05:49]

編譯后的高級語言及風險提示SmartContractInsight平臺在提醒時用提醒風險或異常,方便判別合約安全性。我們可以看到,剛剛的合約地址反編譯后得到的代碼有整數溢出風險,也就是說,如果這是一個發幣平臺,就意味著這個幣有無限增發的風險。目前SmartContractInsight平臺免費開放,但如果對二進制合約有更詳盡的了解需求,平臺也提供人工審核部分,收部分安全費用。目前該平臺支持以太坊或基于EVM代碼的合約檢測。作為工具,操作非常簡單,但如果能根據編譯結果沉淀出一些分析結果或許更好。智能合約的安全問題一直被行業關注。此前,安全公司CertiK發布智能合約自動檢測引擎CertiKAutoScanEngine,并對Etherscan平臺進行了技術集成與大規模的通證安全檢測;評級機構RatingToken面向C端上線其智能合約查詢檢測功能,同時為B端提供智能合約實時監測功能。Trustlook是位于硅谷的移動安全解決方案提供商,多年來服務于華為、亞馬遜、高通等一線軟硬件廠商,創始人AllanZhang曾是PaloAltoNetwork的創始安全工程師,團隊目前17人,均屬研發團隊。公司于2015年完成1700萬美元A輪融資,摯信資本領投,星元資本、線性資本等跟投。我是Odaily星球日報記者遂心,加好友煩請備注姓名、單位、職務和事由。

Arthur Hayes回應SBF:Alameda是否對沖并不重要,Alameda賬戶早應被清算:1月14日消息,BitMEX創始人Arthur Hayes在推特發文回應SBF稱,如果客戶被清算,交易所不應該虧錢。關于Alameda的一切談論都是誤導。他們如何對沖或不對沖,或者他們的投資組合中有什么都不重要。沒有理由不清算Alameda的賬戶。如果Alameda早就被清算,FTX應該不會破產。Hayes還要求SBF回答是如何在FTX層面進行風險管理的,以及為什么有些客戶會受到不同的對待。[2023/1/14 11:11:56]

2,250枚BTC從Xapo轉移到未知錢包:金色財經報道,據Whale Alert數據顯示,2,250枚BTC (價值約42,318,440USD) 從Xapo轉移到未知錢包。[2022/9/7 13:13:08]

Tags:TRAARTDAIALATravel CareEARTHDaily COPTravala

以太坊價格今日行情
GRI:Grin爆紅:一場密碼朋克的復興,一次自發性的炒作_區塊鏈是什么概念股

編者按:本文來自鏈捕手,作者:胡韜,編輯:龔荃宇,Odaily星球日報經授權轉載。在經歷長時間的萎靡不振、消沉疲軟后,區塊鏈行業在19年之初終于迎來了兼具話題性與創新性的新項目是Beam和Gri.

1900/1/1 0:00:00
區塊鏈:非洲:一個不容小覷的加密貨幣市場_如何做區塊鏈

編者按:主要內容來自NEWS.BTC,編譯整理Odaily星球日報記者吳遂心。對于許多所謂的發達國家而言,比特幣往好了說是投機者的工具,往壞了說是犯罪的工具.

1900/1/1 0:00:00
比特幣:讓你躺著就能賺錢的挖礦,怎么計算盈利?_CRYP

譯者|Odaily星球日報齊明如果你對挖礦這件事是認真的而且還想從中獲利,那么你必須要了解可以讓你的設備和投資資源最大化的方式.

1900/1/1 0:00:00
CAS:澳本聰首次發文自證:“我曾是中本聰”_CASH

編者按:本文來自區塊律動BlockBeats,作者:CraigWright,譯者:區塊律動0x5,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
NER:通證經濟學,那些你不能不知的事!系列(三)通證經濟的設計_Dog Owner

編者按:本文來自TritonPartners,作者:TritonPartners,Odaily星球日報經授權發布.

1900/1/1 0:00:00
數字貨幣:海外項目現在適合在美國STO市場融資嗎?_區塊鏈

編者按:本文來自巴比特資訊,作者:谷燕西,歷任華泰聯合證券信息技術副總監和數家金融服務公司COO,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
ads