 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 |
| 
89
|
 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 |
|
38
|
 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 |
|
38
|
 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 |
|
29
|
 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 |
|
28
|
 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 |
|
28
|
 CD Security is a blockchain security company that mainly reviews smart contracts and blockchain projects.
CD Security
|
Security Solutions、Security Audit
| -- | Blockchain security company |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 TonBit is an early builder and security expert in TON, The platform offers smart contract audit service.
TonBit
|
Security Solutions、Security Audit
| | Security Expert in TON |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 Neodyme is a product safety-focused company that solves challenges through innovative thinking and has won awards in several international CTF competitions. Neodyme offers services such as blockchain audits, penetration testing, and security training.
Neodyme
|
Security Solutions、Security Audit
| -- | Web3 security solutions provider |
|
28
|
 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 |
|
28
|
 CodeHawks is a smart contract audit marketplace powered by Cyfrin. CodeHawks works to protect DeFi, Protocols, their users and funds from smart contract exploits with security reviews through a streamlined process of Deep and Competitive Audits performed by top world auditors and our community.
CodeHawks
|
Security Solutions、Security Audit
| -- | Smart contract audit marketplace |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 DeFimoon is a blockchain development and security company focused on providing comprehensive security audits for blockchain-based systems.
DeFimoon
|
Security Solutions、Security Audit
| -- | Blockchain development and security company |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 Inspex is a Cybersecurity professional service, Founded in 2021, Inspex is formed by a team of cybersecurity experts highly experienced in various fields of cybersecurity. Inspex provide blockchain and smart contract professional services and solutions at the highest quality to enhance the security of the wide-range blockchain ecosystem.
Inspex
|
Security Solutions、Security Audit
| -- | Cybersecurity professional service |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
 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 |
|
28
|
