POS:獨家 | 拿什么來保護我的通證？_TIK

“黑客”這個詞，相信大家再熟悉不過了。自從互聯網誕生以來，黑客就成了以高超手段盜取用戶信息的代名詞。然而，現在黑客也越來越與時俱進了：美國甲骨文公司旗下的PeopleSoft軟件公司，不久前就發生了黑客襲擊事件。按照常理來說，一般用戶系統被侵入后，都會發生數據泄露。

數據泄露……咦，這怎么聽起來有點像Facebook？

小扎：老子國會都道完歉了好嗎！你還有完沒完！

話說這黑客侵入系統以后，轉了一圈，竟然沒動數據！

啥情況？

緊接著，這個叫PeopleSoft的公司發現自己的電費突然開始猛增。原來，這名黑客利用這家公司的CPU挖了611個門羅幣，價值22多萬美元！

這個“笑話”似乎告訴我們，未來世界最值錢的可能不是數據，而是算力哦！

看來，這傳統意義上的數據安全，在區塊鏈的世界要被重新定義了。那么針對于區塊鏈，會存在哪些層面的安全問題？目前又有哪些可以解決得措施？

今天，小探請到了位于硅谷的丹華資本董事總經理JudyYan,來給大家講講區塊鏈世界的安全問題。

區塊鏈：我招誰惹誰了？

話說區塊鏈自從出現以來，關于區塊鏈安全問題產生的奇葩故事就不少。除了交易所被盜，許多區塊鏈項目自身的Bug也層出不窮。作為區塊鏈投資人的Judy，對這些故事可謂如數家珍。

最著名的黑客攻擊事件要數TheDAO。早在2016年，這個平臺被盜了高達1.5個億美金的ETH。攻擊者利用了遞歸調用splitDAO函數這一技術層面的漏洞，這起事件同時也暴露了智能合約安全性的早期缺陷。

獨家 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，6月17日，Bakkt比特幣月度期貨合約日交易額為713萬美元，同比下跌42%，未平倉合約量為902萬美元，同比下跌24%。[2020/6/18]

而去年ParityMultisig電子錢包版本1.5的漏洞被發現，使得攻擊者從三個高安全的多重簽名合約中竊取到超過15萬ETH。而這個漏洞竟然是工程師一不小心在編程時寫了一個不閉合的函數。

而另一個項目IOTA前一階段被詬病大跌的原因是底層最關鍵的哈希加密函數不工作。

就在今年三月，BEC爆出ERC20協議安全漏洞，攻擊者利用整數溢出BUG，可無限生成代幣，直接導致BEC幣值跳水，幾乎歸零。

如此種種的事件的發生，讓人們不得不重新面對區塊鏈的安全問題。

據Judy回憶，菩提去年在Qtum上進行合約部署時，雖然當時有很多人質疑Qtum能不能上線，合約部署是否會使得運行機制癱瘓等問題，但是Judy只問了菩提和量子一個最簡單問題：

用戶會不會丟了資產？

這個問題聽著很簡單，實際上反映了所有區塊鏈都是建立在安全信任的基礎上，吞吐量等問題都可以被犧牲，慢慢改進；但如果丟了數字資產，整個系統就不會再有人使用。

“安全，是唯一不能犧牲的因素。”

在Judy看來，公鏈的安全、智能合約的安全、云安全這三個層面都是未來最值得關注的區塊鏈安全層面。

獨家 | OKEx CEO JayHao：市場流動性異常緊張 美聯儲對未來經濟不樂觀:今日，在針對“美聯儲降低基礎利率至零”代表了怎樣的市場情況？”的問題，OKEx CEO JayHao在金色財經獨家采訪時表示，一般而言，當遇到金融或經濟危機時，美聯儲都會下調聯邦儲備基金利率，向市場注入流動性。就在上一周，美聯儲直接將目標利率下調50個基點，維持在1.25%的低水平，然而這仍無法解決市場的流動性危機，美國金融市場的暴跌依然在繼續。聯邦基準利率至多降為零利率，在1.25%的低利率基礎上繼續下調的空間已經不大。如果在極端低利率（零利率）水平下市場流動性依然沒辦法緩解，那么使用非常規性的貨幣政策---量化寬松。這反映了市場流動性已經異常緊張，而美聯儲對未來的經濟也持不樂觀的態度，用美聯儲的原話說就是“挑戰”。[2020/3/16]

其實在做區塊鏈安全的項目有很多。比如：Zeppelin是一個社區驅動項目，它構建了安全智能合約的開源架構，目的在于實現安全智能合約的開發。目前有很多優質的海外區塊鏈項目都采用了Zeppelin的智能合約安全服務。

Quantstamp是一家智能合約的安全審計平臺，而且還是為數不多的、被YC錄取的區塊鏈公司哦！小探也在之前名為《錯過了區塊鏈第一波淘金熱？這家公司“賣鏟子”被YC相中》的文章中介紹過。

區塊鏈公司Axoni不是一家專門做智能合約安全的公司。但他們最近也在專注與形式化驗證技術。開發了專門服務于形式化驗證的智能合約語言Axlong。

獨家 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，2月19日，Bakkt比特幣月度期貨合約單日交易額為1518萬美元，環比下降33%；未平倉合約量為1344萬美元，環比下降19%。[2020/2/20]

其中，Certik是一家用形式化驗證為智能合約和區塊鏈應用提供安全性服務的公司。形式化應用？這個聽起來好像很有故事！在講故事之前，咱們先看看為什么智能合約和公鏈容易出現安全問題？

公鏈、智能合約的安全誰能承包？

我們先來看智能合約為什么容易出現安全問題。

第一，不可逆性：智能合約一旦發布在區塊鏈上，合約的源代碼是無法被修改的。

第二，代碼開源：在平時不公開源代碼的情況下都能被黑客攻擊，更何況大多數區塊鏈項目的代碼都是開源的。開源只會讓黑客的攻擊將變得更加容易。

第三，成本高：如果將智能合約放在區塊鏈上進行不斷的安全測試，資產的不斷轉換會是一筆很大的開銷。

第四，思維設限：即使開發者會預想智能合約在哪些情況下會遭攻擊，再針對這些情景測試，但黑客的厲害之處在于，可以從程序員預想之外的路徑下手。

由于智能合約在安全上存在的這四個方面問題，從而導致區塊鏈上的數字資產很容易被黑客掠奪。

對于公鏈上產生的問題，Judy用了一個清晰明了的比方來說明。

Judy認為，區塊鏈，尤其是在智能合約出現之后，是個兩層的結構。其中一層為公鏈，在其上運行智能合約。由于公鏈是一種開源的架構，智能合約的開發者每個人都可以在上面可以寫一段腳本。

獨家 | 金色財經2月16日挖礦收益數據播報:金色財經報道，據印比特數據顯示，按照BTC參考價格69800元、電價0.38元/kWh計算，當前在售主流BTC礦機的市場價格及回本周期為：芯動T3+-57T（全新現貨9300元，279天回本）、神馬M20S-68T（3月份期貨11500元，239天回本）、阿瓦隆1066-50T（全新現貨6300元，224天回本）、螞蟻S17Pro-56T（全新現貨12500元，323天回本）。[2020/2/16]

然而，這也是問題存在的根源：由于每個開發者動能用，所以在公鏈上書寫腳本時，往往會帶來意想不到的“副作用”。

這是什么意思呢？Judy給小探舉了個例子：

“假如我要在以太坊上寫一個智能合約，我寫這段智能合約的目的是A，但是我并不會預料出當A完成時，同時會出現副作用B，而B很有可能會使得公鏈系統癱瘓掉。”

那有沒有辦法提前得知是否會出現副作用B而避免悲劇的發生呢？

還真有！Certik使用的形式化驗證就是目前解決這一問題的最佳方式。

什么是形式化驗證呢？

根據CertiK聯合創始人顧榮輝教授的講述，形式化驗證就是：用邏輯語言來描述規范，通過嚴謹的數學推演來檢查給定的系統是否滿足要求。

簡而言之，形式化驗證的作用就是讓你只完成A的目的，而不會產生副作用B。

Judy認為，對于形式化驗證，我們要從兩個維度來看。

獨家 | Fomo3D第一輪大獎贏家揭曉 同類DAPP游戲或將再度火爆:第三方大數據評級機構RatingToken最新數據顯示，2018年8月21日全球共新增2014個合約地址，其中271個為代幣型智能合約。

另外RatingToken安全審計團隊專家指出，Fomo3D第一輪已經結束，獲獎者共獲得了10,469.660003123933104565個ETH。最后一筆有效買入交易發生在開獎前16分鐘，考慮到擁堵情況和參與者熱情，獲獎者操作極難復制。同時巨額利潤可能引起山寨類Fomo3D游戲再次爆發，參與此類游戲一定要注意智能合約代碼是否公開，合約安全是否有保障。特此提醒投資者需保持冷靜仔細甄別，警惕幸存者偏差誤導投資。

此外，昨日登上新增合約風險榜TOP10的合約包括Le Photon Token(LPT)、Relative Strengthening Index (RSI)、Your MOM(YMOM)、f3dplus(f3dplus)、JyagaEbiCoin(JEC)、FoMo3D Long Official(F3D)、FOMO Fast(FAST)、Okami PK Long Official(Okami)、SKW(SKW)和LandOwner VS Peasant(Land)。

如需查看更多智能合約檢測結果，請查看原文鏈接。[2018/8/22]

在傳統維度上，形式化驗證是一個統計學的概率問題。

比如說，如果你能計算出在執行A目的時90%的可能性系統不會出問題，那么對于一個手機應用APP的研發可能就足夠了。換句話說，傳統維度上大家只需要做“計算題”算出安全運行的概率就可以了。

但是在區塊鏈的世界，我們需要的，是確確實實100%地確定我們在執行A目的時，不會有副作用B產生，底層系統不會受到任何因素的影響。那么顯然需要我們進行完備性驗證。

怎么保證100%不會出錯呢？有兩種辦法：用人工檢查來證明,或者用算法證明。目前雖然有許多做人工驗證的區塊鏈項目，但是耗時多，成本高——畢竟在現在的人才市場上，有能力、有意愿免費為你檢查的白帽黑客很有限。

那么算法證明又怎樣呢？我們來看看CertiK是怎么做的。

具體來看，CertiK的驗證過程體現了化整為零的解題思想，將一個難以證明的大問題拆分為許多容易證明的小問題，然后再將證明過的小問題重新組合回分解之前的較難的大問題，并且保證其中從端到端的正確性。

在這個過程中，這些小問題都將發送給整個社區，社區的開發者們可以利用CertiK提供的方法，也可以運用自己的算法來證明這些問題。一旦某個問題通過多方獨立的開發者的驗證，那么其便可以用來作為建立其他理論的依據，從而形成互助協作的技術機制和良好的社區氛圍。

CertiK背后的團隊陣容也十分強大：CertiK的聯合創始人顧榮輝從清華大學本科畢業，耶魯大學的博士，現為哥倫比亞大學計算機系助理教授。

另一位聯合創始人邵中，是形式化驗證的最有成就的科學家，耶魯大學計算機系的主任和ThomasL.Kempner冠名教授，有20余年的安全領域經驗。

未來：如何保證云上的安全？

說完了如何保證公鏈和智能合約的安全，我們來看一看目前區塊鏈世界十分流行的云安全。

在講云安全之前，Judy首先從目前最炙手可熱的DPOS（delegatedProofofStake)講起。

我們都知道POW和POS是區塊鏈的兩種共識機制。那么共識機制DPOS相比較于這兩種共識機制其特點如何呢？

首先，應用DPOS時，社區成員不必再同話語權極大的曠工打交道了，省了不少事。

其次，DPOS上的應用開發進度更快。雖然整個系統犧牲了“去中心化”，但是提高了scalability，從而讓DPOS公鏈上可以做出更多DAPP。

“DPOS在2018年的發展一定會更快，”Judy評論道。

然而這么高效的系統，不是沒有問題。由于在DPOS上存在中心化的交易，交易所首先可能會成為黑客們攻擊的對象。尤其是超級節點的存在，很可能最先成為攻擊的靶子。而這些超級節點大多在云服務器上運行。那么對于整個平臺來說，如何保證云安全就顯得格外重要了。

那么有沒有什么辦法可以保證云安全？還真有！

小探認識的InfinityStones就是一家給節點做安全維護的區塊鏈公司。

《復仇者聯盟3》開始上映，大家對InfinityStone一定不陌生。這家公司做的也像漫威一樣炫酷！

具體看來，InfinityStones率先認識到了計算機安全在dpos區塊鏈世界中的重要“基石”作用。如果這些超級節點被惡意攻擊，那么節點上運行的智能合約可能被阻塞甚至篡改。

而區塊鏈軟件的開源和開放的特性使得很多傳統的安全手段無法達到有效的防護。針對這些痛點，InfinityStones提出了自己的加密計算解決方案，已經在多個云計算平臺上部署。InfinityStones平臺上運行的操作系統和編譯過程都由公司定制開發，所有敏感數據的存儲和傳輸都將加密。并且，7x24小時的不間斷監控和預警系統，讓所有系統層的安全漏洞都能在第一時間內被發現和修補。

有了這顆定心丸，云上的安全問題看來也不難解決了！

在采訪的最后，Judy談到，相比較于傳統行業，區塊鏈的安全維護會更加具有挑戰。

“例如，我們使用BankofAmerica的網絡賬戶時，這背后的計算都是閉源的，開放給客戶的內容是很小的一部分。并且，BOA所遵循的一套算法很少有人能知道，所以維護其安全相對比較容易。然而區塊鏈就不同了。由于區塊鏈是一個透明的實際，代碼會公開，所以其安全維護的挑戰性也會更大。”

想聽更多關于區塊鏈安全的話題？

硅谷密探繼今年一月在舊金山成功舉辦區塊鏈大會后，今年6月26日-27日將在圣荷塞再次舉辦盛況更加空前的BlockchainConnectConference！在此次大會上，區塊鏈安全領域的重量級嘉賓將對區塊鏈安全問題再次進行深入探討。

來源鏈接：None

本文來源于非小號媒體平臺：

硅谷區塊鏈

現已在非小號資訊平臺發布1篇作品，

非小號開放平臺歡迎幣圈作者入駐

入駐指南：

/apply_guide/

本文網址：

/news/3626813.html

免責聲明：

1.資訊內容不構成投資建議，投資者應獨立決策并自行承擔風險

2.本文版權歸屬原作所有，僅代表作者本人觀點，不代表非小號的觀點或立場

下一篇：

美國銀行再噴加密貨幣，稱其缺乏透明度妨礙抓壞人

Tags：區塊鏈POSCERTTIK國內區塊鏈公司前十排名CPOS0xcertKromatika

FTT