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 |
229
|
55
|
Quantstamp is a smart contract auditing company in the blockchain sector that aims to facilitate the mainstream adoption of blockchain technology through security and risk assessment services. Its services include securing Layer 1 blockchains such as Ethereum 2.0 and Solana, securing smart contract-powered NFT and DeFi applications such as Maker and OpenSea, and developing financial primitives for Layer 1 blockchain ecosystems.
Quantstamp
|
Security Solutions、Security Audit
| -- | Blockchain security company |
226
|
53
|
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 |
|
51
|
QuillAudits is a smart contract security firm that has conducted more than 1,000 audits of more than 20 blockchains to date, including L1/L2 such as Ethereum, BSC and Solana, providing rigorous customized security assessments designed to ensure Web3 projects remain secure and reliable.
QuillAudits
|
Security Solutions、Security Audit
| -- | Smart Contract Security Firm |
117
|
50
|
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 |
192
|
46
|
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 |
134
|
46
|
Statemind Statemind is a blockchain security audit firm that provides audit and consulting services to clients in the blockchain industry.
Statemind
|
Security Solutions、Security Audit
| -- | Blockchain Security Company |
70
|
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
|
44
|
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 |
744
|
44
|
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
|
44
|
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 |
179
|
43
|
Audit Wizard is a smart contracts secure solution with scan for vulnerabilities with one click, harness AI insights, intuitively craft unit tests, and more.
Audit Wizard
|
Security Solutions、Security Audit
| -- | Smart Contracts Secure Solution |
|
41
|
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 |
86
|
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 |
|
40
|
Zellic is a blockchain security audit and consulting company, founded in 2020 by a team of blockchain specialists with over a decade of combined industry experience.
Zellic
|
Security Solutions、Security Audit
| -- | Blockchain security audits and consulting company |
349
|
40
|
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 |
51
|
39
|
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 |
51
|
39
|
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 |
49
|
39
|
Lunaray is a blockchain security auditing and consulting company.
Lunaray
|
Security Solutions、Security Audit
| -- | Blockchain security Auditing and Consulting |
|
39
|
Cyfrin is a smart contract auditing firm that provides auditing services, code reviews, and Web3 education.Besides performing contract audits and code reviews, Cyfrin also focuses on Web3 education. The firm has created several videos and other educational material on detecting vulnerabilities, debugging, and more, which can be accessed from their Resources page.
Cyfrin
|
Security Solutions、Security Audit
| -- | Auditing Services Firm |
365
|
38
|
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 |
140
|
37
|
Decurity is a company focused on the security of the web3 applications: smart contracts, layer 1 blockchains, sidechains, dApps, etc. Decurity do security audits, continuous security advisory, and security monitoring.
Decurity
|
Security Solutions、Security Audit
| -- | Decentralized Finance Security |
|
37
|
Oak Security is a cyber security consulting firm that offers security auditing services for a number of blockchains, with a special focus on third-generation blockchains and protocols, such as the Cosmos, Terra, Polkadot and Flow ecosystems.
Oak Security
|
Security Solutions、Security Audit
| -- | Web3 cyber security consulting firm |
|
37
|
Zksecurity is a security audits soluton for zero-knowledge applications. Its goal is to ensure that the transition to a zero-knowledge world comes with minimal issues. Zksecurity produce tooling, best practices, and audit zero-knowledge systems and applications.
Zksecurity
|
Security Solutions、Security Audit
| -- | Security audits for zero-knowledge applications |
196
|
37
|
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 |
66
|
36
|
SolidProof is a blockchain security auditing company.
SolidProof
|
Security Solutions、Security Audit
| -- | Blockchain security auditing 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 |
281
|
36
|
Techrate is a smart contract auditing firm focused on DeFi projects.
TechRate
|
Security Solutions、Security Audit
| -- | Smart contract audit firm |
|
36
|
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 |
373
|
36
|
BlockApex is a web3 security company providing the blockchain ecosystem with high quality security and cybersecurity services, as well as expertise in tokenomics and finance, all with a unified focus on achieving the highest level of security. On-chain expertise includes blockchain quality assurance, smart contract auditing, and tokenomics/financial model optimization. Off-chain elements include DApp Penetration Testing, Cloud Security & Monitoring, and Advanced Adversary Simulations.
BlockApex
|
Security Solutions、Security Audit
| -- | Proactive Risk & Threat Mapping layer |
|
36
|