PrettiSmart：基于仿真的智能合约可视化解释
人机交互
2024-12-25 v1
摘要
智能合约是区块链技术的基本组件。它们是决定加密货币交易的程序，一旦部署即不可逆，因此对于加密货币投资者而言，全面理解智能合约的加密货币交易行为至关重要。然而，对于投资者来说，这是一项具有挑战性（甚至不可能）的任务，因为他们不一定具备检查复杂源代码的编程背景。即便是拥有一定编程技能的投资者，从代码alone 推断所有潜在行为仍然困难，因为实际行为会因不同投资者而异。为此，我们提出PrettiSmart，一种通过执行仿真实现直观可靠的智能合约可视化解释方法。具体而言，我们开发了一个仿真器，全面捕获大多数可能的真实世界智能合约行为，涉及多个投资者和各种智能合约功能。随后，我们呈现PrettiSmart，通过直观方式可视化智能合约的仿真结果，其包括两个模块：仿真概览模块采用条形码设计，为每个仿真提供概览；仿真详情模块采用增强顺序设计，用于显示每个仿真中的加密货币交易细节，如函数调用序列、加密货币流向和状态变量变化。它可以让投资者直观地检查和理解智能合约的工作方式。我们通过两个案例研究和对12名投资者进行深入用户访谈来评估PrettiSmart。结果表明，PrettiSmart在促进智能合约的易于解释方面具有有效性和可用性。
引用
@article{arxiv.2412.18484,
title = {PrettiSmart: Visual Interpretation of Smart Contracts via Simulation},
author = {Xiaolin Wen and Tai D. Nguyen and Lun Zhang and Jun Sun and Yong Wang},
journal= {arXiv preprint arXiv:2412.18484},
year = {2024}
}