20240020109. METHOD AND SYSTEM FOR SUPPORTING SMART CONTRACTS IN A BLOCKCHAIN NETWORK simplified abstract (NEC Laboratories Europe GmbH)
Contents
METHOD AND SYSTEM FOR SUPPORTING SMART CONTRACTS IN A BLOCKCHAIN NETWORK
Organization Name
Inventor(s)
Jens-rene Giesen of Duisburg (DE)
Michael Rodler of Duisburg (DE)
Sebastien Andreina of Heidelberg (DE)
Ghassan Karame of Heidelberg (DE)
METHOD AND SYSTEM FOR SUPPORTING SMART CONTRACTS IN A BLOCKCHAIN NETWORK - A simplified explanation of the abstract
This abstract first appeared for US patent application 20240020109 titled 'METHOD AND SYSTEM FOR SUPPORTING SMART CONTRACTS IN A BLOCKCHAIN NETWORK
Simplified Explanation
The abstract of this patent application describes a computer-implemented method for supporting smart contracts in a blockchain network. The method involves several phases, including translating the source code of a smart contract into an abstract syntax tree model, generating a code property graph based on the abstract syntax tree model, enriching the code property graph with information from the abstract syntax tree model, analyzing the code property graph for predetermined vulnerability patterns to detect vulnerabilities, and applying patches to fix the detected vulnerabilities by inserting them into the code property graph.
- The method supports smart contracts in a blockchain network.
- It translates the source code of a smart contract into an abstract syntax tree model.
- It generates a code property graph based on the abstract syntax tree model.
- It enriches the code property graph with information from the abstract syntax tree model.
- It analyzes the code property graph for predetermined vulnerability patterns to detect vulnerabilities.
- It applies patches to fix the detected vulnerabilities by inserting them into the code property graph.
Potential applications of this technology:
- Enhancing the security of smart contracts in blockchain networks.
- Improving the reliability and trustworthiness of smart contracts.
- Facilitating the development and deployment of secure smart contracts.
- Supporting auditing and compliance processes for smart contracts.
Problems solved by this technology:
- Smart contracts are prone to vulnerabilities and security risks.
- Detecting vulnerabilities in smart contracts can be challenging.
- Fixing vulnerabilities in smart contracts can be complex and time-consuming.
- Ensuring the security and integrity of smart contracts is crucial for blockchain networks.
Benefits of this technology:
- Increased security and reliability of smart contracts.
- Reduced risk of vulnerabilities and security breaches.
- Improved trust and confidence in smart contract transactions.
- Streamlined vulnerability detection and patching processes.
- Enhanced auditing and compliance capabilities for smart contracts.
Original Abstract Submitted
a computer-implemented method for supporting smart contracts in a blockchain network includes: translating a source code of a smart contract into an abstract syntax tree model; generating a code property graph based on the abstract syntax tree model; performing an enrichment phase, wherein the code property graph is enriched with information that is obtained from the abstract syntax tree model; performing a vulnerability detection phase, wherein the code property graph is analyzed for one or more predetermined vulnerability patterns in order to detect one or more predetermined vulnerabilities; and performing a vulnerability patching phase, wherein one or more patches are applied in order to fix the one or more predetermined vulnerabilities detected in the vulnerability detection phase, wherein the one or more patches are inserted into the code property graph such that a patched code property graph is generated.
