本文介绍了SushiSwap即将推出的Trident平台中的一个池排空漏洞及其修复过程。通过三个步骤，文章详细阐述了如何通过形式化验证技术发现此漏洞，并详细描述了恶意用户如何利用该漏洞进行攻击，最后介绍了SushiSwap所采取的修复措施。
