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

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

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

Burra Sec 提供安全審計和諮詢服務，特別關注跨鍊和互通性協定及其整合。

ExVul是一家由全球顶级安全专家组成的领先的Web3安全公司，服务范围涵盖智能合约审计、区块链协议审计、钱包审计、Web3渗透测试、安全咨询与规划。致力于提升Web3生态整体安全性，始终站在Web3安全研究前沿领域。

Bevor 是一個專注於合約安全的平台，旨在為區塊鏈和智慧合約提供全面的安全解決方案。

Providing Elite Smart Contract SecurityExpert security reviews for your smart contracts and blockchain projects.Auditing for Polygon, Euler, Supra Labs, Azuro, TitanX and more.

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

Adevar Labs 是一家安全審計公司，為 Solana 最雄心勃勃的專案提供誠實的安全評估。

Aegis AI 是一個使用人工智慧來審計智慧合約的平台。它提供即時分析以檢測漏洞和惡意程式碼。

QuillAudits 是一家的智慧合約安全公司，已對 20 多個區塊鏈進行了 1,000 多次審計，包括以太坊、BSC 和 Solana 等 L1/L2，可提供嚴格的客製化安全評估，旨在確保 Web3 專案保持安全可靠。

Audit Wizard 是一種智慧合約安全解決方案，可一鍵掃描漏洞、利用人工智慧見解、直覺地設計單元測試等。

TonBit 是 TON 的早期建構者和安全專家，該平台提供智慧合約審計服務。

Statemind Statemind 是一家區塊鏈安全審計公司，為區塊鏈產業客戶提供審計和諮詢服務。

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

CredShields 是一家專門從事 Web3 安全的網路安全公司，正在建立 SolidityScan.com，這是一個基於雲端的智慧合約安全掃描器，只需單擊按鈕即可提供審計報告。

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

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

CodeHawks 是一個由 Cyfrin 提供支援的智慧合約審計市場。 CodeHawks 致力於透過由世界頂級審計師和社群進行安全審查，保護 DeFi、協定、其用戶和資金免受智慧合約攻擊。

Decurity 是一家專注於 web3 應用程式安全的公司：智慧合約、第 1 層區塊鏈、側鏈、dApp 等。 Decurity 進行安全性稽核、持續性安全諮詢和安全監控。

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

DeFimoon 是一家區塊鏈開發與安全機構，專注於為基於區塊鏈的系統提供全面的安全審計。

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

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

Inspex 是一家網路安全專業服務公司，成立於2021年，由網路安全各領域經驗豐富的網路安全專家團隊組成。 Inspex 提供最高品質的區塊鏈和智慧合約專業服務和解決方案，以增強廣泛的區塊鏈生態系統的安全性。

OXORIO是一家區塊鏈安全公司，專門從事智慧合約、zk-SNARK解決方案和安全諮詢。自2021年以來，該公司對Lido、1In、Rarible和deBridge等著名DeFi專案進行了關鍵的安全審計，優先考慮卓越和長期的客戶關係。

Hashlock是位於澳洲的獨立區塊鏈網路安全和智慧合約審計公司。他們是一家高度專業化的區塊鏈網路安全公司，來自手動分析、社群審計背景，根據調查結果的數量進行區分，並與澳洲和全球的客戶保持高度合作。

Solidified 是服務時間最長的智慧合約安全公司之一，已經保護了 Loopring、Kyber、Argent、Gnosis、Nexus Mutual、Polymath、Hermez、Aztec 等流行的 DeFi 專案。其服務涵蓋產品生命週期的所有階段，從最初想法的安全屬性諮詢、白皮書審查、代幣經濟學建議、程式碼審查、測試、模糊測試，一直到發布管理和營運安全。

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

Supremacy是一家Web3.0安全公司，於2022年7月在中國大陸成立。團隊成員分佈在南京、長沙和溫哥華，由多位來自國內外的頂尖安全研究人員組成。 Supremacy在漏洞分析、滲透測試、網路攻防等方面擁有數十年的經驗和顯著成就，提供Cruise、VyperPunk等獨立產品品牌。 Supremacy專注於Web3.0生態的全生命週期安全，為所有Web3.0使用者提供安全解決方案。