评估区块链智能合约中解释的需求，以调和出现的意外情况

《ACM Transactions on Software Engineering and Methodology》：Evaluating the Need for Explanations in Blockchain Smart Contracts to Reconcile Surprises

智能合约解释性研究结合合同法与可解释AI原则，提出基于MEB理论的评估框架，通过分析两去中心化借贷项目发现信息缺失导致潜在意外，探讨解释性整合的经济成本与效益权衡，为构建人类友好的智能合约提供理论支撑与实践指导。

　　

摘要

区块链上的智能合约在去中心化系统中发挥着重要作用，它们能够自动化执行协议，无需中介参与。随着这些合约逐渐应用于各个领域，确保用户理解其运作原理变得至关重要。本文探讨了智能合约中解释的必要性，借鉴了合同法原则以及可解释人工智能（XAI）领域的成熟实践。文章阐述了设计智能合约时可解释性的关键目的，包括合理性说明、内容清晰化、合规性保障和用户同意确认。此外，研究提出了一个基于元认知解释（MEB）理论的新型评估框架，用于系统性地分析缺乏解释的智能合约可能存在的“意外情况”。我们利用“意外情况”这一指标，系统地识别出在合理性说明、内容清晰化、合规性保障和用户同意确认方面需要改进的环节。为了验证该评估方法的有效性，我们评估了两个去中心化借贷项目，发现了潜在的问题。其中一个主要问题是相关信息的缺失，尤其是在合规性、用户同意和决策合理性方面。信息的缺失增加了出现意外的风险。在验证解释目的的过程中，我们采用了改进技术来优化被评估智能合约的设计。同时，研究还探讨了整合解释机制所涉及的权衡因素，并对经济影响进行了深入分析，例如部署和执行成本的增加。这项工作有助于更全面地理解智能合约的可解释性要求，并为通用评估方法奠定了理论基础，旨在推动开发更加以用户为中心、更易于理解的智能合约。