亚洲日本免费-啊轻点灬太粗太长了三男一女-麻豆av电影在线观看-日韩一级片毛片|www.grbbt.com

智能合約(Smart Contract) 這個(gè)術(shù)語(yǔ)是在1994 年由Nick Szabo 提出的，后來(lái)經(jīng)過(guò)幾次在不同環(huán)境下的重新定義。我們現(xiàn)在通常所說(shuō)的區(qū)塊鏈智能合約以以太坊為代表的。

以太坊的作者Vitalik Buterin 意識(shí)到，在區(qū)塊鏈系統(tǒng)中，交易邏輯是可以和底層系統(tǒng)機(jī)制分離的。底層系統(tǒng)負(fù)責(zé)交易塊的創(chuàng)建和驗(yàn)證，記賬者的共識(shí)達(dá)成等基礎(chǔ)功能，而交易本身到底做什么事情是可以通過(guò)二次編程的方式來(lái)定義的。因此他設(shè)計(jì)了一種交易代碼執(zhí)行的虛擬環(huán)境EVM，使用者可以開發(fā)自定義的交易邏輯，發(fā)布到鏈上，當(dāng)交易進(jìn)行時(shí)，鏈上所有的節(jié)點(diǎn)都執(zhí)行相同的代碼，從而同步改變鏈上數(shù)據(jù)的狀態(tài)。

他為這種代碼使用了“智能合約”這個(gè)名字，這是我們目前通常所說(shuō)的智能合約的內(nèi)涵。

智能合約漏洞，左右為難!

智能合約本質(zhì)是一段運(yùn)行在區(qū)塊鏈網(wǎng)絡(luò)中的代碼，它完成用戶所賦予的業(yè)務(wù)邏輯。以以太坊體系的代幣為例，其業(yè)務(wù)邏輯是代幣發(fā)幣和交易。以太坊在設(shè)計(jì)之初，將智能合約設(shè)計(jì)成了一旦部署就不能修改的模式。這種設(shè)計(jì)有可能是為了提高智能合約的可信性。但是我們知道，只要是由人編寫的程序，就一定會(huì)出現(xiàn)錯(cuò)誤和缺陷。

以太坊這種設(shè)計(jì)本身就違背了程序設(shè)計(jì)的一般規(guī)律，在智能合約出現(xiàn)漏洞的時(shí)候可能會(huì)造成無(wú)法彌補(bǔ)的損失。我們可以看到，近期出現(xiàn)的以太坊體系智能合約的漏洞，造成了巨大的影響，有的代幣也因此毀滅。

目前以太坊體系區(qū)塊鏈智能合約的機(jī)制設(shè)計(jì)，加之漏洞可能帶來(lái)的毀滅性影響，使得已上線智能合約的漏洞的報(bào)告和處理變得非常棘手。360代碼衛(wèi)士團(tuán)隊(duì)在近期的研究中發(fā)現(xiàn)了以太坊體系下多個(gè)已上市交易的代幣的智能合約安全漏洞，并已第一時(shí)間報(bào)告廠商，但到目前為止廠商尚未作出任何回應(yīng)。

對(duì)于廠商來(lái)說(shuō)，由于智能合約不可修改的特性，要對(duì)上線后發(fā)現(xiàn)的漏洞進(jìn)行有效修復(fù)，只能選擇重新部署新的合約，這將付出巨大的代價(jià)，因此有的廠商可能會(huì)選擇不響應(yīng)，不處理。

而對(duì)于安全研究者來(lái)說(shuō)，也面臨尷尬的境地，左右為難。在廠商修補(bǔ)漏洞前公開漏洞細(xì)節(jié)對(duì)于廠商不利，有悖漏洞披露的一般原則，但如果廠商遲遲不修補(bǔ)漏洞，公眾對(duì)于漏洞的存在不知情，風(fēng)險(xiǎn)會(huì)隨著時(shí)間的增長(zhǎng)迅速膨脹，漏洞一旦爆發(fā)可能會(huì)造成更大的危害，波及更大的人群，可能會(huì)造成很多人的投資瞬間化為烏有。接下來(lái)我們還將與廠商保持積極的聯(lián)系和溝通，以期幫助其修復(fù)漏洞。

智能合約漏洞，如何應(yīng)對(duì)？

在一些聯(lián)盟鏈中，智能合約的設(shè)計(jì)是可以在部署之后更新的，當(dāng)然這種更新需要一定的線下協(xié)商流程。要應(yīng)對(duì)區(qū)塊鏈智能合約的安全漏洞問(wèn)題，未來(lái)需要普遍考慮設(shè)計(jì)相應(yīng)的智能合約協(xié)商更新機(jī)制，降低漏洞修復(fù)的成本。

但現(xiàn)在，我們需要面對(duì)現(xiàn)實(shí)，做出幾乎唯一可行的、切實(shí)有效的努力——在智能合約上線之前，對(duì)其進(jìn)行全面深入的代碼安全審計(jì)，盡可能的消除漏洞，降低安全風(fēng)險(xiǎn)。

據(jù)悉，360代碼衛(wèi)士團(tuán)隊(duì)利用自身在源代碼靜態(tài)分析領(lǐng)域的長(zhǎng)期技術(shù)積累，迅速將污點(diǎn)傳播、約束求解等技術(shù)移植到針對(duì)智能合約的分析中，可針對(duì)區(qū)塊鏈智能合約提供專業(yè)的代碼審計(jì)服務(wù)，幫助區(qū)塊鏈項(xiàng)目盡早發(fā)現(xiàn)智能合約中可能存在的安全隱患。