配对函数

Symmetry Sniper是一种新的安全审计技能，专注于发现智能合约中配对操作（如存款/取款、铸造/销毁）之间的对称性破坏漏洞。它通过在文档、命名、事件、接口或测试中确认两个函数本应对称后，直接比较它们的状态写入、资产移动、授权、舍入和边界情况，找出可能破坏不变量、授权不匹配、收费不对称或批量绕过的问题。该技能已在六个月内发现240个已确认问题，包括20个关键、105个高、115个中等级别漏洞，并在Panoptic和Alchemix V3审计中成功应用。