CryptoFin Audit works with top teams in Ethereum like RareBits and dYdX, helping launch projects like ICOs, ERC721 collectibles, and more. CryptoFin Audit identifies bugs early, helps with architectural design, and provides a public report for your users and investors.
Fragmented security practices make it difficult for developers (and teams) to create secure dApps on their own. Having code thoroughly examined and tested by a third party professional security auditor is the best assurance against errors, omissions, and abuses.
Over the last two years Blockchain Labs security & audit team have worked with a wide range of token/DApp projects performing security audits, defect analysis, gas optimization, best practice, and architecture advice to ensure robust smart contracts and platforms pre and post-ICO.
CertiK is a blockchain and smart contract verification platform founded by Yale and Columbia University professors and former senior software engineers from Google and Facebook. CertiK aims at using DeepSpec techniques to build certified smart contracts and blockchain ecosystems that are bug-free and hacker-resistant.
Experfy provides comprehensive and standardized audits of smart contracts through rigorous independent reviews. First, the smart contract is verified against our library of known issues that we have seen come up in dozens of reviews. Second, Experfy validate that your contract is performing the logic it was intended to and there are no security issues.
Hosho provides blockchain security services including smart contract auditing and penetration testing. Hosho mission is to ensure clients projects are free of security vulnerabilities that are generally avoidable when the proper security best practices are enforced.
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.
Chengdu LianAn Technology focuses on blockchain security and is headquartered in Chengdu city. VaaS (Verification as a Service) is the first highly-automated smart contract formal verification platform in the world, Providing "civil aviation" and "military" software-level audit services to smart contracts.
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.
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.
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.
Validity Labs is providing independent code reviews for third party smart contracts. Our team of Ethereum developers and architects is ensuring the code complies with specifications, checks against known exploits, supports with toolchain improvements and provides a review report.
Zeppelin can verify that your smart contract system works as intended by performing an audit. Our engineers fully review your system’s architecture and your smart contracts codebase, then write a thorough report with actionable feedback for every issue found.