 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 | 
189
| 
58
|
 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 |
51
|
57
|
 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 |
53
|
53
|
 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 |
175
|
52
|
 Hashlock is Australia's leading independent blockchain cybersecurity and smart contract auditing firm. They are a highly specialised Blockchain Cybersecurity firm coming from manual analysis, community auditing backgrounds and differentiate by the quantity of findings and being maintaining a high level of collaboration with clients, both in Australia and globally.
Hashlock
|
Security Solutions、Security Audit
| -- | Smart contract auditing firm |
|
49
|
 Adevar Labs is a security auditing company that provides honest security assessments for Solana’s most ambitious projects.
Adevar Labs
|
Security Solutions、Security Audit
| -- | Security auditing company |
92
|
48
|
 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 |
95
|
48
|
 SolidProof is a blockchain security auditing company.
SolidProof
|
Security Solutions、Security Audit
| -- | Blockchain security auditing firm |
28
|
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 |
115
|
47
|
 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 |
67
|
46
|
 Aegis AI is a platform using artificial intelligence to audit smart contracts. It provides real-time analysis to detect vulnerabilities and malicious code.
AEGIS AI
|
Tools、AI、Security Audit
| -- | Artificial Intelligence to Audit Platforms |
|
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 |
113
|
45
|
 Risk DAO is a service DAO spearheaded by B.Protocol and 1kx that focuses on providing a new, open source risk assessment framework and associated audits to DeFi lending and borrowing protocols, as well as Layer 1 networks.
Risk DAO
|
DAO、Security Solutions、Security Audit
| -- | Research & Risk analysis for DeFi lending protocols |
222
|
45
|
 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 |
|
45
|
 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 |
742
|
44
|
 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 |
74
|
43
|
 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 |
147
|
43
|
 ExVul is a Web3 security company offering services including smart contract auditing, blockchain protocol auditing, wallet auditing, Web3 penetration testing, and security consulting and planning. ExVul is committed to improving the overall security of the Web3 ecosystem and remains at the forefront of Web3 security research.
ExVul Security
|
Security Solutions、Security Audit
| -- | Web3 security company |
113
|
42
|
 Solidified is one of the longest-serving smart contract security companies, having secured popular DeFi projects like Loopring, Kyber, Argent, Gnosis, Nexus Mutual, Polymath, Hermez, Aztec, and many others. Its in-depth, holistic, and comprehensive services cover all stages of your product lifecycle, from consulting on the security properties of the initial idea, over whitepaper reviews, advice on tokenomics, code reviews, testing, fuzzing, up to release management and operational security.
Solidified
|
Security Solutions、Security Audit
| -- | Smart contract security firm |
|
42
|
 Supremacy is a blockchain security company founded in 2022 by two hackers with no capital backing, comprised of industry hackers and academic researchers dedicated to providing security solutions through their technical know-how and innovative research.
Supremacy
|
Security Solutions、Security Audit
| -- | Web3.0 security company |
69
|
42
|
 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 |
131
|
42
|
 Bevor is a platform focused on contract security, aiming to provide comprehensive security solutions for blockchain and smart contracts.
BevorAI
|
Tools、Security Audit
| -- | AI smart contract audit agent |
|
41
|
 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 |
|
41
|
 Arbitrary Execution develops a security system to secure the crypto ecosystem. It meets the need for security of blockchain and decentralized technologies by creating smart contract codes to help the crypto community prevent these hacks from occurring.
Arbitrary Execution
|
Security Solutions、Security Audit
| -- | Blockchain security company |
|
41
|
 Lunaray is a blockchain security auditing and consulting company.
Lunaray
|
Security Solutions、Security Audit
| -- | Blockchain security Auditing and Consulting |
|
41
|
 OtterSec is a blockchain cybersecurity firm focused on identifying and remediating critical vulnerabilities. Teams like Cetus, Aftermath, LayerZero and over 100 others have trusted OtterSec with protecting more than $5B in TVL.
OtterSec
|
Security Solutions、Security Audit
| -- | Web3 Audit Firms |
295
|
40
|
 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 |
282
|
40
|
 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 |
13
|
40
|
 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 |
225
|
40
|
 VulSight is a Web3 security company that provides comprehensive Web3 security auditing and penetration testing services.
VulSight
|
Security Solutions、Security Audit
| -- | Web3 security company |
|
39
|
