Solvent: 智能合约的流动性验证
密码学与安全
2025-11-18 v3 编程语言
摘要
智能合约是攻击者的诱人目标，长期的安全事件历史证明了这一点。当前智能合约验证工具的一个局限性在于，它们在表达和验证与加密资产交换相关的流动性属性方面并非真正有效：例如，是否在每个可达状态下，用户都可以执行一系列交易来提取给定数量的加密资产？我们提出了Solvent，一个旨在验证这类属性的工具，这些属性超出了现有Solidity验证工具的能力范围。我们通过一个通用的智能合约基准测试集评估了Solvent的有效性和性能。
引用
@article{arxiv.2404.17864,
title = {Solvent: liquidity verification of smart contracts},
author = {Massimo Bartoletti and Angelo Ferrando and Enrico Lipparini and Vadim Malvone},
journal= {arXiv preprint arXiv:2404.17864},
year = {2025}
}