“solidity”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果52个，建议您升级VIP下载更多相关专利

[发明专利]面向智能合约语言的MSVL程序自动生成方法及系统-CN201910563394.4有效
发明人：王小兵;朱云凯;段振华;赵亮;田聪;张南 -专利权人：西安电子科技大学
申请日： 2019-06-26 - 公布日： 2020-10-16 - 主分类号： G06F8/30 文献下载
摘要：本发明属于计算机辅助设计技术领域，公开了一种面向智能合约语言的MSVL程序自动生成方法及系统，将Solidity的特殊变量抽取为MSVL程序，预生成的MSVL代码具有一次生成永久有效的特征，其不会因Solidity程序的改变而改变；使用JavaCC工具对Solidity的词法和语法做分析，在扫描Solidity代码的过程中识别出特定的单词和语句；通过细致地对比Solidity和MSVL的词法和语法，制定出MSVL等价描述Solidity语言的可行性规则，并在Solidity代码扫描的过程中动态的生成MSVL程序。
面向智能合约语言 msvl 程序自动生成方法系统

[发明专利]一种基于静态分析和深度学习的智能合约安全检测方法-CN202110766768.X在审
发明人：周福才;罗熙霖;焦梓;孙劲桐 -专利权人：东北大学
申请日： 2021-07-07 - 公布日： 2021-10-08 - 主分类号： G06F21/57 文献下载
摘要：包括对智能合约solidity源程序进行静态分析得到智能合约solidity源程序的图结构；从图结构中提取出抽象事实；根据solidity源程序的抽象事实，搭建用于对solidity源程序进行漏洞分类的深度学习模型，包括：输入模块，注意力模块，残差连接模块和输出模块；构建训练数据集；利用所述训练数据集对所述深度学习模型进行训练；利用训练好的深度学习模型对输入的智能合约进行漏洞检测，输出智能合约solidity源程序的安全检测结果该方法可较为全面地分析智能合约solidity源程序的行为，提高了智能合约solidity源程序安全检测的准确率。
一种基于静态分析深度学习智能合约安全检测方法

[发明专利]一种在浏览器端高效编译Solidity智能合约的方法-CN201911424066.2有效
发明人：邱炜伟;李伟;尹可挺;匡立中;万世医 -专利权人：杭州趣链科技有限公司
申请日： 2019-12-31 - 公布日： 2023-07-28 - 主分类号： G06F8/20 文献下载
摘要：本发明公开一种在浏览器端高效编译Solidity智能合约的方法，该方法包括如下步骤：首先在国内服务器或者CDN节点上部署当前所有Solidity编译器，并及时更新最新编译器；然后在浏览器端传入或者输入Solidity源文件，并在浏览器脚本中内置Solidity编译器的WASM格式文件；直接用Solidity编译器编译智能合约文件，在Javascript主线程中返回编译结果；或者通过动态新增一个脚本文件从国内服务器或者CDN节点拉取需要的Solidity编译器，同时在Javascript子线程执行编译操作，将编译结果返回主线程；在编译智能合约文件时，需要拉取的编译器还未下载完毕，或者拉取失败，则通过后端服务将Solidity本发明可以避免主线程的阻塞，保证了高效稳定的Solidity编译环境。
一种浏览器高效编译 solidity 智能合约方法

[发明专利]面向Solidity智能合约的缺陷预测方法-CN202011562073.1在审
发明人：杨慧文;崔展齐;贾明华;刘秀磊;刘建宾;郑丽伟 -专利权人：北京信息科技大学
申请日： 2020-12-25 - 公布日： 2021-03-30 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种面向Solidity智能合约的缺陷预测方法，应用于软件缺陷预测技术领域，首先从Solidity源码中提取代码模块的度量元，并为每个代码模块标记缺陷数量，从而构建缺陷预测数据集；然后针对Solidity本发明将度量元集与Solidity智能合约缺陷检测结果结合，构建了Solidity智能合约缺陷预测数据集，能够更好地描述Solidity智能合约的特征，基于以上数据集，分别验证了缺陷数量预测和缺陷倾向性预测问题中
面向 solidity 智能合约缺陷预测方法

[发明专利]基于区块链平台的智能合约部署和调用方法及相关设备-CN202011602278.8在审
发明人：邱炜伟;李伟;黄方蕾;张珂杰;杨攀 -专利权人：杭州趣链科技有限公司
申请日： 2020-12-29 - 公布日： 2021-04-09 - 主分类号： G06F8/60 文献下载
摘要：该方法包括：从软件工具包获取Solidity合约部署交易，解析Solidity合约部署交易得到Solidity字节码BIN合约文件和接口描述ABI文件，并将Solidity字节码BIN合约文件翻译成WASM字节码BIN合约文件，然后将Solidity字节码BIN合约文件、WASM字节码BIN合约文件及接口描述ABI文件存储至区块链平台，对智能合约进行调用时，从软件工具包获取合约调用交易，根据合约调用交易对存储在区块链平台中的WASM字节码文件或Solidity字节码BIN合约文件进行执行调用。
基于区块平台智能合约部署调用方法相关设备

[发明专利]智能合约安全性验证方法及装置-CN202110285831.8在审
发明人：胡凯;朱健;张震 -专利权人：中移（上海）信息通信科技有限公司;中国移动通信集团有限公司;北京航空航天大学
申请日： 2021-03-17 - 公布日： 2022-09-27 - 主分类号： G06F21/57 文献下载
摘要：本发明提供一种智能合约安全性验证方法及装置，该智能合约安全性验证方法包括：根据预设的转换规则将Solidity合约转换成Event‑B模型；通过Rodin平台为Event‑B模型的不变量自动生成对应的证明义务，并通过Rodin平台的证明助手验证证明义务；若证明义务未通过验证，定位证明义务在Event‑B模型中对应的语句；若所有证明义务均通过验证，为Solidity合约打上安全证书的标签。本发明中，Event‑B模型基于一阶逻辑，与Solidity合约的运行状态和语言特性相吻合，可以对Solidity合约运行时的所有状态穷举。且通过建立统一的转换规则，可以实现Solidity合约的批量式建模。
智能合约安全性验证方法装置

[发明专利]一种Solidity编译器测试方法及系统-CN202310601256.7在审
发明人：田振洲;王凡凡;柯贤群;陈彦萍;谢晓燕 -专利权人：西安邮电大学
申请日： 2023-05-25 - 公布日： 2023-09-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种Solidity编译器测试方法及系统，通过基于智能合约数据集和Transformer架构生成Solidity语言特性模型；从智能合约数据集随机抽取智能合约作为种子合约，并依据选取的智能合约生成策略，利用Solidity语言特性模型#imgabs0#初步生成智能合约，基于设定的突变策略集采取遗传算法对初步生成的智能合约实施启发式突变，对启发式突变后的Solidity智能合约作编译处理，自动捕捉并解析编译信息，如果识别出编译器内部错误类型标记，则记录错误信息，以及可触发该错误的智能合约，生成测试报告，本发明能够对快速迭代同时安全攸关的Solidity编译器进行缺陷测试，促进其快速且安全的发展迭代，并避免安全问题引起的经济损失
一种 solidity 编译器测试方法系统

[发明专利]一种面向以太坊Solidity智能合约的安全翻译与解析方法-CN201910904195.5有效
发明人：翁健;陈新凯;李明;袁浩宸;张斌;卢贺贤 -专利权人：暨南大学
申请日： 2019-09-24 - 公布日： 2022-03-29 - 主分类号： G06F8/75 文献下载
摘要：本发明公开了一种面向以太坊Solidity智能合约的安全翻译与解析方法，包括以下步骤：首先将智能合约源代码转化为XML文本，然后对Solidity智能合约进行代码Java转换，并基于新生成的Java代码进行流程分析和控制流程图生成同时，基于PageRank算法对Solidity智能合约核心代码行进行识别，并在图中将核心代码进行高亮显示。此外，利用自然语言处理进行代码分割和词性分析，将代码分割出来的英语单词，按动词和名词组织成一个利于理解的序列，并通过对Solidity智能合约的关键逻辑(转账、变量状态更新)进行识别，形成可理解的英语短语
一种面向以太 solidity 智能合约安全翻译解析方法

[发明专利]一种形式验证Solidity智能合约的方法-CN201811119763.2有效
发明人：张丁文;曹辉;梁秀波;邱炜伟;李伟;李启雷;尹可挺 -专利权人：杭州趣链科技有限公司
申请日： 2018-09-25 - 公布日： 2021-08-03 - 主分类号： G06F8/10 文献下载
摘要：本发明公开一种形式验证Solidity智能合约的方法，从Solidity智能合约中建立模型，使用Boogie语言对该模型进行描述，然后利用Z3证明器进行验证。本发明的方法设计了一套通用的智能合约模型规范语言，解决了Solidity智能合约和数学模型之间的转化问题，同时对于形式验证其他语言的智能合约也具有重要的参考价值；该方法帮助智能合约的开发者快速、全面、严谨地验证智能合约的功能
一种形式验证 solidity 智能合约方法

[发明专利]一种将以太坊智能合约转换成超级账本智能合约的方法-CN201810322171.4有效
发明人：翁健;谢斐;罗伟其;张悦;李明 -专利权人：暨南大学
申请日： 2018-04-11 - 公布日： 2021-07-27 - 主分类号： G06F8/51 文献下载
摘要：本发明公开了一种将以太坊智能合约转换成超级账本智能合约的方法，包括：使用机器学习方法训练得到一个转换模型；输入Solidity源代码，对以太坊上使用Solidity编写的智能合约代码进行预处理；使用训练好的数学模型进行高级识别工作，包括对象的识别、算法的识别、模块的识别、接口的识别等，将Solidity语言的智能合约转换成超级账本上的Java语言的智能合约。
一种以太智能合约转换超级账本方法

[发明专利]智能合约漏洞的检查方法、系统及介质-CN201910672086.5有效
发明人：张晴钊;王艺卓;鲁梦华;陶思文;刘功申 -专利权人：上海交通大学
申请日： 2019-07-24 - 公布日： 2021-05-04 - 主分类号： G06F21/57 文献下载
摘要：本发明提供了一种智能合约漏洞的检查方法、系统和介质，包括：Solidity程序静态污点分析步骤：从语法上分析Solidity程序的源代码，针对Solidity程序的源代码中的每个函数，遍历所有可能的执行流程
智能合约漏洞检查方法系统介质

[发明专利]Solidity语言源代码混淆方法、系统、设备及存储介质-CN202210230894.8在审
发明人：张鹏程;张勐;肖锋;吉顺慧;楚涵婷;余启凡 -专利权人：河海大学
申请日： 2022-03-09 - 公布日： 2022-06-10 - 主分类号： G06F21/14 文献下载
摘要：本发明提出了一种Solidity语言源代码混淆方法、系统、设备及存储介质。函数体内控制流以及循环或分支基本块通过switch‑case的方式扁平化，并在循环或分支语句基于结合Chebyshev和PWLCM的一维混沌映射CPM生成并引入混沌永真不透明谓词，以隐藏原始程序的内部逻辑；上述方法实现Solidity语言源代码混淆，生成混淆后的Solidity代码。
solidity 语言源代码混淆方法系统设备存储介质

[发明专利]一种solidity智能合约的缺陷检测方法-CN202310374902.0在审
发明人：曾诚;全擎宇;王奕丰;王娇然;何鹏;张䶮 -专利权人：湖北大学
申请日： 2023-04-10 - 公布日： 2023-08-15 - 主分类号： G06F21/57 文献下载
摘要：本发明提供了一种solidity智能合约的缺陷检测方法，属于智能合约缺陷检测技术领域，包括：获取solidity智能合约代码的缺陷检测数据集；对缺陷检测数据集进行视觉信息特征提取，得到视觉特征向量；对缺陷检测数据集进行语义信息特征提取得到字符语义特征向量；对缺陷检测数据集的继承结构信息进行特征提取，得到继承特征向量；将所有特征向量连接在一起，生成一个新的特征向量，将新的特征向量输入分类器中对分类器进行训练，得到训练好的分类器；将待检测的solidity
一种 solidity 智能合约缺陷检测方法

[发明专利]一种针对以太坊智能合约的静态代码审计系统及方法-CN201811404851.7有效
发明人：李洪伟;谈辰;刘森;成艺;龚丽;杨浩淼;任彦之 -专利权人：电子科技大学
申请日： 2018-11-23 - 公布日： 2020-03-27 - 主分类号： G06F21/56 文献下载
摘要：本发明能够检测以太坊平台上使用Solidity语言编写的智能合约上存在的安全威胁，定位到具体位置，阐明危害并给出相应的解决方法。本发明方法：首先，用户将待检测的项目目录或者单个文件的路径输入系统，系统对输入内容进行预处理操作，将整个项目复制到临时工作目录中并删除其中的Solidity文件中的注释内容；其次，系统将通过词法分析和语法分析等操作将每一个Solidity文件都解析成语法树的形式；然后，系统将语法树结构与预先制定的逻辑匹配特征进行静态特征匹配，得到匹配结果；最后，系统将匹配后的结果分类并汇总，生成报告文件，即为检测结果。
一种针对以太智能合约静态代码审计系统方法

[发明专利]一种Solidity智能合约性能静态分析方法-CN201910772369.7有效
发明人：邱炜伟;李伟;李启雷;梁秀波;尹可挺;张丁文 -专利权人：杭州趣链科技有限公司
申请日： 2019-08-21 - 公布日： 2021-11-05 - 主分类号： G06F11/34 文献下载
摘要：本发明公开了一种Solidity智能合约性能静态分析方法。本发明通过静态分析的方式准确计算Solidity智能合约的GAS消耗值，使开发者不需要准备繁杂的测试用例来运行智能合约就可以准确的得到GAS消耗的计算公式，从而能够对智能合约的性能进行定量判断，有助于判断Solidity智能合约在何种情况下达到GAS上限，对于评估执行成本与收益起到显著的效果。
一种 solidity 智能合约性能静态分析方法

1
2
3
4
下一页»
尾页
共 52 条