买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】一种静态、动态分析相结合的智能合约状态提取方法_浙江工业大学_202311769821.7 

申请/专利权人:浙江工业大学

申请日:2023-12-20

公开(公告)日:2024-04-09

公开(公告)号:CN117851515A

主分类号:G06F16/27

分类号:G06F16/27;G06F16/25;G06F16/22

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.04.26#实质审查的生效;2024.04.09#公开

摘要:本发明公开了一种静态、动态分析相结合的智能合约状态提取方法,通过静态分析工具解析智能合约源代码,生成状态记录表,并将状态记录表与智能合约一同部署到区块链中,部署了状态记录表的全节点,依次运行区块中的所有交易,采用动态分析工具实时维护动态类型状态的存储布局信息,更新状态记录表,在区块内的所有交易执行完成后,部署了状态记录表的全节点将内存中的状态记录表持久化到数据库中。本发明只需要在一个全节点上部署服务,对区块链几乎不带来任何开销,利用了全节点同步机制而非使用API获取历史交易,避免了API限速和故障等问题。

主权项:1.一种静态、动态分析相结合的智能合约状态提取方法,其特征在于,所述静态、动态分析相结合的智能合约状态提取方法,包括:采用静态分析工具将智能合约源代码解析为抽象语法树,然后将每个状态的存储布局信息记录到状态记录表中,并将状态记录表与智能合约一同部署到区块链中;部署了状态记录表的全节点,开启全同步过程监听区块链网络,下载历史区块,读取区块中的交易,识别交易发往的智能合约地址,将相应的状态记录表加载到内存中;部署了状态记录表的全节点依次运行区块中的所有交易,采用动态分析工具实时维护动态类型状态的存储布局信息,更新状态记录表;在区块内的所有交易执行完成后,部署了状态记录表的全节点将内存中的状态记录表持久化到数据库中。

全文数据:

权利要求:

百度查询: 浙江工业大学 一种静态、动态分析相结合的智能合约状态提取方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。