糟糕的审计师会错过明显的漏洞。我们开发了一款能够发现这些漏洞的AI工具。 介绍V12：唯一一个真正能够发现高风险和严重漏洞的自动化Solidity审计工具。 我们将免费发布它。 V12能够在Zellic审计中发现严重漏洞，在Cantina中发现高/中风险漏洞，以及在Pendle中发现一个漏洞。