TestMachine 是一個人工智慧驅動的區塊鏈安全平台,分析合約並找出潛在的安全漏洞。透過識別和分析重複出現的程式碼結構和模式,TestMachine 確保合約對於已知的漏洞和威脅具有穩健性。
Testmachine
|
安全解決方案、安全審計
| -- | 人工智慧驅動的區塊鏈安全平台 |
106
|
177
|
LISA是一個基於LLM的智能安全分析工具,專注於Solidity智能合約,利用區塊鏈技術提供漏洞檢測與審計,屬於Web3安全領域項目。
LISA
|
AI 代理、安全解決方案、安全審計
| -- | LISA智能合約分析 |
101
|
88
|
MoveBit是一家專注於Move生態安全的區塊鏈安全公司,其願景是讓 Move 生態系統成為最安全的 Web3 目的地。
MoveBit
|
安全解決方案、安全審計
| -- | Move 生態系統的安全審計公司 |
147
|
65
|
Zokyo 是一家創投工作室,致力於建立、保護和資助傳奇的 web3/加密業務。 Zokyo 透過提供攻擊性安全服務來保護公司免受駭客攻擊,例如安全審計、滲透測試(網路、行動、應用程式)、資料外洩發現、社會工程、Zokyo 的 DeFi 工作室充當全端合作夥伴,為選定的公司提供資源以建構、保護、部署和發展長期、可持續的項目,並與全球投資者和傳統貿易公司建立聯繫。
Zokyo
|
安全解決方案、安全審計
| -- | Web3 網路安全公司 |
204
|
58
|
0x0 是一款一體化隱私中心和 AI 智慧合約審計平台,100% 的實用收入分配給 ETH 的代幣持有者,創建被動收入流。該平台包括人工智慧驅動的智慧合約審計器和隱私混幣器。此外,0x0 正在開發隱私 DEX,這是一個用於編寫自訂智慧合約的一體化中心,以及一個可以檢測和預先運行可疑交易以防止成為騙局受害者的 AI 機器人。
0x0
|
安全解決方案、安全審計、隱私
| | AI 智慧合約審計平台 |
168
|
54
|
Beosin(原成都鏈安)是一家區塊鏈安全服務供應商,涵蓋智慧合約稽核、被盜加密貨幣找回、風險監控和警報。
Beosin
|
安全解決方案、安全審計
| -- | 區塊鏈安全服務提供商 |
245
|
49
|
ZippelVM 提供以太坊的即時證明,最終目標是以低成本、快速的方式驗證世界軟體。
ZippelLabs
|
安全審計
| | 以太坊的即時證明 |
24
|
45
|
Cyberscope 是一家智慧合約審計和 KYC 服務公司。截止 2023 年 5 月,Cyberscope 已審查超過 1200 多個區塊鏈專案和 NFT,為 500 多個團隊提供 KYC 服務。
Cyberscope
|
安全解決方案、安全審計
| -- | 智能合約審計和 KYC 服務公司 |
59
|
45
|
ScaleBit是一個安全審計團隊,專門從事ZKP、Layer 2和跨鏈應用程式的審計。
ScaleBit
|
安全解決方案、安全審計
| -- | Web3 的安全解決方案 |
81
|
44
|
CertiK是一家成立於2018年的區塊鏈安全公司。該公司利用正式化驗證和AI技術合作提供端到端區塊鏈安全審計服務。此外,該公司還開發了“CertiK Chain”,這是一個專注於安全的區塊鏈,旨在增強智能合約的安全性。
CertiK
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
1K
|
43
|
OKLink是一家區塊鏈技術與資料服務商,擁有業界領先的視覺化區塊鏈資料處理分析工具,整合大數據、人工智慧等先進技術,對複雜多樣的區塊鏈資料進行分析處理。公司提供六大產品和服務,包括區塊鏈瀏覽器、鏈上數據分析、合規穩定幣USDK、鏈上錢包、數位資產託管、區塊鏈學院。
OKLink
|
工具、數據&分析、鏈上數據、區塊鏈瀏覽器、安全審計
| -- | 區塊鏈資訊和數據服務提供商 |
288
|
43
|
安比實驗室專注於區塊鏈與智慧合約安全議題,全方位監控智慧合約安全漏洞、提供專業合約安全審計服務,在智慧合約安全技術上進行全方位深入研究,致力於參與共建共識、可信任、有序的區塊鏈經濟體。
SECBIT Labs
|
安全解決方案、安全審計
| -- | 區塊鏈與智慧合約安全公司 |
68
|
41
|
SharkTeam 是一家 Web3 安全服務商,提供威脅建模、智慧合約等綜合服務稽核、緊急應變等服務。
SharkTeam
|
安全解決方案、安全審計
| -- | Web3安全服務商 |
47
|
39
|
Oak Security 是一家 Web3 網路安全諮詢公司,為多個區塊鏈提供安全審計服務,特別關注第三代區塊鏈和協議,例如 Cosmos、Terra、Polkadot 和 Flow 生態系統。
Oak Security
|
安全解決方案、安全審計
| -- | Web3網路安全公司 |
105
|
38
|
Aegis AI 是一個使用人工智慧來審計智慧合約的平台。它提供即時分析以檢測漏洞和惡意程式碼。
AEGIS AI
|
工具、AI、安全審計
| -- | 人工智慧來審計平台 |
96
|
35
|
Sayfer 是一家 Web3 網路安全顧問公司,專門為企業提供量身訂製的網路安全解決方案。 Sayfer 的研究人員和業務威脅分析師以駭客思維來處理網路安全。該策略使 Sayfer 能夠優先考慮面臨風險的最關鍵領域並提供解決方案,並解決傳統安全產品可能忽略的漏洞。
Sayfer
|
安全解決方案、安全審計
| -- | Web3 網路安全顧問公司 |
29
|
35
|
ChainLight 是一家加密安全審計公司,使用先進的技術和工具來發現智慧合約中最複雜的安全漏洞。
ChainLight
|
安全解決方案、安全審計
| -- | Web3 安全審計公司 |
209
|
35
|
SolidProof 是一家區塊鏈安全審計公司,可以使用手動和自動測試來發現區塊鏈專案中的漏洞。
SolidProof
|
安全解決方案、安全審計
| -- | 區塊鏈安全審計公司 |
179
|
35
|
Sooho.io 是一個智慧合約審計平台,透過其專有軟體 Odin為一些韓國頂級技術公司的 IT 部門提供審計。 Sooho.io 還建立了一個聚合槓桿農業產品的協議,旨在集中DeFi 協議的「碎片化格局」。
Sooho.io
|
安全解決方案、安全審計
| -- | 智慧合約審計平台 |
40
|
35
|
Consensys Diligence為Consensys提供的全面智慧合約審計服務,協助從新創公司到企業的所有人啟動和維護他們的以太坊區塊鏈應用程式。
Consensys Diligence
|
安全解決方案、安全審計
| -- | ConsenSys智能合約審計服務商 |
311
|
35
|
Zellic 是一家區塊鏈安全審計和諮詢公司。 Zellic 由一群擁有十多年行業經驗的區塊鏈專家團隊於 2020 年創立。
Zellic
|
安全解決方案、安全審計
| -- | 區塊鏈安全審計與諮詢公司 |
535
|
35
|
Providing Elite Smart Contract SecurityExpert security reviews for your smart contracts and blockchain projects.Auditing for Polygon, Euler, Supra Labs, Azuro, TitanX and more.
CD Security
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
32
|
34
|
Neodyme是一家專注於產品安全的公司,透過創新思維解決挑戰,曾在多個國際CTF競賽中獲獎。 Neodyme提供區塊鏈審計、滲透測試和安全培訓等服務等。
Neodyme
|
安全解決方案、安全審計
| -- | Web3安全解決方案提供商 |
306
|
34
|
Zksecurity 是一款針對零知識應用程式的安全審計解決方案,其目標是確保應用程式向零知識世界的過渡時出現的問題最少。 Zksecurity 生產工具、最佳實踐並審核零知識系統和應用程式。
Zksecurity
|
安全解決方案、安全審計
| -- | zk 安全審計解決方案 |
282
|
34
|
ABDK Consulting 成立於 2016 年,是區塊鏈開發和審計領域的服務提供者。它也為許多區塊鏈專案做出了貢獻,並與人合著了一些知名的區塊鏈原語,如 Poseidon 雜湊函數。
ABDK Consulting
|
安全解決方案、安全審計
| -- | 智能合約開發與審計公司 |
47
|
34
|
Runtime Verification 使用形式化方法對公鏈上的虛擬機器和智慧合約進行安全審計,它還提供軟體測試、驗證服務和產品,以提高區塊鏈領域軟體系統的安全性、可靠性和正確性。
Runtime Vеrification
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
418
|
34
|
MetaTrust 是面向 Web3 應用程式的自動化安全掃描解決方案,它將多個最先進的安全掃描引擎以前所未有的速度和準確性組合到一個平台中,保護智慧合約層以外的應用程式的各個方面。
MetaTrust
|
安全解決方案、安全審計
| -- | 面向 Web3 應用程式的自動化安全掃描解決方案 |
120
|
34
|
Three Sigma 是一家工程、研究和投資公司,致力於透過與該領域的建構者密切合作來改進 Web3。其使命是推動區塊鏈技術的採用,並為加密/web3 空間的健康發展做出貢獻。
Three Sigma
|
安全解決方案、安全審計
| -- | 加密工程、研究和投資公司 |
421
|
34
|
BlockSec是一家區塊鏈安全公司,提供數位資產代碼安全審計、攻擊防範、反洗錢服務,以及一站式開發者工具包,致力於建立區塊鏈安全基礎設施。 BlockSec的產品包括開發者工具包Phalcon、區塊鏈瀏覽器增強插件MetaDock、資金流向視覺化工具MetaSleuth。
BlockSec
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
528
|
34
|
Ackee Blockchain 團隊由稽核員和白帽駭客組成,他們執行安全稽核和評估,包括程式碼審查、測試、自動分析和本地部署/駭客攻擊。
Ackee Blockchain
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
178
|
34
|