本文分析了 Certora CTF 中的多个挑战，揭示了Exchange合约中 toInt256 函数的 off-by-one 漏洞和NISC 合约中 _update 函数的安全漏洞，从而可以在 Vault 中获得巨大的信用额度并交换为 USDC。
