经过详细查询和该公司官网显示：
Veridise 是一家专注于区块链安全的公司，成立于 2021 年，由一群世界级的学术专家创立。公司致力于通过尖端的研究和技术，解决 Web3 生态系统中最复杂的安全挑战。Veridise 的使命是通过形式化验证和程序分析技术，提升区块链的安全性和可靠性。
产品与服务
Veridise 提供全面的区块链安全服务，涵盖以下领域：
智能合约审计：
针对智能合约的安全性进行深入分析，检测漏洞并提供修复建议。
区块链协议审计：
对 L1 和 L2 区块链协议进行全面的安全分析，确保底层架构的安全性。
零知识电路审计：
专注于零知识证明（ZK）技术的安全性评估，确保隐私保护和计算正确性。
去中心化金融（DeFi）审计：
针对 DeFi 协议的复杂性，提供定制化的安全审计服务。
形式化验证：
利用先进的形式化验证技术，确保代码的正确性和安全性。
技术特点
形式化验证与程序分析：
Veridise 以形式化验证为核心技术，结合程序分析方法，能够检测到传统审计难以发现的漏洞。
学术与行业结合：
公司团队由学术界和工业界的顶尖人才组成，将最新的研究成果应用于实际项目中。
专用工具：
Veridise 开发了多种内部工具，用于检测复杂漏洞和提供全面的安全分析。
全栈安全覆盖：
服务覆盖智能合约、区块链协议、零知识电路等多个领域，提供全方位的安全保障。
区块链项目方参与
Veridise 已为多个知名区块链项目提供安全服务，包括但不限于：
Linea：
提供了智能合约和协议的安全审计。
Manta Network：
专注于零知识技术的隐私保护项目，Veridise 可能参与了其 ZK 电路的安全评估。
Scroll：
一个基于以太坊的 L2 扩展解决方案，Veridise 为其提供了安全审计服务。
其他项目：
Veridise 还可能参与了其他区块链协议、DeFi 项目和零知识技术的安全审计，但具体细节需进一步确认。
