 LISA is an LLM-powered security analyzer for Solidity smart contracts, utilizing blockchain technology to detect vulnerabilities and provide audits, operating as a Web3 security project.
LISA
|
AI Agent、Security Solutions、Security Audit
| -- | Smart Contract Analyzer | 
101
| 
378
|
 TestMachine is an AI-powered blockchain security company that analyzes the contract and pinpoints potential security vulnerabilities. By identifying and analyzing recurring code structures and patterns, it ensures the contracts are robust to known exploits and threats.
Testmachine
|
Security Solutions、Security Audit
| -- | AI-powered Blockchain Security |
106
|
176
|
 MoveBit is a blockchain security company focused on securing the Move ecosystem, with the vision of making it the most secure Web3 destination.
MoveBit
|
Security Solutions、Security Audit
| -- | Security audit company for the Move ecosystem |
147
|
79
|
 Zokyo is a venture studio that builds, secures, and funds legendary web3/crypto businesses. It provides offensive security services such as security auditing, penetration testing (network, mobile, app), data leak discovery, social engineering, and VAPT testing, to protect companies from hackers. Zokyo's DeFi studio acts as a full-stack partner to chosen companies, offering resources to build, secure, deploy, and grow long-term, sustainable projects, as well as connecting them to investors and traditional trading firms worldwide.
Zokyo
|
Security Solutions、Security Audit
| -- | Web3-centered cybersecurity company |
204
|
62
|
 0x0 is an All-in-One Privacy Hub and AI Smart Contract Auditor with 100% of Utility Income distributed to coin holders in ETH, creating a Passive Income stream.The platform includes an AI-powered smart contract auditor and a privacy mixer. Additionally, 0x0 is working on a privacy DEX, an all-in-one hub for writing custom smart contracts and an AI bot that can detect and front-run suspicious transactions to prevent becoming the victim of a scam.
0x0
|
Security Solutions、Security Audit、Privacy
| | AI Smart Contract Auditor Platform |
168
|
51
|
 Cyberscope is a Smart contract audit and KYC services firm, having audited more than 1200+ blockchain projects and NFTs and KYC’d more than 500 teams so far.
Cyberscope
|
Security Solutions、Security Audit
| -- | Smart contract audit and KYC services firm |
59
|
47
|
 Beosin is a blockchain security services provider that provides services such as smart contract auditing, stolen crypto recovery, risk monitoring, and alerting.
Beosin
|
Security Solutions、Security Audit
| -- | Blockchain security services provider |
245
|
47
|
 OKLink is a blockchain technology and data service provider that holds industry-leading visual blockchain data processing and analysis tools. It integrates big data, AI, and other advanced technologies to analyze and process complex and diverse blockchain data. The company provides six products and services, including a blockchain explorer, on-chain data analysis, the compliance stablecoin USDK, an on-chain wallet, digital asset custody, and a blockchain academy.
OKLink
|
Tools、Data & Analysis、On-Chain Data、Blockchain explorer、Security Audit
| -- | Blockchain information and data services provider |
288
|
46
|
 ZippelLabs is a security R&D team focusing on cryptography. It provides secure solutions to modern cryptography challenges, conducts security audits for zero-knowledge protocols, cryptographic algorithms, smart contracts, etc., and helps projects discover vulnerabilities and strengthen their code before deployment.
ZippelLabs
|
Security Audit
| | Security R&D team |
24
|
45
|
 MetaTrust is an automatic security scanning solution for Web3 Applications. It combines multiple state-of-the-art security scanning engines into one single platform, providing unprecedented speed and accuracy. It secures every aspect of your application, beyond the smart contract layer.
MetaTrust
|
Security Solutions、Security Audit
| -- | Automatic security scanning solution for Web3 Applications |
120
|
42
|
 Sherlock is a smart contract auditing platform that provides up to $10M of coverage per audit.
Sherlock
|
Security Solutions、Security Audit
| -- | Audits backed by smart contract coverage |
587
|
42
|
 BlockSec is a blockchain security company that provides code security audits, attack prevention, anti-money laundering services for digital assets, and a one-stop developer toolkit. They are dedicated to building blockchain security infrastructure, and their products—the developer toolkit Phalcon, the blockchain browser enhancement plugin MetaDock, and the capital flow visualisation tool MetaSleuth—are widely used in the community.
BlockSec
|
Security Solutions、Security Audit
| -- | Blockchain security company |
528
|
42
|
 CertiK, a blockchain security company founded in 2018, utilizes formal verification and AI technology in collaboration for its end-to-end blockchain security audit services. It mathematically validates the safety of smart contracts through a combination of formal and manual verification. Additionally, the company has developed "CertiK Chain", a security-focused blockchain designed to enhance the security of smart contracts.
CertiK
|
Security Solutions、Security Audit
| -- | Blockchain security company |
1K
|
42
|
 ScaleBit is a security auditing team specializing in audits for ZKP, Layer 2, and Cross-chain applications.
ScaleBit
|
Security Solutions、Security Audit
| -- | Security Solutions of Web3 |
81
|
41
|
 ChainLight is a crypto security auditing company that uses advanced technology and tools to uncover complex security vulnerabilities in smart contracts.
ChainLight
|
Security Solutions、Security Audit
| -- | Web3 security auditing company |
209
|
38
|
 SECBIT Labs is a first-class organization in China that provides security audit services, including Solidity smart contracts, formal verification, and inspection of codes related to Zero-Knowledge Proofs (ZKP) and other cryptographic algorithms.
SECBIT Labs
|
Security Solutions、Security Audit
| -- | Smart contract security company |
68
|
38
|
 Secure3 is a collaborative Web3 security auditing ecosystem providing trustworthy security auditing for projects, a competitive incentive model for auditors, and a verifiable auditing track record for the community.
Secure3
|
Security Solutions、Security Audit
| -- | Collaborative Web3 security auditing ecosystem |
127
|
37
|
 Sayfer is a web3 cybersecurity consulting firm specializing in tailored cybersecurity solutions for businesses. Sayfer’s researchers and business threat analysts approach cybersecurity with a hacker mindset. This strategy allows Sayfer to prioritize and provide solutions to the most critical areas at risk and address vulnerabilities that traditional security products may overlook.
Sayfer
|
Security Solutions、Security Audit
| -- | Web3 cybersecurity consulting firm |
29
|
36
|
 Veridise is a blockchain security company that provides audits and software analysis tools for all layers of the blockchain ecosystem, including smart contracts, web3 applications, zero-knowledge circuits, and blockchain implementations. Co-founded by a team of formal verification and software security researchers, Veridise offers state-of-the-art tooling for hardening blockchain security. It also provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness.
Veridise
|
Security Solutions、Security Audit
| -- | Hardening blockchain security with formal methods |
225
|
35
|
 MixBytes is a blockchain solution advisory company that provides a comprehensive suite of services for smart contract development, testing, security audits, and protocol development.
MixBytes
|
Technology Solutions、Security Solutions、Security Audit
| -- | Blockchain solution advisory company |
161
|
35
|
 Runtime Verification uses formal methods to perform security audits on virtual machines and smart contracts on public blockchains. It also provides software testing, verification services, and products to improve the safety, reliability, and correctness of software systems in the blockchain space.
Runtime Vеrification
|
Security Solutions、Security Audit
| -- | Blockchain security company |
418
|
34
|
 CredShields is building SolidityScan.com, a cloud-based smart contract security scanner that provides audit reports with a click of a button.
CredShields
|
Security Solutions、Security Audit
| -- | Cybersecurity firm specializing in Web3 security |
60
|
33
|
 SolidProof is a blockchain security auditing company.
SolidProof
|
Security Solutions、Security Audit
| -- | Blockchain security auditing firm |
179
|
33
|
 Hacken is a Web3 cybersecurity auditor with a vision of transforming the Web3 space into a more ethical environment. It provides Web3 projects and their communities with a suite of cybersecurity services, such as Smart Contract Audit, L1 Blockchain Protocol Audit, dApp Audit, Pentest, and a Bug Bounty Program running on HackenProof, the #1 bug bounty platform.
Hacken
|
Security Solutions、Security Audit
| -- | Web3 cybersecurity auditor |
583
|
33
|
 Sooho.io is a smart contract auditing platform that provides audits to the IT departments of some of South Korea's top technology companies. It has also developed a protocol for aggregating leveraged agricultural products, aiming to centralize the "fragmented landscape" of DeFi protocols.
Sooho.io
|
Security Solutions、Security Audit
| -- | Smart Contract Auditing Platform |
40
|
33
|
 Consensys Diligence is a comprehensive smart contract audit service that helps everyone from startups to enterprises launch and maintain their Ethereum blockchain applications.
Consensys Diligence
|
Security Solutions、Security Audit
| -- | Comprehensive smart contract audit service from ConsenSys |
311
|
33
|
 CD Security is a blockchain security company that mainly reviews smart contracts and blockchain projects.
CD Security
|
Security Solutions、Security Audit
| -- | Blockchain security company |
32
|
32
|
 Burra Sec offers security auditing and advisory services with a special focus on cross-chain and interoperability protocols and their integrations.
BurraSec
|
Security Solutions、Security Audit
| -- | Security auditing and advisory services |
28
|
32
|
 Valix Consulting is a Smart Contract Audit Firm that offering a wide range of cybersecurity consulting services.
Valix Consulting
|
Security Solutions、Security Audit
| -- | Smart Contract Audit Firm |
24
|
32
|
 OXORIO is a blockchain security firm that specializes in smart contracts, zk-SNARK solutions, and security consulting. Since 2021, it has conducted key security audits for notable DeFi projects like Lido, 1Inch, Rarible, and deBridge, prioritizing excellence and long-term client relationships.
OXORIO
|
Security Solutions、Security Audit
| -- | Smart Contract Audits |
55
|
32
|
