Charles Hoskinson:認證軟體可以大幅降低智能合約遭受駭客攻擊的機率

IOHK首席執行官Charles Hoskinson在最近的AMA中表示,智能合約並非不受潛在駭客攻擊的影響,因為任何編寫和構建的東西都可能被破壞。他進一步闡述了「認證軟體」的概念,該概念使此類黑天鵝事件發生的機率指數級降低。「如果你有一個規範和一個特定的開發方法和工具,你或外部審計員可以做的就是證明其實現遵循該規範,並且該規範可以得到很好的測試和理解,如果你這樣做,你遭受駭客攻擊的機會將呈指數級下降。」Hoskinson進一步解釋說,Cardano和其區塊鏈智能合約平台Plutus旨在實現高保障。(U.Today)
coinpionex