形式验证

  • 形式验证和激励模拟是智能合约安全的必要补充

    这篇文章是Gauntlet和Peteris Erins (Auditless)在正式验证和激励模拟交叉领域合作的成果。我们感谢Haseeb Qureshi和Charlie Noyes的评论反馈。 我们相信基于代理的仿真可以帮助分析智能合约和协议行为。但也存在其他方法,比如形式验证。形式验证使逻辑保证比模拟的统计保证更强。在回答我们关心的安全问题方面,它是否优...

    2019年10月15日 164.86K