金融衍生品智能合约的时间方面
软件工程
2018-05-31 v1
摘要
实现智能合约以自动化高价值场外（OTC）金融衍生品的履约是一项艰巨挑战。由于监管框架以及合约出错时金融风险的规模，这些合约的履约必须在法律上可强制执行，并且绝对要求智能合约忠实于各方在原始法律文件中表达的意图。形式化方法为验证和保证提供了一条有吸引力的途径，在此我们呈现对行业标准的OTC衍生品法律文件语义研究的早期结果。我们解释了结合时间、义务和操作方面的形式化表示的必要性，并聚焦于从法律文本推导出的时间方面的需求。这项工作的相关性超越OTC衍生品，适用于理解广泛法律文件的时间语义。
引用
@article{arxiv.1805.11677,
title = {Temporal Aspects of Smart Contracts for Financial Derivatives},
author = {Christopher D. Clack and Gabriel Vanca},
journal= {arXiv preprint arXiv:1805.11677},
year = {2018}
}