LISA是一個基於LLM的智能安全分析工具，專注於Solidity智能合約，利用區塊鏈技術提供漏洞檢測與審計，屬於Web3安全領域項目。

TestMachine 是一個人工智慧驅動的區塊鏈安全平台，分析合約並找出潛在的安全漏洞。透過識別和分析重複出現的程式碼結構和模式，TestMachine 確保合約對於已知的漏洞和威脅具有穩健性。

MetaTrust 是面向 Web3 應用程式的自動化安全掃描解決方案，它將多個最先進的安全掃描引擎以前所未有的速度和準確性組合到一個平台中，保護智慧合約層以外的應用程式的各個方面。

MoveBit是一家專注於Move生態安全的區塊鏈安全公司，其願景是讓 Move 生態系統成為最安全的 Web3 目的地。

Beosin（原成都鏈安）是一家區塊鏈安全服務供應商，涵蓋智慧合約稽核、被盜加密貨幣找回、風險監控和警報。

OKLink是一家區塊鏈技術與資料服務商，擁有業界領先的視覺化區塊鏈資料處理分析工具，整合大數據、人工智慧等先進技術，對複雜多樣的區塊鏈資料進行分析處理。公司提供六大產品和服務，包括區塊鏈瀏覽器、鏈上數據分析、合規穩定幣USDK、鏈上錢包、數位資產託管、區塊鏈學院。

Zokyo 是一家創投工作室，致力於建立、保護和資助傳奇的 web3/加密業務。 Zokyo 透過提供攻擊性安全服務來保護公司免受駭客攻擊，例如安全審計、滲透測試（網路、行動、應用程式）、資料外洩發現、社會工程、Zokyo 的 DeFi 工作室充當全端合作夥伴，為選定的公司提供資源以建構、保護、部署和發展長期、可持續的項目，並與全球投資者和傳統貿易公司建立聯繫。

Cyber​​scope 是一家智慧合約審計和 KYC 服務公司。截止 2023 年 5 月，Cyber​​scope 已審查超過 1200 多個區塊鏈專案和 NFT，為 500 多個團隊提供 KYC 服務。

BlockSec是一家區塊鏈安全公司，提供數位資產代碼安全審計、攻擊防範、反洗錢服務，以及一站式開發者工具包，致力於建立區塊鏈安全基礎設施。 BlockSec的產品包括開發者工具包Phalcon、區塊鏈瀏覽器增強插件MetaDock、資金流向視覺化工具MetaSleuth。

ZippelVM 提供以太坊的即時證明，最終目標是以低成本、快速的方式驗證世界軟體。

0x0 是一款一體化隱私中心和 AI 智慧合約審計平台，100% 的實用收入分配給 ETH 的代幣持有者，創建被動收入流。該平台包括人工智慧驅動的智慧合約審計器和隱私混幣器。此外，0x0 正在開發隱私 DEX，這是一個用於編寫自訂智慧合約的一體化中心，以及一個可以檢測和預先運行可疑交易以防止成為騙局受害者的 AI 機器人。

ChainLight 是一家加密安全審計公司，使用先進的技術和工具來發現智慧合約中最複雜的安全漏洞。

ScaleBit是一個安全審計團隊，專門從事ZKP、Layer 2和跨鏈應用程式的審計。

CertiK是一家成立於2018年的區塊鏈安全公司。該公司利用正式化驗證和AI技術合作提供端到端區塊鏈安全審計服務。此外，該公司還開發了“CertiK Chain”，這是一個專注於安全的區塊鏈，旨在增強智能合約的安全性。

Secure3 是一個協作的 Web3 安全審計生態系統，為專案提供值得信賴的安全審計，為審計員提供競爭激勵模型，為社區提供可驗證的審計追蹤記錄。 Secure3 於 2022 年由 StartX 孵化。

SolidProof 是一家區塊鏈安全審計公司，可以使用手動和自動測試來發現區塊鏈專案中的漏洞。

Zellic 是一家區塊鏈安全審計和諮詢公司。 Zellic 由一群擁有十多年行業經驗的區塊鏈專家團隊於 2020 年創立。

Hacken 是一家 Web3 網路安全審計公司，其願景是將 Web3 轉變為一個更符合道德規範的地方。該公司透過網路安全服務套件保護 Web3 項目及其社區，例如智慧合約審計、L1 區塊鏈協議審計、dApp 審計、錯誤賞金計畫。

Zksecurity 是一款針對零知識應用程式的安全審計解決方案，其目標是確保應用程式向零知識世界的過渡時出現的問題最少。 Zksecurity 生產工具、最佳實踐並審核零知識系統和​​應用程式。

Oak Security 是一家 Web3 網路安全諮詢公司，為多個區塊鏈提供安全審計服務，特別關注第三代區塊鏈和協議，例如 Cosmos、Terra、Polkadot 和 Flow 生態系統。

Runtime Verification 使用形式化方法對公鏈上的虛擬機器和智慧合約進行安全審計，它還提供軟體測試、驗證服務和產品，以提高區塊鏈領域軟體系統的安全性、可靠性和正確性。

Veridise 是一家區塊鏈安全公司，為區塊鏈生態系統的所有層級提供審計和軟體分析工具，包括智慧合約、web3 應用程式、零知識電路和區塊鏈實施。 Veridise 提供了一個全面且用戶友好的工具鏈，用於自動審計智能合約的安全性和正確性。

Sayfer 是一家 Web3 網路安全顧問公司，專門為企業提供量身訂製的網路安全解決方案。 Sayfer 的研究人員和業務威脅分析師以駭客思維來處理網路安全。該策略使 Sayfer 能夠優先考慮面臨風險的最關鍵領域並提供解決方案，並解決傳統安全產品可能忽略的漏洞。

Valix Consulting 是一家智慧合約審計公司，提供廣泛的網路安全諮詢服務。

安比實驗室專注於區塊鏈與智慧合約安全議題，全方位監控智慧合約安全漏洞、提供專業合約安全審計服務，在智慧合約安全技術上進行全方位深入研究，致力於參與共建共識、可信任、有序的區塊鏈經濟體。

Sherlock 透過內部安全分析和平台級覆蓋保護 DeFi 用戶免受協議駭客攻擊，是第一個為審計客戶提供高達 1000 萬美元保障的智能合約審計保險服務商。

MixBytes 是一家區塊鏈解決方案諮詢公司，為智慧合約開發和測試提供一整套服務，包括安全審計和協議開發。

Sooho.io 是一個智慧合約審計平台，透過其專有軟體 Odin為一些韓國頂級技術公司的 IT 部門提供審計。 Sooho.io 還建立了一個聚合槓桿農業產品的協議，旨在集中DeFi 協議的「碎片化格局」。

Neodyme是一家專注於產品安全的公司，透過創新思維解決挑戰，曾在多個國際CTF競賽中獲獎。 Neodyme提供區塊鏈審計、滲透測試和安全培訓等服務等。

Arbitrary Execution 是一家區塊鏈安全公司，利用其安全專業知識、策略、技術和駭客思維來幫助保護加密生態系統。它透過創建智慧合約程式碼來幫助加密社群阻止這些駭客攻擊的發生，從而滿足區塊鏈和去中心化技術的安全需求。