PrettiSmart: Visual Interpretation of Smart Contracts via Simulation
Xiaolin Wen, Tai D. Nguyen, Lun Zhang, Jun Sun, and Yong Wang

TL;DR
PrettiSmart is a visualization tool that simulates and visually interprets smart contract behaviors, helping investors understand complex transactions without deep programming knowledge.
Contribution
It introduces a novel simulation-based visualization approach with modules for overview and detailed analysis, enhancing interpretability of smart contracts.
Findings
Effective visualization of smart contract behaviors.
Improved understanding for investors with diverse backgrounds.
Positive user feedback on usability and clarity.
Abstract
Smart contracts are the fundamental components of blockchain technology. They are programs to determine cryptocurrency transactions, and are irreversible once deployed, making it crucial for cryptocurrency investors to understand the cryptocurrency transaction behaviors of smart contracts comprehensively. However, it is a challenging (if not impossible) task for investors, as they do not necessarily have a programming background to check the complex source code. Even for investors with certain programming skills, inferring all the potential behaviors from the code alone is still difficult, since the actual behaviors can be different when different investors are involved. To address this challenge, we propose PrettiSmart, a novel visualization approach via execution simulation to achieve intuitive and reliable visual interpretation of smart contracts. Specifically, we develop a simulator…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFinTech, Crowdfunding, Digital Finance · Artificial Intelligence in Law · Blockchain Technology Applications and Security
