編者按:本文來自成都鏈安科技,作者:鏈安科技,星球日報經授權發布。引子:橘生淮南則為橘,生于淮北則為枳,葉徒相似,其實味不同。所以然者何?水土異也。——《晏子春秋·雜下之十》針對區塊鏈安全問題,成都鏈安科技團隊每一周都將出智能合約安全漏洞解析連載,希望能幫助程序員寫出更加安全牢固的合約,防患于未然。前景提要上回說到,合約安全隱私未必,外部讀取暴露無遺。只要是儲存在storage里面,存在于區塊鏈上的變量,尤其是狀態變量,由于區塊鏈公開的特性,都是可以通過不執行合約直接從外部讀取的。因此,將隱私信息,不可公開的數據儲存在智能合約中是非常不安全的做法。即使進行有意或者無意的此類操作,都要及時附加相應的加密處理,避免因為對于可見性說明符的片面理解而留下安全隱患。全面理解代碼技術細節,融會貫通互聯網安全知識,才能安全應用區塊鏈技術。本期話題第十回,機制依賴參數主導,礦工操縱投機取巧山竹過境,氣候入秋,想必大家都感受到了久違的一絲涼意,這倒也與區塊鏈產業的“寒冬”有些應景。不過更令人心寒的還是近期以太坊游戲的事故頻發。例如,FOMO3D最近的第二次開獎,獲獎者仍然是黑客,使用的手段依然是我們在第六期游戲合約漏洞總結當中提到的“類似競態條件利用的阻塞交易手法”。還有我們之前在快訊中提到的Mycryptochamp這個游戲,其隨機數生成機制依賴的是可預測的參數,導致投機者輕易獲取空投,影響游戲公平性。這些游戲的機制都依據以太坊的特性來設計隨機數的產生,但是設計理念卻是在沒有理解這些特性的基本原理來定制的。因此如火如荼短時間炒作后,在無法實現公平游戲的情況下“迅速降溫”。本期,我們將重點分析游戲過于依賴區塊參數設計而產生的兩種漏洞——時間戳依賴和區塊哈希依賴。
動態 | 區塊鏈集團:廖浩生辭任董事會聯席主席:據東方財富網消息,區塊鏈集團(00364)官方宣布,廖浩生因其他業務承擔而提呈辭任執行董事及董事會聯席主席;及蘇慧玲因其他業務承擔而提呈辭任執行董事,自2018年10月18日起生效。[2018/10/18]
基礎小知識什么是區塊參數?以太坊的實現機制與比特幣有很大的差別,以太坊的每個區塊頭多了一些以太坊自身特殊的字段,用來表示區塊的屬性值,以太坊智能合約可以通過以太坊提供的接口讀取這些屬性值:block.blockhash(uintblockNumber)returns(bytes32):指定區塊的區塊哈希——僅可用于最新的256個區塊且不包括當前區塊;而blocks從0.4.22版本開始已經不推薦使用,由blockhash(uintblockNumber)代替block.coinbase(address):挖出當前區塊的礦工地址block.difficulty(uint):當前區塊難度block.gaslimit(uint):當前區塊gas限額block.number(uint):當前區塊號block.timestamp(uint):自unixepoch起始當前區塊以秒計的時間戳now(uint):目前區塊時間戳需要注意的是:在同一個塊中,每筆交易讀取的區塊參數都是一樣的什么是熵?熵的概念最早起源于物理學,用于度量一個熱力學系統的無序程度。在信息論里面,熵是對不確定性的測量。所以在以太坊中,熵也就是我們所說的隨機性。對于一個以隨機性為核心的游戲合約,熵的變量的計算尤為重要。事故頻發問題凸顯上面講到的MyCryptoChamp體現,其合約中RandMod函數使用私有變量randNonce和父塊哈希作為參數生成隨機數。任何人都可以用web3.eth.getStorageAt()函數外部讀取私有變量randNonce,而父塊哈希在合約內外都可以讀取到。這樣產生隨機數的計算方法就已經被看破,投機者只需在計算出較理想的隨機數時加入游戲即可獲得空投。除此之外,國外已有專業人士ArsenyReutov分析了3649份智能合約,發現有43份存在類似的可被利用的漏洞,并將此類情況稱為假隨機數生成漏洞。如此看來,將區塊參數與熵聯系起來運用到游戲設計并不是個例。需要思考的是,以太坊的區塊參數能不能可靠的運用于熵。以太坊沒有提供類似于傳統編程語言的rand()函數。于是實現去中心化的熵已經成為一個頗具規模的問題,許多人參與了這個問題的考究,甚至連V神自己也發表了一片文檔提出了一些完善計劃,例如使用RanDAO或者私有隨機。具體請見這篇文檔https://vitalik.ca/files/randomness.html。所以,區塊參數能夠可靠的用于設計鎖倉功能,但是放在隨機數生成設計當中,它的地位相當不可靠,形象的來說,同樣的橘樹,生長在淮南長出甜的橘,生長在淮北長出苦的枳。
FUSION基金會作為Consensus大會贊助商亮相“區塊鏈周”:2018年5月14日,世界金融中心紐約進入“區塊鏈周”。14日至16日,一年一度的Consensus大會在曼哈頓舉行。大會贊助機構之一FUSION基金會,向來自全球對加密資產高度關注的眾多參會人士介紹了FUSION加密金融理念與加密金融基礎設施架構規劃。17日上午,FUSION基金會專家顧問團FFI(FUSION FOUNDATION INTELLIGENCE)首次召開工作會議。據息,包括高盛、納斯達克、摩根士丹利、Alpview資本、巴克萊銀行、埃森哲、Eastmore 集團等機構的專家,以及來自麻省理工大學(MIT)的學者,均受此次大會的吸引,出席了會議。[2018/5/18]
區塊參數依賴漏洞返例一、時間戳依賴數據塊時間戳歷來被用于各種應用,例如隨機數的函數,鎖定一段時間的資金以及時間相關的各種狀態變化的條件語句。礦工有能力稍微調整時間戳,如果在智能合約中使用錯誤的塊時間戳,這可能會證明是相當危險的。block.timestamp或者別名now可以由礦工操縱,如果他們有這樣做的動機。例如下面這個簡單的游戲合約:
微信區塊鏈小程序重新上線,服務費3元起:微信區塊鏈小程序“小協議”今日已重新上線,程序頁面顯示出,寫入區塊鏈需要支付礦工費用,費用和字數正相關,服務費3元起步。微信官方表示,小協議是真正的去中心化技術,甲乙雙方確認協議后,小協議將構造簽名,將協議內容寫入以太網絡中。并且小協議是通過微信ID認證,每一個微信用戶,在小協議中都有一個唯一且固定的身份ID,這個ID關聯到具體的微信用戶的聯系電話,身份證號,銀行卡。[2018/5/10]
這份合約表現得像一個簡單的彩票。每塊一筆交易可以打賭10ether贏得合約余額的機會。這里的假設是,block.timestamp關于最后兩位數字是均勻分布的。如果是這樣,那么將有1/15的機會贏得這個彩票。但是,正如我們所知,礦工可以根據需要調整時間戳。在這種特殊情況下,如果合約中有足夠的ether,解決某個區塊的礦工將被激勵選擇一個block.timestamp%15==0或now%15==0的時間戳。在這樣做的時候,他們可能會贏得這個合約以及塊獎勵。由于每個區塊只允許一個人下注,所以這也容易受到前置交易攻擊。在實踐中,塊時間戳是單調遞增的,所以礦工不能選擇任意塊時間戳。但是它們也限制在將來設置不太遠的塊時間,因為這些塊可能會被網絡拒絕。二、區塊哈希依賴在一些賭博游戲合約中,使用區塊頭相關的參數來產生隨機數:區塊號(block.number)、區塊時間戳(block.timestamp)、區塊難度(block.difficulty)、區塊gas限制(block.gaslimit)等。當以太坊上礦工挖出一個區塊時,此時區塊頭的相關參數就可以被礦工獲知,一些惡意挖礦的礦工可以利用這些區塊參數進行攻擊。例如下面這個游戲合約
美國田納西州關于將區塊鏈的簽名視為合法的電子記錄的法案將很快通過:本月田納西州的一名議員提交了一份新的法案,希望將區塊鏈的簽名視為合法的電子記錄。本周三立法者們在一次聽證會上表示,田納西已經準備好了,該法案將很快通過田納西州的立法機構。[2018/1/26]
一個實現輪盤賭博的智能合約中,其邏輯是如果下一個塊哈希值以偶數結尾,則返回一個黑色數字。一個礦工可以在黑色上下注100萬美元。如果他們挖出下一個區塊并發現區塊哈希值以奇數結尾,他們會丟棄該塊、繼續挖礦、直到他們挖出一個塊哈希值為偶數的塊,從而從漏洞合約中獲利。漏洞修復隨機數生成的方法有很多,并不一定要依賴區塊參數,下面介紹兩種理念防范礦工或者投機者。隨機數的來源盡量來自于區塊鏈之外,這可以在具有諸如commit-reveal之類的系統的對等體之間完成。通過將信任模型改變為一組參與者來完成。這也可以通過中心化的實體來完成,該實體充當隨機預言。根據Solidity官方建議,合約開發者可以使用鏈外的第三方服務,比如Oraclize來獲取隨機數。總的來說,塊變量不應該用于隨機種子,因為它們可以被礦工操縱。問渠哪得清如許?為有源頭活水來這些漏洞,類似事件,慘烈教訓,對區塊鏈產業進入寒冬負有不可推卸的責任,從技術角度不斷加強對于新知識的正確理解與使用,提高智能合約的安全性是讓這個產業冰消雪融,讓項目方、參與方合力破冰前行的唯一希望。望各位學而思之、思而踐之、踐而悟之。
區塊鏈公司 Guardtime和Metaco聯合推出加密貨幣資產管理系統:數據安全公司Guardtime和區塊鏈創業公司Metaco聯合推出了一項新的加密貨幣資產管理系統。這一產品本周早些時候在日內瓦推出,被稱為“Silo”,它結合了Metaco開發的軟件和Guardtime開發的“防篡改”硬件,旨在為數字資產投資者提供存儲解決方案。該產品作為即將成為安全儲存資產的一種方式,特別關注金融和銀行業務。[2018/1/26]
引用::EntropyIllusion:https://hackernoon.com/hackpedia-16-solidity-hacks-vulnerabilities-their-fixes-and-real-world-examples-f3210eba5148:PredictingRandomNumbersinEthereumSmartContracts:https://blog.positive.com/predicting-random-numbers-in-ethereum-smart-contracts-e5358c6b8620:ValidatorOrderingandRandomnessinPoS:https://vitalik.ca/files/randomness.html:RANDAO:ADAOworkingasRNGofEthereum:https://github.com/randao/randao:智能合約隨機數算法漏洞影響游戲公平性:https://mp.weixin.qq.com/s/fnp980bzQjRqNEVuj518lA:深入理解Solidity:https://solidity-cn.readthedocs.io/zh/develop/units-and-global-variables.html#index-2:什么是熵?https://blog.csdn.net/qq_39521554/article/details/80559531
Tags:BLOLOCKLOCBLOCKblock幣最新消息blockchain平臺交易blockchain是什么網站最新版blockchain錢包
!webp\"data-img-size-val=\"700,352\"\u002F\\>芝加哥商品交易所集團董事總經理兼全球股票產品和另類投資負責人蒂姆?麥考特表示.
1900/1/1 0:00:00編者按:本文來自哈希派,作者:不碎,星球日報經授權轉載。智能合約可讓很多不同類型的程序和操作得以自動化進行,而其中最明顯的體現之處是支付環節和付款時的步驟操作.
1900/1/1 0:00:00據中新社報道,莫斯科當地時間8月28日,加密即時通訊應用Telegram(電報)宣布同意向俄羅斯聯邦安全局(FSB)提供與恐怖分子有關的數據.
1900/1/1 0:00:00我們曾探討過目前常見的廣告鏈在做什么,總結起來就是用區塊鏈讓投放流程更透明,減少欺詐和低效投放,同時讓利益分配更公平。不過,這都是區塊鏈對互聯網廣告的改造.
1900/1/1 0:00:00BM在EOS官方群里表示,“即將推出WASM解釋器,用來解釋執行WebAssembly智能合約,目前已經通過所有測試并接入到主網和測試網.
1900/1/1 0:00:00一部“藥神”,讓大家知道了印度仿制藥療效好、價格低。實際上,印度是世界上最大的仿制藥生產國,是假冒藥品生產的主要參與者.
1900/1/1 0:00:00