Update README.md
Browse files
README.md
CHANGED
|
@@ -31,7 +31,7 @@ This model implements the methodology from **"Decompiling Smart Contracts with a
|
|
| 31 |
|
| 32 |
## Overview
|
| 33 |
|
| 34 |
-
Traditional decompilers (Panoramix, Heimdall) produce low-level, hard-to-read output with
|
| 35 |
|
| 36 |
1. **Bytecode → TAC** — Static analysis converts raw EVM bytecode into a Three-Address Code (TAC) intermediate representation (control flow graph, basic blocks, jump targets, function selectors).
|
| 37 |
2. **TAC → Solidity** — This fine-tuned LLM generates readable Solidity from the TAC representation.
|
|
|
|
| 31 |
|
| 32 |
## Overview
|
| 33 |
|
| 34 |
+
Traditional decompilers (Panoramix, Heimdall) produce low-level, hard-to-read output with 0.4–0.5 semantic similarity to original source. This model achieves **0.82 semantic similarity** by combining deterministic static analysis with neural code generation in a two-stage pipeline:
|
| 35 |
|
| 36 |
1. **Bytecode → TAC** — Static analysis converts raw EVM bytecode into a Three-Address Code (TAC) intermediate representation (control flow graph, basic blocks, jump targets, function selectors).
|
| 37 |
2. **TAC → Solidity** — This fine-tuned LLM generates readable Solidity from the TAC representation.
|