比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 酷幣 > Info

區塊參數依賴:合約之熵,安全之殤_BLO

Author:

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

編者按:本文來自成都鏈安科技,作者:鏈安科技,星球日報經授權發布。引子:橘生淮南則為橘,生于淮北則為枳,葉徒相似,其實味不同。所以然者何?水土異也。——《晏子春秋·雜下之十》針對區塊鏈安全問題,成都鏈安科技團隊每一周都將出智能合約安全漏洞解析連載,希望能幫助程序員寫出更加安全牢固的合約,防患于未然。前景提要上回說到,合約安全隱私未必,外部讀取暴露無遺。只要是儲存在storage里面,存在于區塊鏈上的變量,尤其是狀態變量,由于區塊鏈公開的特性,都是可以通過不執行合約直接從外部讀取的。因此,將隱私信息,不可公開的數據儲存在智能合約中是非常不安全的做法。即使進行有意或者無意的此類操作,都要及時附加相應的加密處理,避免因為對于可見性說明符的片面理解而留下安全隱患。全面理解代碼技術細節,融會貫通互聯網安全知識,才能安全應用區塊鏈技術。本期話題第十回,機制依賴參數主導,礦工操縱投機取巧山竹過境,氣候入秋,想必大家都感受到了久違的一絲涼意,這倒也與區塊鏈產業的“寒冬”有些應景。不過更令人心寒的還是近期以太坊游戲的事故頻發。例如,FOMO3D最近的第二次開獎,獲獎者仍然是黑客,使用的手段依然是我們在第六期游戲合約漏洞總結當中提到的“類似競態條件利用的阻塞交易手法”。還有我們之前在快訊中提到的Mycryptochamp這個游戲,其隨機數生成機制依賴的是可預測的參數,導致投機者輕易獲取空投,影響游戲公平性。這些游戲的機制都依據以太坊的特性來設計隨機數的產生,但是設計理念卻是在沒有理解這些特性的基本原理來定制的。因此如火如荼短時間炒作后,在無法實現公平游戲的情況下“迅速降溫”。本期,我們將重點分析游戲過于依賴區塊參數設計而產生的兩種漏洞——時間戳依賴和區塊哈希依賴。

在美上市區塊鏈中概股普遍收跌:今日美股收盤,在美上市區塊鏈中概股普遍收跌。嘉楠科技收跌1.06%,人人網收跌9.35%,中網載線收跌0.79%,寺庫收跌0.81%,迅雷收跌3.93%,獵豹移動收跌1.03%,蘭亭集勢收漲3.78%。[2020/12/25 16:26:35]

基礎小知識什么是區塊參數?以太坊的實現機制與比特幣有很大的差別,以太坊的每個區塊頭多了一些以太坊自身特殊的字段,用來表示區塊的屬性值,以太坊智能合約可以通過以太坊提供的接口讀取這些屬性值: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。所以,區塊參數能夠可靠的用于設計鎖倉功能,但是放在隨機數生成設計當中,它的地位相當不可靠,形象的來說,同樣的橘樹,生長在淮南長出甜的橘,生長在淮北長出苦的枳。

聲音 | 致公黨海南省委:海南要以區塊鏈為突破口 建立世界一流信息化網絡體系:致公黨海南省委員會在省政協七屆三次會議上建議,海南要以區塊鏈為突破口,建立世界一流的信息化網絡體系。致公黨海南省委表示,區塊鏈被認為是繼大型機、個人電腦、互聯網之后計算模式的顛覆式創新。海南是相對獨立的地理單元,具備進行區塊鏈試驗、率先建立世界一流的信息化網絡體系的天然優勢。(海南日報)[2020/1/16]

區塊參數依賴漏洞返例一、時間戳依賴數據塊時間戳歷來被用于各種應用,例如隨機數的函數,鎖定一段時間的資金以及時間相關的各種狀態變化的條件語句。礦工有能力稍微調整時間戳,如果在智能合約中使用錯誤的塊時間戳,這可能會證明是相當危險的。block.timestamp或者別名now可以由礦工操縱,如果他們有這樣做的動機。例如下面這個簡單的游戲合約:

這份合約表現得像一個簡單的彩票。每塊一筆交易可以打賭10ether贏得合約余額的機會。這里的假設是,block.timestamp關于最后兩位數字是均勻分布的。如果是這樣,那么將有1/15的機會贏得這個彩票。但是,正如我們所知,礦工可以根據需要調整時間戳。在這種特殊情況下,如果合約中有足夠的ether,解決某個區塊的礦工將被激勵選擇一個block.timestamp%15==0或now%15==0的時間戳。在這樣做的時候,他們可能會贏得這個合約以及塊獎勵。由于每個區塊只允許一個人下注,所以這也容易受到前置交易攻擊。在實踐中,塊時間戳是單調遞增的,所以礦工不能選擇任意塊時間戳。但是它們也限制在將來設置不太遠的塊時間,因為這些塊可能會被網絡拒絕。二、區塊哈希依賴在一些賭博游戲合約中,使用區塊頭相關的參數來產生隨機數:區塊號(block.number)、區塊時間戳(block.timestamp)、區塊難度(block.difficulty)、區塊gas限制(block.gaslimit)等。當以太坊上礦工挖出一個區塊時,此時區塊頭的相關參數就可以被礦工獲知,一些惡意挖礦的礦工可以利用這些區塊參數進行攻擊。例如下面這個游戲合約

動態 | 重慶市發布關于防范假借區塊鏈名義非法集資的風險提示:近日,重慶市互聯網金融風險專項整治工作領導小組辦公室、重慶市打擊非法活動領導小組辦公室聯合發出風險提示, 近期,“虛擬貨幣”炒作有抬頭的跡象,一些不法分子借機炒作區塊鏈概念,以所謂“虛擬貨幣”“區塊鏈商城”“區塊鏈游戲”等名義非法吸收公眾資金,侵害公眾權益。希望廣大投資者提高風險意識,對非法金融活動保持警惕,及時舉報相關違法犯罪線索,謹防上當受騙。(重慶商報)[2019/12/25]

一個實現輪盤賭博的智能合約中,其邏輯是如果下一個塊哈希值以偶數結尾,則返回一個黑色數字。一個礦工可以在黑色上下注100萬美元。如果他們挖出下一個區塊并發現區塊哈希值以奇數結尾,他們會丟棄該塊、繼續挖礦、直到他們挖出一個塊哈希值為偶數的塊,從而從漏洞合約中獲利。漏洞修復隨機數生成的方法有很多,并不一定要依賴區塊參數,下面介紹兩種理念防范礦工或者投機者。隨機數的來源盡量來自于區塊鏈之外,這可以在具有諸如commit-reveal之類的系統的對等體之間完成。通過將信任模型改變為一組參與者來完成。這也可以通過中心化的實體來完成,該實體充當隨機預言。根據Solidity官方建議,合約開發者可以使用鏈外的第三方服務,比如Oraclize來獲取隨機數。總的來說,塊變量不應該用于隨機種子,因為它們可以被礦工操縱。問渠哪得清如許?為有源頭活水來這些漏洞,類似事件,慘烈教訓,對區塊鏈產業進入寒冬負有不可推卸的責任,從技術角度不斷加強對于新知識的正確理解與使用,提高智能合約的安全性是讓這個產業冰消雪融,讓項目方、參與方合力破冰前行的唯一希望。望各位學而思之、思而踐之、踐而悟之。

動態 | 重慶市區塊鏈產業創新基地已入駐40余家企業:金色財經報道,12月4日消息,重慶市渝中區經信委主任楊峰在采訪時表示:“截至目前,重慶市區塊鏈產業創新基地已入駐和簽約40余家企業。”

目前,已有浪潮集團、金窩窩以及金窩窩科技、布比科技、井通科技、迪肯科技、金股鏈科技等重慶區塊鏈技術企業40余家入駐和簽約,有IBM、騰訊、華為等在談企業30余家,初步形成區塊鏈產業集聚。據互鏈脈搏和賽迪區塊鏈研究院發布的《2019中國區塊鏈產業園發展報告》,重慶市區塊鏈產業創新基地綜合競爭力排名全國第五、進入第一梯隊。[2019/12/4]

引用::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

動態 | 日本“藝術+區塊鏈”風投企業Startbahn獲SBI investment A輪追加融資:據Crypto Watch消息,致力于“藝術+區塊鏈”領域的風投企業Startbahn有限公司于5月23日宣布,已完成A輪追加融資。投資方是SBI集團風投企業SBI investment股份公司運營的“SBI AI&Blockchain投資事業有限責任組合”。Startbahn一直和SBI藝術拍賣有些公司進行著業務合作,將通過此次融資繼續加強合作。[2019/5/23]

Tags:區塊鏈BLOBLOCLOCK區塊鏈幣圈是什么意思blockchainwalletBLOC幣BlockGPT

酷幣
什么是比特幣的哈希函數?| 區塊鏈課堂第 11 問_BOOK

編者按:本文來自哈希派,作者:不碎,星球日報經授權轉載。什么是比特幣的哈希函數?哈希函數是信息技術領域的基石,也是比特幣協議內的重要組成部分;公鑰以及地址的生成、挖礦過程等等方面都有它的參與.

1900/1/1 0:00:00
翻了吳忌寒近5千條社交動態,發現他有這些反差_比特幣

編者按:本文來自鏈捕手,作者:王阿刺,星球日報經授權轉載。23歲,他是一家風投機構的分析師;25歲,他通過項目初次接觸比特幣;27歲,他看準挖礦市場,并決定All-In;31歲,他頂著「叛徒之名.

1900/1/1 0:00:00
星球日報 | 比特大陸或將中止 IPO;港媒稱港交所的收購目標涉及區塊鏈;北京大興區將定期召開區塊鏈大會_區塊鏈

頭條 比特大陸或將中止IPO比特大陸又陷上市危機傳言風波。21日,接近比特大陸的人士接連發聲態度截然相反.

1900/1/1 0:00:00
鏈與制作人 | 沒有用戶,公鏈性能做得再高也沒有意義_區塊鏈

區塊鏈風口吹至今天,已經涼了不少。正值熊市,本來就因為缺少應用而“爭議纏身”的區塊鏈最近更是沒少招黑。不過,不少業內人士認為現在正是行業回歸理性和正常的時候,是踏實做事的好時機.

1900/1/1 0:00:00
Bitfinex 回應“破產”傳聞的方式,是曬了存有 16 億美元的數字貨幣錢包_BIT

10月6日,幣圈自媒體ProofofResearch在Medium上發布文章稱“數字貨幣交易所Bitfinex已喪失償還能力,警告讀者盡快取回存在該所的資產”.

1900/1/1 0:00:00
全球范圍區塊鏈應用情況概述_加密貨幣

本文來自:infoQ,作者:MannMatharu,譯者:蓋磊,星球日報經授權轉發。Introduction自從被數字貨幣比特幣的創立者創造性地提出以來,區塊鏈已受到了廣泛的關注.

1900/1/1 0:00:00
ads