大多数人工智能安全工具都存在噪音问题-它们会产生数以百计的发现，使开发团队忙于分流工作，而不是帮助他们修复真正重要的问题。CertiK AI Auditor采用了不同的标准：高检测率和低误报率，二者缺一不可。它最初是为CertiK自己的审计人员开发的内部工具，经过实际审计实践的改进和真实安全事件的验证。在本 Quest 中，您将了解它的工作原理及其降噪方法的与众不同之处。