形式化驗證：讓智能合約更安全
2019-12-26 來源：多智時代
區(qū)塊鏈是一種分布式賬本技術，其通過提供業(yè)務交易和數字資產的一致性、不可變性來提高參與方的可信度，還能通過交易中提供更大的透明度來減少參與方之間的摩擦，這些特性使得更多行業(yè)的應用場景得以重塑。區(qū)塊鏈技術的快速發(fā)展，促使企業(yè)架構和技術創(chuàng)新的領導人開始重新思考分布式信任世界里的價值交換概念，同時也因之而滋生了眾多新技術。從下圖中能夠看出，目前還有許多技術尚處于科技誕生的促動期，如智能合約。
目前數字經濟正在向可編程經濟時代演進，區(qū)塊鏈技術支持著智能資產和智能合約以編程方式促進、核實或執(zhí)行合同條款，促使著可編程經濟的發(fā)展。智能合約對可編程經濟起著重要的推動作用，但在其應用卻面臨著種種問題。一直在跟蹤研究區(qū)塊鏈及其相關技術安全性問題的梆梆安全研究院，結合智能合約的技術發(fā)展歷程、應用特點和安全風險等，探索出了一套直指其核心本質的安全解決方案。
區(qū)塊鏈技術成熟度曲線(來自Gartner,2018)
一、智能合約與區(qū)塊鏈完美結合，應用廣泛
第二代區(qū)塊鏈技術與第一代的顯著區(qū)別是智能合約的使用，梆梆安全研究院發(fā)現智能合約(Smart contract)這個術語在區(qū)塊鏈出現之前已出現，至少可以追溯到1995年，由多產的跨領域法律學者、受到廣泛贊譽的密碼學家尼克·薩博(Nick Szabo)所提出，他在發(fā)表于自己網站的幾篇文章中提到了智能合約理念，定義如下：
| 一個智能合約是一套以數字形式定義的承諾(promises)，包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議。
版權申明：本站文章部分自網絡，如有侵權，請聯系：west999com@outlook.com 
最新資訊
熱門推薦
|