包含此标签的文章列表
共 1 篇文章
本文由社区成员发布。作者为David Tarditi，一家Web3智能合约审计公司CertiK的工程副总裁。 摘要 对智能合约进行形式化验证可避免它们出现错误、漏洞和其他不利的情况。在这个过程中，人类专家会将智能合约的逻辑转换为数学语句，然…
