Revela: Unlock The Secrets Of Move Smart Contracts
summary
Revela is an open-source Revela decompiler that claims to recover ~100% of deployed Move modules on Aptos by turning Move bytecode into readable, compilable Move source. It uses static analysis, control‑flow reconstruction and a symbolic‑execution style stack emulator to recover modules, functions, and data types, renames locals to placeholders, and emits compilable Move source that re‑compiles to smaller bytecode. It runs as a CLI and online service, demos decompiling live transactions, and is already used to audit closed‑source Aptos contracts with plans to add Sui.
AI-written summary · about
chapters (14)
- 0:00Introduction to Reva
- 1:11Background on Move smart contracts
- 7:17Move bytecode challenges
- 10:11Why Reva was created
- 12:21Reva’s compiler design
- 15:58Building control flow graphs
- 21:00Recovering high-level structures
- 25:16Symbolic execution for statements
- 32:36Optimization in decompilation
- 35:29Testing Reva on Aptos contracts
- 35:52Live demonstration of Reva
- 37:42Online tool walkthrough
- 38:23Future plans for Reva
- 39:04Conclusion and Q&A
related talks
22mHow Decompilation Uncovers Smart Contract Vulnerabilities
31mElipmoc: advanced decompilation of Ethereum smart contracts
48mHow to Build A Decompiler
21mErays: Reverse Engineering Ethereum's Opaque Smart Contracts
51mA Deal with the Devil: Breaking Smart Contracts
45m"Advanced Malware Threat: handling obfuscated code using..."
23mWhy the Move Ecosystem Is Onboarding Devs at Speed
54mLost and Found in Translation