自动公平交换
密码学与安全
2022-07-26 v1 计算机科学中的逻辑
摘要
在去中心化环境中，交换资源需要用户进行协商直至达成一致。此外，人类协议结合了协作与自私行为，常引发循环依赖，使交换请求的评估复杂化。我们提出 MuAC，一种策略语言，允许用户各自声明在何种条件下愿意授予其资源以及要求何种回报。在 MuAC 中，交换请求被自动评估，并保证仅发生那些相互满足用户条件的交换。此外，MuAC 可用作强制机制以防止用户作弊。作为概念验证，我们实现了一个区块链智能合约，允许用户交换其非同质化代币。
引用
@article{arxiv.2207.12326,
title = {Automatic Fair Exchanges},
author = {Lorenzo Ceragioli and Letterio Galletta and Pierpaolo Degano and Luca Viganò},
journal= {arXiv preprint arXiv:2207.12326},
year = {2022}
}