这是最近在Cyfrin私人审计中的内容,太棒了 @alexzoid_eth!
alexzoid
alexzoid2025年8月28日
在与审计师的过去私人接触中,我的 @CertoraInc 正式验证有效状态属性在一个复杂借贷协议的组装中发现了一个 CRIT,这是手动审查所遗漏的。 清晰证明了 FV 在补充模糊测试和经典审计中的价值。
2.87K