本文介绍了SushiSwap的Trident协议在开发过程中发现的一个漏洞，以及修复这一漏洞的方法。文章详细描述了如何通过确定系统的不变性、使用自动化验证工具查找具体的违规场景，并利用这一场景实施攻击。最终，SushiSwap通过调整计算用户应得代币的方式来修复该漏洞。
