面向电子合同与智能合同的验证框架
软件工程
2025-04-29 v1
摘要
我们提出并构建了一个用于验证从电子合同派生的智能合同的框架。目标是确保生成的智能合同满足其对应电子合同中所列出的所有条件。通过确认智能合同与其原始协议之间的对齐，该方法提高了自动化合同执行的可信度和可靠性。该框架系统性地比较和验证电子合同的条款与智能合同逻辑之间的关系。该验证确认协议被准确地转化为可执行代码。自动化验证识别电子合同及其智能合同对应物之间的问题。此提议工作将解决法律语言与代码执行之间的差距，该框架确保智能合同无缝集成到现有法律框架中。
引用
@article{arxiv.2504.19137,
title = {Validation Framework for E-Contract and Smart Contract},
author = {Sangharatna Godboley and P. Radha Krishna and Sunkara Sri Harika and Pooja Varnam},
journal= {arXiv preprint arXiv:2504.19137},
year = {2025}
}