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 |
248
|
69
|
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 |
155
|
63
|
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 |
409
|
55
|
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 |
111
|
53
|
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 |
111
|
50
|
Hexens is a cybersecurity provider with a focus on blockchain and new technologies.
Hexens
|
Security Solutions、Security Audit
| -- | Blockchain security company |
156
|
49
|
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 |
149
|
47
|
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 |
199
|
46
|
SolidProof is a blockchain security auditing company.
SolidProof
|
Security Solutions、Security Audit
| -- | Blockchain security auditing firm |
27
|
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 |
135
|
46
|
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
|
43
|
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 |
377
|
43
|
BlockSec delivers a full-suite Web3 security and compliance solution, spanning smart contract auditing, a real-time monitoring and threat-blocking platform, as well as crypto AML and forensic investigation platforms.
Through Phalcon Compliance, customers can screen wallets and transactions for compliance risks, monitor suspicious activities in real time, and automate risk controls to meet regulatory and internal policy requirements. MetaSleuth enables fund-flow analysis to trace illicit proceeds and support investigations. Our 500+ customers include crypto exchanges, wallets, OTC desks, and financial institutions, along with regulators and law enforcement across 50+ jurisdictions.
BlockSec
|
Compliance Solutions、On-Chain Compliance Solutions、Security Solutions、Security Audit
| -- | Blockchain Security & Compliance Company |
323
|
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 |
47
|
39
|
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
|
39
|
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 |
737
|
38
|
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
|
37
|
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
|
37
|
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 |
19
|
37
|
Three Sigma is a Web3 security auditing company that protects smart contracts, optimizes token economics, and prevents vulnerabilities so that projects can be securely scalable.
Three Sigma
|
Security Solutions、Security Audit
| -- | Web3 security auditing company |
95
|
37
|
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 |
139
|
36
|
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 |
68
|
36
|
Sec3 is a security research firm that prepares Web3 protocols for millions of users. We build technology-based solutions for Web3 projects to ensure that protocols remain secure as they scale.
sec3
|
Security Solutions、Security Audit
| -- | Web3 Security research firm |
327
|
36
|
VulSight is a Web3 security company that provides comprehensive Web3 security auditing and penetration testing services.
VulSight
|
Security Solutions、Security Audit
| -- | Web3 security company |
|
35
|
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 |
73
|
35
|
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 |
|
35
|
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 |
66
|
35
|
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 |
|
35
|
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 |
78
|
35
|
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 |
115
|
35
|