形式化验证:让智能合约更安全

2020-01-08    来源:多智时代

容器云强势上线!快速搭建集群,上万Linux镜像随意使用

区块链是一种分布式账本技术,其通过提供业务交易和数字资产的一致性、不可变性来提高参与方的可信度,还能通过交易中提供更大的透明度来减少参与方之间的摩擦,这些特性使得更多行业的应用场景得以重塑。区块链技术的快速发展,促使企业架构和技术创新的领导人开始重新思考分布式信任世界里的价值交换概念,同时也因之而滋生了众多新技术。从下图中能够看出,目前还有许多技术尚处于科技诞生的促动期,如智能合约。

形式化验证:让智能合约更安全

目前数字经济正在向可编程经济时代演进,区块链技术支持着智能资产和智能合约以编程方式促进、核实或执行合同条款,促使着可编程经济的发展。智能合约对可编程经济起着重要的推动作用,但在其应用却面临着种种问题。一直在跟踪研究区块链及其相关技术安全性问题的梆梆安全研究院,结合智能合约的技术发展历程、应用特点和安全风险等,探索出了一套直指其核心本质的安全解决方案。

形式化验证:让智能合约更安全

区块链技术成熟度曲线(来自Gartner,2018)

一、智能合约与区块链完美结合,应用广泛

第二代区块链技术与第一代的显著区别是智能合约的使用,梆梆安全研究院发现智能合约(Smart  contract)这个术语在区块链出现之前已出现,至少可以追溯到1995年,由多产的跨领域法律学者、受到广泛赞誉的密码学家尼克·萨博(Nick  Szabo)所提出,他在发表于自己网站的几篇文章中提到了智能合约理念,定义如下:

一个智能合约是一套以数字形式定义的承诺(promises),包括合约参与方可以在上面执行这些承诺的协议。

标签:  

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点!
本站所提供的图片等素材,版权归原作者所有,如需使用,请与原作者联系。

上一篇:区块链的下一个10年?

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