本文针对区块链智能合约频繁遭受网络犯罪分子攻击、造成巨额资产损失这一严峻安全问题展开研究。作者指出，尽管区块链环境被认为是计算领域最具对抗性的环境之一，但现有技术和概念尚未能真正有效解决漏洞被利用的问题。为此，论文提出并系统验证了经典的程序不变量（program invariant）概念或许是防范智能合约攻击的最有力手段。研究设计了一套原创实验协议：首先构建了名为INVARIANTEVAL的基准测试集，包含28个真实的以太坊攻击案例，每个案例均配有一条人工编写、能够阻止对应攻击的不变量；其次开发了PONDEREPLAY重放框架，通过重新执行历史交易来严格验证不变量的正确性和有效性。实验结果表明，这些智能合约不变量能够成功阻断INVARIANTEVAL中所有的网络犯罪攻击，并且通过对108,637笔历史交易的重放验证，充分证明了这些不变量的正确性与可靠性。大规模实验清晰展示了智能合约不变量在抵御网络犯罪分子方面的强大能力。该研究为智能合约安全提供了一种新的防御思路，并为自动化不变量生成工具的未来发展奠定了评估基础。适合智能合约安全研究人员、区块链安全工程师以及形式化验证领域的学者阅读。