智能合约的渐进式验证
密码学与安全
2024-07-04 v2 计算机科学中的逻辑
编程语言
摘要
区块链通过智能合约促成安全的资源交易，然而这些数字协议易受漏洞影响，尤其在与外部合约交互时，会导致巨额金钱损失。传统验证技术难以提供全面的安全保证，特别是针对重入攻击，因外部合约实现不可用。本文引入一种增量方法：渐进式验证。我们结合静态与动态验证技术以增强安全性、保证可靠性与灵活性，并优化智能合约交互中的资源使用。通过实现基于pyTEAL语言对Algorand智能合约渐进式验证的原型，我们展示了该方法的有效性，为智能合约的安全高效执行作出贡献。
引用
@article{arxiv.2311.13351,
title = {Gradual Verification for Smart Contracts},
author = {Haojia Sun and Kunal Singh and Jan-Paul Ramos-Dávila and Jonathan Aldrich and Jenna DiVincenzo},
journal= {arXiv preprint arXiv:2311.13351},
year = {2024}
}