LISA是一個基於LLM的智能安全分析工具,專注於Solidity智能合約,利用區塊鏈技術提供漏洞檢測與審計,屬於Web3安全領域項目。
LISA
|
AI 代理、安全解決方案、安全審計
| -- | LISA智能合約分析 |
248
|
64
|
Sherlock 透過內部安全分析和平台級覆蓋保護 DeFi 用戶免受協議駭客攻擊,是第一個為審計客戶提供高達 1000 萬美元保障的智能合約審計保險服務商。
Sherlock
|
安全解決方案、安全審計
| -- | 由智能合約保險支援的審計服務 |
407
|
59
|
Runtime Verification 使用形式化方法對公鏈上的虛擬機器和智慧合約進行安全審計,它還提供軟體測試、驗證服務和產品,以提高區塊鏈領域軟體系統的安全性、可靠性和正確性。
Runtime Vеrification
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
155
|
56
|
Hexens 是一家網路安全供應商,主要專注於區塊鏈和新技術。
Hexens
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
156
|
46
|
0x0 是一款一體化隱私中心和 AI 智慧合約審計平台,100% 的實用收入分配給 ETH 的代幣持有者,創建被動收入流。該平台包括人工智慧驅動的智慧合約審計器和隱私混幣器。此外,0x0 正在開發隱私 DEX,這是一個用於編寫自訂智慧合約的一體化中心,以及一個可以檢測和預先運行可疑交易以防止成為騙局受害者的 AI 機器人。
0x0
|
安全解決方案、安全審計、隱私
| | AI 智慧合約審計平台 |
52
|
43
|
MetaTrust 是面向 Web3 應用程式的自動化安全掃描解決方案,它將多個最先進的安全掃描引擎以前所未有的速度和準確性組合到一個平台中,保護智慧合約層以外的應用程式的各個方面。
MetaTrust
|
安全解決方案、安全審計
| -- | 面向 Web3 應用程式的自動化安全掃描解決方案 |
114
|
41
|
OKLink是一家區塊鏈技術與資料服務商,擁有業界領先的視覺化區塊鏈資料處理分析工具,整合大數據、人工智慧等先進技術,對複雜多樣的區塊鏈資料進行分析處理。公司提供六大產品和服務,包括區塊鏈瀏覽器、鏈上數據分析、合規穩定幣USDK、鏈上錢包、數位資產託管、區塊鏈學院。
OKLink
|
工具、數據&分析、鏈上數據、區塊鏈瀏覽器、安全審計
| -- | 區塊鏈資訊和數據服務提供商 |
113
|
41
|
Supremacy是一家Web3.0安全公司,於2022年7月在中國大陸成立。團隊成員分佈在南京、長沙和溫哥華,由多位來自國內外的頂尖安全研究人員組成。 Supremacy在漏洞分析、滲透測試、網路攻防等方面擁有數十年的經驗和顯著成就,提供Cruise、VyperPunk等獨立產品品牌。 Supremacy專注於Web3.0生態的全生命週期安全,為所有Web3.0使用者提供安全解決方案。
Supremacy
|
安全解決方案、安全審計
| -- | Web3.0 安全公司 |
68
|
39
|
Beosin(原成都鏈安)是一家區塊鏈安全服務供應商,涵蓋智慧合約稽核、被盜加密貨幣找回、風險監控和警報。
Beosin
|
安全解決方案、安全審計
| -- | 區塊鏈安全服務提供商 |
148
|
39
|
Macro 保護和教育 web3 最重要的項目,提供安全審計、工程師培訓等服務。
Macro
|
安全解決方案、安全審計
| -- | Web3 安全公司 |
64
|
38
|
Decurity 是一家專注於 web3 應用程式安全的公司:智慧合約、第 1 層區塊鏈、側鏈、dApp 等。 Decurity 進行安全性稽核、持續性安全諮詢和安全監控。
Decurity
|
安全解決方案、安全審計
| -- | 去中心化金融安全 |
|
37
|
|
安全解決方案、安全審計
| -- | 區塊鏈安全審計公司 |
|
37
|
Consensys Diligence為Consensys提供的全面智慧合約審計服務,協助從新創公司到企業的所有人啟動和維護他們的以太坊區塊鏈應用程式。
Consensys Diligence
|
安全解決方案、安全審計
| -- | ConsenSys智能合約審計服務商 |
|
36
|
Zksecurity 是一款針對零知識應用程式的安全審計解決方案,其目標是確保應用程式向零知識世界的過渡時出現的問題最少。 Zksecurity 生產工具、最佳實踐並審核零知識系統和應用程式。
Zksecurity
|
安全解決方案、安全審計
| -- | zk 安全審計解決方案 |
199
|
35
|
Cyberscope 是一家智慧合約審計和 KYC 服務公司。截止 2023 年 5 月,Cyberscope 已審查超過 1200 多個區塊鏈專案和 NFT,為 500 多個團隊提供 KYC 服務。
Cyberscope
|
安全解決方案、安全審計
| -- | 智能合約審計和 KYC 服務公司 |
|
35
|
MoveBit是一家專注於Move生態安全的區塊鏈安全公司,其願景是讓 Move 生態系統成為最安全的 Web3 目的地。
MoveBit
|
安全解決方案、安全審計
| -- | Move 生態系統的安全審計公司 |
133
|
35
|
CertiK是一家成立於2018年的區塊鏈安全公司。該公司利用正式化驗證和AI技術合作提供端到端區塊鏈安全審計服務。此外,該公司還開發了“CertiK Chain”,這是一個專注於安全的區塊鏈,旨在增強智能合約的安全性。
CertiK
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
737
|
35
|
ExVul是一家由全球顶级安全专家组成的领先的Web3安全公司,服务范围涵盖智能合约审计、区块链协议审计、钱包审计、Web3渗透测试、安全咨询与规划。致力于提升Web3生态整体安全性,始终站在Web3安全研究前沿领域。
ExVul Security
|
安全解決方案、安全審計
| -- | |
112
|
34
|
Audit Wizard 是一種智慧合約安全解決方案,可一鍵掃描漏洞、利用人工智慧見解、直覺地設計單元測試等。
Audit Wizard
|
安全解決方案、安全審計
| -- | 智慧合約安全解決方案 |
53
|
34
|
CredShields 是一家專門從事 Web3 安全的網路安全公司,正在建立 SolidityScan.com,這是一個基於雲端的智慧合約安全掃描器,只需單擊按鈕即可提供審計報告。
CredShields
|
安全解決方案、安全審計
| -- | 智慧合約安全掃描器 |
65
|
34
|
CodeHawks 是一個由 Cyfrin 提供支援的智慧合約審計市場。 CodeHawks 致力於透過由世界頂級審計師和社群進行安全審查,保護 DeFi、協定、其用戶和資金免受智慧合約攻擊。
CodeHawks
|
安全解決方案、安全審計
| -- | 智慧合約審計市場 |
194
|
34
|
ScaleBit是一個安全審計團隊,專門從事ZKP、Layer 2和跨鏈應用程式的審計。
ScaleBit
|
安全解決方案、安全審計
| -- | Web3 的安全解決方案 |
77
|
34
|
DeFimoon 是一家區塊鏈開發與安全機構,專注於為基於區塊鏈的系統提供全面的安全審計。
DeFimoon
|
安全解決方案、安全審計
| -- | 區塊鏈開發與安全機構 |
13
|
34
|
Zokyo 是一家創投工作室,致力於建立、保護和資助傳奇的 web3/加密業務。 Zokyo 透過提供攻擊性安全服務來保護公司免受駭客攻擊,例如安全審計、滲透測試(網路、行動、應用程式)、資料外洩發現、社會工程、Zokyo 的 DeFi 工作室充當全端合作夥伴,為選定的公司提供資源以建構、保護、部署和發展長期、可持續的項目,並與全球投資者和傳統貿易公司建立聯繫。
Zokyo
|
安全解決方案、安全審計
| -- | Web3 網路安全公司 |
48
|
34
|
安比實驗室專注於區塊鏈與智慧合約安全議題,全方位監控智慧合約安全漏洞、提供專業合約安全審計服務,在智慧合約安全技術上進行全方位深入研究,致力於參與共建共識、可信任、有序的區塊鏈經濟體。
SECBIT Labs
|
安全解決方案、安全審計
| -- | 區塊鏈與智慧合約安全公司 |
20
|
34
|
FYEO 是一家網路安全公司,專注於透過區塊鏈安全審計、數位威脅監控和情報以及去中心化身分管理來保護和授權企業和個人在 Web 3.0 之旅中的安全.
FYEO
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
32
|
34
|
sec3 是一家 Web3 安全研究公司,透過為 Web3 專案建立基於技術的解決方案來確保協議在擴展時保持安全,從而為數百萬用戶準備 web3 協定。
sec3
|
安全解決方案、安全審計
| -- | Web3 安全研究公司 |
326
|
34
|
Omniscia 是一家 Web3 安全公司,在保護和優化複雜的智慧合約和區塊鏈網路方面擁有豐富的經驗。
Omniscia
|
安全解決方案、安全審計
| -- | Web3 安全公司 |
|
34
|
Sooho.io 是一個智慧合約審計平台,透過其專有軟體 Odin為一些韓國頂級技術公司的 IT 部門提供審計。 Sooho.io 還建立了一個聚合槓桿農業產品的協議,旨在集中DeFi 協議的「碎片化格局」。
Sooho.io
|
安全解決方案、安全審計
| -- | 智慧合約審計平台 |
13
|
34
|
MixBytes 是一家區塊鏈解決方案諮詢公司,為智慧合約開發和測試提供一整套服務,包括安全審計和協議開發。
MixBytes
|
技術解決方案、安全解決方案、安全審計
| -- | 區塊鏈解決方案顧問公司 |
|
34
|