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

形式化驗(yàn)證：讓智能合約更安全

2020-03-03    來源：多智時(shí)代

容器云強(qiáng)勢(shì)上線！快速搭建集群，上萬Linux鏡像隨意使用

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

形式化驗(yàn)證：讓智能合約更安全

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

形式化驗(yàn)證：讓智能合約更安全

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

一、智能合約與區(qū)塊鏈完美結(jié)合，應(yīng)用廣泛

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

    • 一個(gè)智能合約是一套以數(shù)字形式定義的承諾(promises)，包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議。
								
    
									標(biāo)簽：
									
									區(qū) 榱								
    
								
    
									版權(quán)申明：本站文章部分自網(wǎng)絡(luò)，如有侵權(quán)，請(qǐng)聯(lián)系：west999com@outlook.com
    
									特別注意：本站所有轉(zhuǎn)載文章言論不代表本站觀點(diǎn)！
    
									本站所提供的圖片等素材，版權(quán)歸原作者所有，如需使用，請(qǐng)與原作者聯(lián)系。
    
									
								
    
							

							
    
								
    
									上一篇:區(qū)塊鏈的下一個(gè)10年？
    
								
    
									下一篇:小企業(yè)是如何凌駕于巨頭公司之上的？