SolidProof專門從事審計智能區塊鏈項目合同和尋找漏洞使用手動和自動化測試。公司的主要服務包括:了解你的客戶什麼驗證,crypto-specific營銷、智能合同審計、工程意識,等等。SolidProof成立於2022年,總部設在石勒蘇益格-荷爾斯泰因州,德國。

CertiK運作作為一個區塊鏈和智能合同審計公司。它提供了一個正式的驗證平台智能生態係統合同和區塊鏈。公司驗證區塊鏈項目“智能合約,以確保他們是安全的部署和使用。它成立於2018年,總部設在紐約,紐約。

Blockhunters專門從事審計解決方案智能合同和區塊鏈。它提供了密碼分析,包括通信編碼、密碼和數據散列。它成立於2018年,總部設在羅茲,波蘭。

Apostro是風險管理和安全平台。它提供了跟蹤、緩解和預防經濟和技術利用聰明的合同。它成立於2022年,位於托托拉島,維爾京群島。

Quantstamp是一個以安全為目的區塊鏈解決方案公司。它為智能開發協議合同確認幫助區塊鏈開發人員對合同執行安全審計。公司成立於2017年,總部設在舊金山,加利福尼亞。

CyVers是一家保安公司,提供密碼攻擊的檢測和預防web3和分散的經濟。它識別模式和異常在blockchains積極的緩解。公司成立於2022年,總部設在Yokne女士Illit,以色列。