网站大量收购闲置独家精品文档,联系QQ:2885784924

基于定理证明的智能合约形式化验证方法.pdf

基于定理证明的智能合约形式化验证方法.pdf

  1. 1、本文档共75页,其中可免费阅读23页,需付费100金币后方可阅读剩余内容。
  2. 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
  3. 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
  4. 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

摘要

区块链技术经过短暂的研发并崛起时期以来,渐渐成为了互联网的新型技术,

并为各个科技领域带来了启迪思想与应用扩展,其核心技术一直都是网络安全的

研究热点。近些年,其科技研究与应用开发均得到了充分挖掘,众多科技公司和

研究部门也纷纷研发并搭建起属于自己的区块链网络,并投入开发使用。

智能合约被看作区块链技术中最有价值、最具开发潜力的分支之一。其存在

的安全隐患问题一直都是研究热点,其不可篡改性引发不同种类的安全漏洞,进

而导致不可估量的资源流失和经济损失。智能合约开发流程中亟需验证方法来确

文档评论(0)

136****6583 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:7043055023000005

1亿VIP精品文档

相关文档