A New Blockchain Business Contract Security Defense System Based on Logical Judgment

Abstract

The world of web3 is currently being plagued by security risks. In the first half of 2022 alone, web3 projects have lost more than $2 billion due to various security issues, out of which more than 76% of the projects have been audited. At present, the main attack surfaces on the web3 chain, including oracle manipulation, logical loopholes across smart contracts and MEV front-running transactions, cannot be defended through the current mainstream security methods, such as contract auditing, and can only be passively defended after receiving the alerts of malicious attacks. Hence, there is a huge demand for more proactive defense products in the market. However, most of the existing security products and security defense solutions are limited in defense capabilities, as they rely on external mechanisms and thus cannot effectively identify and counter hacker attacks during the contract execution. This paper proposes a new security system for smart contracts on the blockchain and demonstrates how it can actively defend against malicious attacks and provide effective protection for assets on the blockchain through experimental verification and comparison. It compares the existing on-chain security verification solutions as well as the engineering development model and performs logic-based argument verification during on-chain transaction execution and high-precision computation-intensive verification in the off-chain sandbox environment, thereby can prevent risky transactions, protect assets, and promote the security and development of the entire web3.