公开(公告)号：CN117272321A

公开(公告)日：2023-12-22

申请号：CN202311254837.4

申请日：2023-09-26

Applicant: 山东省计算中心(国家超级计算济南中心) ,  齐鲁工业大学(山东省科学院)

Inventor： 王连海 ,  黄奇豪

IPC: G06F21/57 ,  G06F21/55 ,  G06F21/64 ,  G06F11/30

Abstract: 本发明提出了一种以太坊DApp链下异常状态检测方法及系统，本发明方法不会在DApp源代码中定位漏洞只是对交易状态进行识别，通过收集DApp交易执行过程中的各个状态下对应的DApp链下状态数据，使用测试预言进行状态一致性分析，可以快速有效地生成漏洞分析报告，以揭示DApp链下层中出现的异常状态漏洞。

公开(公告)号：CN117573530A

公开(公告)日：2024-02-20

申请号：CN202311542233.X

申请日：2023-11-17

Applicant: 山东省计算中心(国家超级计算济南中心) ,  齐鲁工业大学(山东省科学院)

Inventor： 王连海 ,  黄奇豪 ,  徐淑奖 ,  张淑慧

IPC: G06F11/36

Abstract: 本发明提出了基于Jepsen测试的DApp链下异常状态检测方法及系统，包括：链上状态监控器监控到交易状态改变时，将交易状态改变消息通过传输协议发送给链下数据监控器，以通知链下数据监控器收集数据；链下数据监控器收到消息后，向DApp链下组件发送请求，查询此时交易所处链上状态对应的链下状态数据；DApp链下组件收到来自链下数据监控器发送的请求后，将相关数据返回给链下数据监控器，链下数据监控器获取并保存DApp每个交易状态对应的链下状态；对于每笔交易，当交易在执行过程中产生报错信息被链下数据监控器所捕获时，则认定该交易存在异常。