經過詳細查詢和該公司官網顯示：
Veridise 是一家專注於區塊鏈安全的公司，成立於 2021 年，由一羣世界級的學術專家創立。公司致力於通過尖端的研究和技術，解決 Web3 生態系統中最複雜的安全挑戰。Veridise 的使命是通過形式化驗證和程序分析技術，提升區塊鏈的安全性和可靠性。
產品與服務
Veridise 提供全面的區塊鏈安全服務，涵蓋以下領域：
智能合約審計：
針對智能合約的安全性進行深入分析，檢測漏洞並提供修復建議。
區塊鏈協議審計：
對 L1 和 L2 區塊鏈協議進行全面的安全分析，確保底層架構的安全性。
零知識電路審計：
專注於零知識證明（ZK）技術的安全性評估，確保隱私保護和計算正確性。
去中心化金融（DeFi）審計：
針對 DeFi 協議的複雜性，提供定製化的安全審計服務。
形式化驗證：
利用先進的形式化驗證技術，確保代碼的正確性和安全性。
技術特點
形式化驗證與程序分析：
Veridise 以形式化驗證爲核心技術，結合程序分析方法，能夠檢測到傳統審計難以發現的漏洞。
學術與行業結合：
公司團隊由學術界和工業界的頂尖人才組成，將最新的研究成果應用於實際項目中。
專用工具：
Veridise 開發了多種內部工具，用於檢測複雜漏洞和提供全面的安全分析。
全棧安全覆蓋：
服務覆蓋智能合約、區塊鏈協議、零知識電路等多個領域，提供全方位的安全保障。
區塊鏈項目方參與
Veridise 已爲多個知名區塊鏈項目提供安全服務，包括但不限於：
Linea：
提供了智能合約和協議的安全審計。
Manta Network：
專注於零知識技術的隱私保護項目，Veridise 可能參與了其 ZK 電路的安全評估。
Scroll：
一個基於以太坊的 L2 擴展解決方案，Veridise 爲其提供了安全審計服務。
其他項目：
Veridise 還可能參與了其他區塊鏈協議、DeFi 項目和零知識技術的安全審計，但具體細節需進一步確認。
