王荣
- 作品数：22 被引量：274H指数：4
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术政治法律文化科学更多>>
- 一种基于图神经网络的智能合约漏洞自动化检测方法
- 本发明公开了一种基于图神经网络的智能合约漏洞自动化检测方法，包括以下：(1)智能合约虚拟机编译智能合约漏洞源码(2)构建智能合约代码属性图(CPG)(3)使用BERT预训练方法对CPG代码属性图进行预训练(4)创建图嵌入...
- 王荣蔡维德王乾宇
- 文献传递
- 一种基于零知识证明的链上自动执行智能合约中间件系统
- 本发明开发了一种基于零知识证明的链上自动执行智能合约中间件系统。该系统不同于传统的智能合约预言机系统，该系统能将在Web服务器上签名的数据转换为zk‑SNARKs证明的数据证据，区块链上智能合约能够验证证明是否正确。该中...
- 王荣蔡维德
- 文献传递
- 一种基于区块链的联邦信用评估方法
- 本发明公开了一种基于区块链的联邦信用评估方法，该方法具体包括下述步骤：S01、各参与计算方在区块链上进行注册、认证，并发放证书；S02、各参与计算方从区块链下载初始模型和程序，进行自初始化本身的参数和加密样本ID对齐操作...
- 王荣姜晓芳蔡维德
- 文献传递
- 一种智能合约程序函数检索方法
- 本发明公开了一种智能合约程序函数检索方法，该方法具体包括下述步骤：S01、从智能合约中提取智能合约函数和函数注释；S02、使用智能合约函数注释生成索引，使用智能合约函数哈希生成唯一的ID；S03、使用预训练语言模型作为编...
- 王荣王乾宇蔡维德
- 一种智能合约模糊测试系统
- 本发明开发了一种智能合约模糊测试系统，该系统包括：静态分析模块、模糊引擎模块、测试模块、虚拟机插桩模块。所述静态分析模块用于分析智能合约程序函数接口、参数、操作码等特征；所述模糊引擎模块用于产生输入目标测试对象的测试用例...
- 王荣蔡维德
- 文献传递
- 基于区块链的应用系统开发方法研究被引量：263
- 2017年
- 从区块链的技术层面及应用层面分析其特征,并给出区块链的分类.挖掘区块链的设计需求,针对区块链的一致性和可扩展性的应用需求进行深入分析.对区块链的应用系统开发方法及区块链建模进行研究,提出了账户区块链(account blockchain,简称ABC)和交易区块链(trading blockchain,简称TBC)的双链设计模型.对智能合约进行深入剖析,提出了链上代码并行执行模型应用原则.最后,对区块链应用技术进行总结和展望.
- 蔡维德郁莲王荣刘娜邓恩艳
- 关键词：区块链
- 一种分布式预言机实现方法及系统
- 本发明公开一种分布式预言机实现方法及系统，涉及区块链技术领域，该方法包括：用户智能合约调用预言机智能合约API，发送数据请求，预言机智能合约转发用户智能合约的数据请求给分布式预言机，分布式预言机从外部数据源获取数据并接受...
- 王荣蔡维德
- 翻译即操纵-1949-1966年外国文学译介活动个案研究
- 王荣
- 关键词：翻译选材翻译策略
- 能源区块链应用的基础设施互链网技术研究被引量：5
- 2020年
- 区块链具有分布式记账、多节点数据共享、防篡改、可追溯和审计等技术优势,被越来越多的应用在能源领域。基于区块链的能源互联网能够实现各方的身份认证和互信,优化能源流程,降低成本,在促进能源系统各环节的互通互联、促进不同能源结构的耦合优化等方面发挥着重要的作用。文章首先介绍了许可区块链技术、互链网技术和智能合约技术的发展现状,以及区块链在能源领域的典型应用,然后将互链网作为能源行业的基础设施来设计,并详细描述了互链网的区块链操作系统设计特性,提出了基于层次关系的功能架构和突出监管的设计原则,最后对系统的创新性进行了讨论和总结。
- 蔡维德马圣程杨冬王荣邓恩艳
- 关键词：能源互联网
- 一种基于符号执行与模糊的智能合约测试方法
- 本发明公开了一种基于符号执行与模糊的智能合约测试方法，该方法具体包括下述步骤：S01、用户输入智能合约初始测试用例集；S02、执行测试并记录，记录程序的执行路径信息和详细执行信息，并将执行路径信息放入种子池中；S03、更...
- 王荣蔡维德
- 文献传递
