基于预先执行和类型推断的闭源合约攻击风险确认方法
By performing pre-execution and type inference before deploying closed-source contracts, the problem of not being able to identify the risk of attacks on closed-source contracts in a timely manner in existing technologies is solved, enabling early warning and proactive defense, improving the accuracy and efficiency of malicious contract detection, and making it suitable for security protection of the blockchain ecosystem.
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Patents(China)
- Current Assignee / Owner
- ZHEJIANG UNIV
- Filing Date
- 2025-10-24
- Publication Date
- 2026-07-17
AI Technical Summary
Existing technologies cannot effectively identify and confirm attack risks before the formal deployment of closed-source smart contracts. They lack a systematic solution that combines pre-execution and type inference of closed-source contracts, making it difficult to detect malicious contracts and identify attack risks in a timely manner before the contracts are officially put on the blockchain.
By capturing and pre-executing deployment transactions in a local virtual machine, combined with dynamic type inference technology, the behavioral characteristics of contracts are accurately restored, enabling timely warnings and risk confirmation of malicious contracts. This includes steps one: detecting transactions; step two: monitoring contract status; step three: preliminary screening; and step four: executing and analyzing contracts. Type inference technology is used to recover the external interface and internal variable information of the contract.
It enables early warning and proactive defense before the formal deployment of contracts, improves the accuracy of malicious behavior identification, reduces the risk of loss from traditional post-event detection, has a wide range of applications and low cost, and provides security protection for the blockchain ecosystem.
Smart Images
Figure CN121396599B_ABST