LISA是一個基於LLM的智能安全分析工具,專注於Solidity智能合約,利用區塊鏈技術提供漏洞檢測與審計,屬於Web3安全領域項目。
LISA
|
AI 代理、安全解決方案、安全審計
| -- | LISA智能合約分析 |
248
|
68
|
Sherlock 透過內部安全分析和平台級覆蓋保護 DeFi 用戶免受協議駭客攻擊,是第一個為審計客戶提供高達 1000 萬美元保障的智能合約審計保險服務商。
Sherlock
|
安全解決方案、安全審計
| -- | 由智能合約保險支援的審計服務 |
409
|
68
|
Runtime Verification 使用形式化方法對公鏈上的虛擬機器和智慧合約進行安全審計,它還提供軟體測試、驗證服務和產品,以提高區塊鏈領域軟體系統的安全性、可靠性和正確性。
Runtime Vеrification
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
155
|
60
|
Beosin(原成都鏈安)是一家區塊鏈安全服務供應商,涵蓋智慧合約稽核、被盜加密貨幣找回、風險監控和警報。
Beosin
|
安全解決方案、安全審計
| -- | 區塊鏈安全服務提供商 |
149
|
51
|
MoveBit是一家專注於Move生態安全的區塊鏈安全公司,其願景是讓 Move 生態系統成為最安全的 Web3 目的地。
MoveBit
|
安全解決方案、安全審計
| -- | Move 生態系統的安全審計公司 |
135
|
50
|
Zksecurity 是一款針對零知識應用程式的安全審計解決方案,其目標是確保應用程式向零知識世界的過渡時出現的問題最少。 Zksecurity 生產工具、最佳實踐並審核零知識系統和應用程式。
Zksecurity
|
安全解決方案、安全審計
| -- | zk 安全審計解決方案 |
199
|
49
|
Hexens 是一家網路安全供應商,主要專注於區塊鏈和新技術。
Hexens
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
156
|
48
|
Zellic 是一家區塊鏈安全審計和諮詢公司。 Zellic 由一群擁有十多年行業經驗的區塊鏈專家團隊於 2020 年創立。
Zellic
|
安全解決方案、安全審計
| -- | 區塊鏈安全審計與諮詢公司 |
377
|
48
|
0x0 是一款一體化隱私中心和 AI 智慧合約審計平台,100% 的實用收入分配給 ETH 的代幣持有者,創建被動收入流。該平台包括人工智慧驅動的智慧合約審計器和隱私混幣器。此外,0x0 正在開發隱私 DEX,這是一個用於編寫自訂智慧合約的一體化中心,以及一個可以檢測和預先運行可疑交易以防止成為騙局受害者的 AI 機器人。
0x0
|
安全解決方案、安全審計、隱私
| | AI 智慧合約審計平台 |
53
|
46
|
Code4rena是web3安全審計聯盟。安全審計競賽不同於傳統的審計和bug獎勵,它為參與者提供了更廣泛的協議覆蓋範圍和有保障的支付。它的模型涉及三個主要參與者: 管理員透過審核代碼保護DeFi生態系統免受威脅;贊助商創建獎池,以吸引管理員審核他們的項目;評審決定調查結果的嚴重性、有效性和質量,並對管理員的表現進行評分。
Code4rena
|
Bug賞金、安全解決方案、安全審計
| -- | Web3 安全審計聯盟 |
464
|
46
|
CertiK是一家成立於2018年的區塊鏈安全公司。該公司利用正式化驗證和AI技術合作提供端到端區塊鏈安全審計服務。此外,該公司還開發了“CertiK Chain”,這是一個專注於安全的區塊鏈,旨在增強智能合約的安全性。
CertiK
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
737
|
45
|
Veridise 是一家區塊鏈安全公司,為區塊鏈生態系統的所有層級提供審計和軟體分析工具,包括智慧合約、web3 應用程式、零知識電路和區塊鏈實施。 Veridise 提供了一個全面且用戶友好的工具鏈,用於自動審計智能合約的安全性和正確性。
Veridise
|
安全解決方案、安全審計
| -- | 使用形式化方法加強區塊鏈安全性 |
282
|
43
|
BlockSec是一家區塊鏈安全公司,提供數位資產代碼安全審計、攻擊防範、反洗錢服務,以及一站式開發者工具包,致力於建立區塊鏈安全基礎設施。 BlockSec的產品包括開發者工具包Phalcon、區塊鏈瀏覽器增強插件MetaDock、資金流向視覺化工具MetaSleuth。
BlockSec
|
合規解決方案、鏈上合規解決方案、安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
323
|
42
|
TestMachine 是一個人工智慧驅動的區塊鏈安全平台,分析合約並找出潛在的安全漏洞。透過識別和分析重複出現的程式碼結構和模式,TestMachine 確保合約對於已知的漏洞和威脅具有穩健性。
Testmachine
|
安全解決方案、安全審計
| -- | 人工智慧驅動的區塊鏈安全平台 |
192
|
41
|
MetaTrust 是面向 Web3 應用程式的自動化安全掃描解決方案,它將多個最先進的安全掃描引擎以前所未有的速度和準確性組合到一個平台中,保護智慧合約層以外的應用程式的各個方面。
MetaTrust
|
安全解決方案、安全審計
| -- | 面向 Web3 應用程式的自動化安全掃描解決方案 |
111
|
41
|
OKLink是一家區塊鏈技術與資料服務商,擁有業界領先的視覺化區塊鏈資料處理分析工具,整合大數據、人工智慧等先進技術,對複雜多樣的區塊鏈資料進行分析處理。公司提供六大產品和服務,包括區塊鏈瀏覽器、鏈上數據分析、合規穩定幣USDK、鏈上錢包、數位資產託管、區塊鏈學院。
OKLink
|
工具、數據&分析、鏈上數據、區塊鏈瀏覽器、安全審計
| -- | 區塊鏈資訊和數據服務提供商 |
111
|
41
|
ScaleBit是一個安全審計團隊,專門從事ZKP、Layer 2和跨鏈應用程式的審計。
ScaleBit
|
安全解決方案、安全審計
| -- | Web3 的安全解決方案 |
78
|
40
|
sec3 是一家 Web3 安全研究公司,透過為 Web3 專案建立基於技術的解決方案來確保協議在擴展時保持安全,從而為數百萬用戶準備 web3 協定。
sec3
|
安全解決方案、安全審計
| -- | Web3 安全研究公司 |
327
|
40
|
CredShields 是一家專門從事 Web3 安全的網路安全公司,正在建立 SolidityScan.com,這是一個基於雲端的智慧合約安全掃描器,只需單擊按鈕即可提供審計報告。
CredShields
|
安全解決方案、安全審計
| -- | 智慧合約安全掃描器 |
66
|
39
|
Solidified 是服務時間最長的智慧合約安全公司之一,已經保護了 Loopring、Kyber、Argent、Gnosis、Nexus Mutual、Polymath、Hermez、Aztec 等流行的 DeFi 專案。其服務涵蓋產品生命週期的所有階段,從最初想法的安全屬性諮詢、白皮書審查、代幣經濟學建議、程式碼審查、測試、模糊測試,一直到發布管理和營運安全。
Solidified
|
安全解決方案、安全審計
| -- | 智能合約安全公司 |
|
39
|
Adevar Labs 是一家安全審計公司,為 Solana 最雄心勃勃的專案提供誠實的安全評估。
Adevar Labs
|
安全解決方案、安全審計
| -- | 安全審計公司 |
92
|
38
|
SolidProof 是一家區塊鏈安全審計公司,可以使用手動和自動測試來發現區塊鏈專案中的漏洞。
SolidProof
|
安全解決方案、安全審計
| -- | 區塊鏈安全審計公司 |
27
|
38
|
Sooho.io 是一個智慧合約審計平台,透過其專有軟體 Odin為一些韓國頂級技術公司的 IT 部門提供審計。 Sooho.io 還建立了一個聚合槓桿農業產品的協議,旨在集中DeFi 協議的「碎片化格局」。
Sooho.io
|
安全解決方案、安全審計
| -- | 智慧合約審計平台 |
13
|
38
|
ExVul是一家由全球顶级安全专家组成的领先的Web3安全公司,服务范围涵盖智能合约审计、区块链协议审计、钱包审计、Web3渗透测试、安全咨询与规划。致力于提升Web3生态整体安全性,始终站在Web3安全研究前沿领域。
ExVul Security
|
安全解決方案、安全審計
| -- | |
112
|
37
|
QuillAudits 是一家的智慧合約安全公司,已對 20 多個區塊鏈進行了 1,000 多次審計,包括以太坊、BSC 和 Solana 等 L1/L2,可提供嚴格的客製化安全評估,旨在確保 Web3 專案保持安全可靠。
QuillAudits
|
安全解決方案、安全審計
| -- | 智能合約安全公司 |
139
|
37
|
BlockApex 是一家 web3 安全公司,提供生態系統、區塊鏈安全和網路安全服務以及代幣經濟學和金融方面的專業知識。鏈上專業知識包括區塊鏈品質保證、智慧合約審計和代幣經濟學/金融模型優化。鏈下元素包括 DApp 滲透測試、雲端安全和監控以及進階對手模擬。
BlockApex
|
安全解決方案、安全審計
| -- | Web3 安全公司 |
|
37
|
Oak Security 是一家 Web3 網路安全諮詢公司,為多個區塊鏈提供安全審計服務,特別關注第三代區塊鏈和協議,例如 Cosmos、Terra、Polkadot 和 Flow 生態系統。
Oak Security
|
安全解決方案、安全審計
| -- | Web3網路安全公司 |
|
36
|
Supremacy是一家Web3.0安全公司,於2022年7月在中國大陸成立。團隊成員分佈在南京、長沙和溫哥華,由多位來自國內外的頂尖安全研究人員組成。 Supremacy在漏洞分析、滲透測試、網路攻防等方面擁有數十年的經驗和顯著成就,提供Cruise、VyperPunk等獨立產品品牌。 Supremacy專注於Web3.0生態的全生命週期安全,為所有Web3.0使用者提供安全解決方案。
Supremacy
|
安全解決方案、安全審計
| -- | Web3.0 安全公司 |
68
|
36
|
Arbitrary Execution 是一家區塊鏈安全公司,利用其安全專業知識、策略、技術和駭客思維來幫助保護加密生態系統。它透過創建智慧合約程式碼來幫助加密社群阻止這些駭客攻擊的發生,從而滿足區塊鏈和去中心化技術的安全需求。
Arbitrary Execution
|
安全解決方案、安全審計
| -- | 區塊鏈安全公司 |
|
36
|
Three Sigma 是一家工程、研究和投資公司,致力於透過與該領域的建構者密切合作來改進 Web3。其使命是推動區塊鏈技術的採用,並為加密/web3 空間的健康發展做出貢獻。
Three Sigma
|
安全解決方案、安全審計
| -- | 加密工程、研究和投資公司 |
95
|
36
|