您好,登錄后才能下訂單哦!
這篇文章給大家分享的是有關Beosin-VaaS for Fabric工具有什么用的內容。小編覺得挺實用的,因此分享給大家做個參考,一起跟隨小編過來看看吧。
什么是Fabric?
Hyperledger Fabric是Linux基金會旗下的開源區塊鏈平臺,也是目前針對產業應用落地最多的鏈平臺,得到了國內外眾多公司的支持。IBM 、AWS、SAP、Oracle、螞蟻金服、騰訊、百度、華為等企業均推出了基于Fabric的區塊鏈解決方案。
智能合約在Fabric中被稱為鏈碼(Chaincode),鏈碼與運行在EVM和WASM虛擬機上的智能合約一樣,面臨著代碼存在漏洞、權限設置不當和業務邏輯實現錯誤等問題。
由于區塊鏈的分布式特性,如果鏈碼存在安全問題將直接導致企業遭受損失。鏈碼的更新和維護均需要較大成本,如果鏈碼因為安全問題需要更新,也將使企業花費較大的人力和物力。
Beosin-VaaS for Fabric
為幫助鏈平臺規避風險,有效減少企業損失,成都鏈安推出了全球首個Fabric鏈碼自動形式化驗證工具。
Fabric-VaaS針對Hyperledger Fabric 智能合約,利用形式化驗證對合約源碼進行檢測,可以驗證20余種人工難以察覺的風險,這一技術已經在ethereum、ontology、eos等公鏈以及螞蟻baas等聯盟鏈上有成熟的應用。
Fabric-VaaS針對Hyperledger Fabric 智能合約,能夠對fabric合約系統進行建模,枚舉真實在鏈上的所有可能,并通過安全規則庫驗證是否存在安全風險,同時,VaaS的安全規則庫也在不斷的強化完善,持續集成更多的安全漏洞規則,為區塊鏈全生態安全保駕護航。
Fabric-VaaS還通過API和插件等方式對外提供服務,方便用戶集成,讓用戶使用更自由,開發合約更快捷、更安全、更高效。
全球首個Fabric鏈碼自動形式化驗證工具--Beosin-VaaS for Fabric的推出,為鏈碼提供“軍事級”的安全驗證。有效檢測Fabric鏈碼常規安全漏洞,并向用戶提供漏洞修復建議,為區塊鏈落地應用安全護航。
感謝各位的閱讀!關于“Beosin-VaaS for Fabric工具有什么用”這篇文章就分享到這里了,希望以上內容可以對大家有一定的幫助,讓大家可以學到更多知識,如果覺得文章不錯,可以把它分享出去讓更多的人看到吧!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。