面向智能合约的安全开发调试平台研究与实现

发布时间：2024-05-31 23:48

　　随着区块链技术在金融、物流、医疗健康等领域的广泛应用,智能合约作为区块链去中心化应用的核心程序,其开发环境也越来越重要。目前,市面上并没有友好、高效的智能合约开发调试平台。为了促进区块链和智能合约技术的工程应用和产业推广,本文基于区块链平台研究面向智能合约的安全开发调试系统平台。重点研究了区块链系统架构、智能合约系统架构、智能合约调试引擎、智能合约全生命周期开发流程等内容。主要研究内容分为两个部分:1.研究智能合约调试器引擎技术,并基于EOS(Enterprise Operation System)区块链平台实现了智能合约的调试功能。本文详细研究了EOS区块链平台的系统架构、EOS智能合约框架及其编译工具链使用方法、EOS智能合约虚拟机执行引擎工作原理、EOS区块链账户管理机制以及EOS区块链交易执行流程等内容。然后详细分析了DWARF调试信息的编码格式,及使用DWARF调试信息获取源码行号映射信息以及变量地址映射信息的原理。并介绍了WASM(WebAssembly)字节码二进制目标文件的格式及其主要指令集编码。2.研究并实现了基于Web的EOS智能合约综合化安全开发调试平台。目前EO...

【文章页数】：104 页

【学位级别】：硕士

【部分图文】：

图3-1系统功能需求用例图

电子科技大学硕士学位论文30图3-1系统功能需求用例图各个功能的详细内容描述如下：(1).EOS智能合约项目管理开发功能EOS智能合约项目管理开发是本系统的基本功能，旨在为用户提供一个基于Web的智能合约开发环境。用户通过项目管理开发功能，可以在web界面中新建、删除、保存以及导....

图3-4EOS智能合约开发编译部署执行活动图

第三章系统总体设计及关键问题解决方案333.4系统主要功能流程设计3.4.1智能合约开发编译部署执行流程EOS智能合约开发人员首先创建或导入本地合约文件，并在合约代码编辑器中输入相应的合约代码。然后选择相应的编译器版本及编译选项之后，编译合约。如果合约编译出错或产生警告信息，开发....

图3-5EOS智能合约调试活动图

电子科技大学硕士学位论文343.4.2智能合约调试流程当合约业务功能繁多、业务逻辑复杂时，合约开发人员需要调试智能合约。首先开发人员将编辑完成的合约代码进行编译，若编译出错则说明合约存在语法错误需要修改。若编译通过，开发人员需要将合约部署到支持合约调试的本地单节点区块链网络上。由....

图3-6EOS智能合约安全检测活动图

第三章系统总体设计及关键问题解决方案353.4.3智能合约安全检测流程合约调试功能只能保证合约在输入约束之内的功能逻辑正确性，合约也可能存在安全威胁点甚至安全漏洞。开发人员可通过合约安全检测验证发现合约安全漏洞。开发人员编辑完成合约代码之后，编译合约，若无编译语法错误即可进行合约....

本文编号：3985255