SmartDec has been solving complex IT problems since 2009. They are specialists in a wide range of areas, including security audits, static analysis tools, decompilation and technical consulting. Their team member have more than 15 years of experience in decompilation and security analysis and hold PhDs in these areas. In the area of blockchain they provide security audits for smart contracts, DApps (front-end, back-end, and interactions between them), custom blockchains, 2nd layer scaling solutions and crypto wallets.

Solidified is a community driven auditing service, with 200+ Solidity members on board, where you can set up a bug bounty for your smart contract and have multiple independent auditors work on your audit.

Somish has a proven track record of delivering smart contract audits with a check for 125+ vulnerabilities within 48 hours. They provide audits for Ethereum, EOS, TRON, Hyperledger and IOST with an extensive report on critical, major, minor bugs and recommendations. They also dabble in Smart Contract Development and have delivered 21+ projects on Ethereum main-net since 2017.

Trail of Bits digs deeper into the construction of smart contracts than any other team because they have invested in building the best available tools - many of which are open source — for assessing the security of smart contracts, the security implications of the Solidity language, and the Ethereum Virtual Machine (EVM). This suite of tools represents their decades of experience in information security, an asset they constantly enrich as chair of the Enterprise Ethereum Alliance Security Task Force, and apply to help keep the community informed about the latest developments in Ethereum security. Contact their consulting practice for unmatched expertise and support with your smart contracts.

Trustless Design uses a suite of interior tools to test many vectors of vulnerabilities found in Smart Contracts.

ZK Labs provide both development and auditing services for smart contracts and projects built on the Ethereum blockchain. They recently launched a Community Audits Initiative offering to sponsor audits for select projects that have not done an ICO and don’t have plans to do one.

Zeppelin are one of the creators of key standards and infrastructures for developing and operating smart contract systems, and they’re best known for their ZeppelinOS and the OpenZeppelin framework. They also provide smart contract security audits.

We invest, build, and secure crypto asset businesses. We audit smart contracts and protocols on all major protocols.