Inspex is formed by a team of cybersecurity experts highly experienced in various fields of cybersecurity. We provide blockchain and smart contract professional services at the highest quality to enhance the security of our clients and the overall blockchain ecosystem.

InterFi provides an extensive smart contract audit (25 pages+ thorough static, manual, and automated AI analysis). They are a blockchain security company from Calgary, Canada.

Perform a comprehensive smart contract audit with a team of experienced security professionals to identify security flaws and functional issues in your smart contracts. Our audit report will give detailed descriptions of our findings and how to fix any issues, and can be used for listing on exchanges. 

John Wick Security focuses on the blockchain ecosystem and provides services including deep penetration testing, smart contract auditing, overall security solutions, third party monitoring and early warning, and threat intelligence. 

LianAn Tech's VaaS smart contract verification tool is now online and free for trial. Chengdu LianAn Tech is the first company in China that applies formal verification to blockchain security by developing the VaaS platform – a verification tool for smart contract. Using formal verification methods, the VaaS platform achieves an accuracy rate of 95%, with over 500 smart contracts verified globally. LianAn’s team has applied formal verification in various fields including aviation and military technology, now LianAn has brought their experience to benefit blockchain. 

MixBytes is a team of blockchain talent. We run audit of smart contracts, checking for vulnerabilities, logical errors, requirement compliance, and unit-tests. Our experience in the field of software security, in particular, the ICO and other dApps, allows our clients to be confident in the security of funds and transactions.

New Alchemy delivers the best in the world of blockchain security. As industry pioneers we constantly work to raise the bar and catch security flaws before they compromise your success.

Numen Cyber Technology is a cybersecurity solution provider based in Singapore that dedicate themselves in Web3 security. They have Web3 security specialists from all over the world that have discovered multiple security flaws, such as vulnerabilities that existed in BTC, ETH, EOS, TRON, Ripple and Augur ecosystem. 

Omniscia.io has collectively secured over $200+ billion worth of digital assets, worked with 220+ clients and detected over 1000+ high-severity issues in our clients’ smart contracts.

Oxorio provides smart contract and ZK audits along with additional security services.

Paladin is a leading smart contract auditing company with an essential focus on decentralized finance protocols.

PeckShield is a blockchain security company which aims to elevate the security, privacy, and usability of entire blockchain ecosystem by offering top-notch, industry-leading services and products. PeckShield publishes trending reports and provides services and products to identify hidden vulnerabilities (e.g., in smart contracts and consensus protocols), expose zero-day exploits, and defend against emerging threats. Auditing and consulting services are also provided for our clientele and partners. 

We're a group of whitehat hackers seasoned by many-year experience and have a deep understanding of the modern Internet technologies. We do a comprehensive security analysis of web and mobile apps, whether they have smart-contract as a backend or have not. Of course, we do smart contracts audit also.

Pessimistic is a team of over a dozen experts providing tailored on-chain security services since 2017. Team contributes to the community by creating and maintaining free security tools, including vulnerability detectors and exploit monitoring.

Quantstamp is a Y Combinator-backed security company developing a new protocol for smart contract security. The company enables blockchains, developers, and users to easily verify the security of smart contracts. Quantstamp envisions a world built on smart contracts by having a team with decades of combined experience in software security, formal verification and static analysis with over 500 Google scholar citations.

QuillAudits is a team of dedicated blockchain security experts committed to creating a secure Web3 ecosystem for their global clientele & partners. They have enabled more than 400 projects to achieve- Secure smart contracts with detailed Audit Reports, Performance improvements, gas fee reductions for projects, Consultation on developing a secure and efficient platform, and formal verification to ensure the smart contract’s performance.

Resonance Security is a full-spectrum cybersecurity provider that specializes in smart contract security for Solidity, Rust, Cadence, and Move, alongside traditional services like penetration testing, threat detection (MDR), operational security, and cloud security.

Runtime Vеrification applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

ScaleBit, a distinguished sub-brand of BitsLab, delivers advanced blockchain security solutions to drive the mass adoption of Web3.

SECBIT Labs, founded by Dr. Yu Guo, is a tech team of blockchain enthusiasts and geeks from multiple countries, whose expertise covers multiple areas including the blockchain architecture, smart contract languages, formal verification, cryptography, compiler and program analysis, game theory and crypto-economics, vulnerability discovery, exploit and defense etc. SECBIT Labs focuses on the security of smart contracts, keeps monitoring and analyzing security issues of smart contracts, provides security audit services, explores the applications of formal methods, in the desire to build a trustworthy, reliable and thriving blockchain economy.

Secure3 is an intelligent audit contest platform to empower a more secure, affordable and accountable Web3 security ecosystem.

Sherlock covers protocols against smart contract hacks directly so users don’t need to worry.

Skeleton Ecosystem is a multi purpose crypto protocol for developers, holders and users. Providing comprehensive smart contract audit service

SlowMist is a cybersecurity technology company focused on blockchain. It is home to many top Chinese cyber security experts. The scope of their business includes security audits, defense deployments, and underground hacker tracking.

With the arrival of Smart Contracts, Application Security has become more important than ever before. Keep your code secure with our manual and automated audits.