智能合约审计公司的主要任务是对智能合约进行全面的安全审计，包括但不限于：

漏洞和攻击表面分析：审计公司会仔细分析智能合约的代码，寻找潜在的漏洞和安全风险。他们会评估合约的攻击表面，找出可能的攻击向量，并提供相应的修复建议。

安全性和合规性评估：审计公司会评估智能合约是否符合行业标准和最佳实践，以及是否满足特定的合规要求。他们会检查代码中的安全漏洞、权限问题、异常处理、加密算法的使用等，并提供相应的改进建议。

逻辑和功能检查：审计公司会检查智能合约的逻辑和功能，确保合约按照预期工作并达到预期目标。他们会审查合约的业务逻辑、条件判断、事件处理等，以验证其正确性和一致性。

性能和可扩展性评估：除了安全性，审计公司还可能评估智能合约的性能和可扩展性。他们会检查合约的代码结构和算法复杂度，分析其对区块链网络的负载和资源消耗，提供优化和改进建议。

W1智能合约审计工作组的目标是确保智能合约在部署和运行过程中没有安全漏洞和风险，并帮助项目团队提高代码质量和安全性。通过接受专业审计机构的审查，项目团队能够获得独立的验证和建议，提高合约的可信度，增加用户的信任。

一些知名的智能合约审计公司包括W1、Quantstamp、OpenZeppelin、Certik等。当选择审计公司时，项目团队应考虑其专业背景、经验和声誉，以确保获得高质量的审计报告和建议。此外，与审计公司的合作也应建立在透明和合作的基础上，确保有效的沟通和及时的反馈。