中文字幕在线观看,亚洲а∨天堂久久精品9966,亚洲成a人片在线观看你懂的,亚洲av成人片无码网站,亚洲国产精品无码久久久五月天

形式化驗證:讓智能合約更安全

2020-12-04    來源:多智時代

容器云強勢上線!快速搭建集群,上萬Linux鏡像隨意使用

區(qū)塊鏈是一種分布式賬本技術,其通過提供業(yè)務交易和數(shù)字資產的一致性、不可變性來提高參與方的可信度,還能通過交易中提供更大的透明度來減少參與方之間的摩擦,這些特性使得更多行業(yè)的應用場景得以重塑。區(qū)塊鏈技術的快速發(fā)展,促使企業(yè)架構和技術創(chuàng)新的領導人開始重新思考分布式信任世界里的價值交換概念,同時也因之而滋生了眾多新技術。從下圖中能夠看出,目前還有許多技術尚處于科技誕生的促動期,如智能合約。

形式化驗證:讓智能合約更安全

目前數(shù)字經濟正在向可編程經濟時代演進,區(qū)塊鏈技術支持著智能資產和智能合約以編程方式促進、核實或執(zhí)行合同條款,促使著可編程經濟的發(fā)展。智能合約對可編程經濟起著重要的推動作用,但在其應用卻面臨著種種問題。一直在跟蹤研究區(qū)塊鏈及其相關技術安全性問題的梆梆安全研究院,結合智能合約的技術發(fā)展歷程、應用特點和安全風險等,探索出了一套直指其核心本質的安全解決方案。

形式化驗證:讓智能合約更安全

區(qū)塊鏈技術成熟度曲線(來自Gartner,2018)

一、智能合約與區(qū)塊鏈完美結合,應用廣泛

第二代區(qū)塊鏈技術與第一代的顯著區(qū)別是智能合約的使用,梆梆安全研究院發(fā)現(xiàn)智能合約(Smart  contract)這個術語在區(qū)塊鏈出現(xiàn)之前已出現(xiàn),至少可以追溯到1995年,由多產的跨領域法律學者、受到廣泛贊譽的密碼學家尼克·薩博(Nick  Szabo)所提出,他在發(fā)表于自己網站的幾篇文章中提到了智能合約理念,定義如下:

一個智能合約是一套以數(shù)字形式定義的承諾(promises),包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議。

標簽: 區(qū) 

版權申明:本站文章部分自網絡,如有侵權,請聯(lián)系:west999com@outlook.com
特別注意:本站所有轉載文章言論不代表本站觀點!
本站所提供的圖片等素材,版權歸原作者所有,如需使用,請與原作者聯(lián)系。

上一篇:傳統(tǒng)運維也將被DevOps干掉?

下一篇:不只是DevOps,更需要DevSecOps

  • <output id="uyki6"><blockquote id="uyki6"></blockquote></output>