certik.com
CertiK provides smart contract auditing, blockchain security reviews, or Web3 risk assessment.
Directory
Search results
Published directory entries matching your search.
cyfrin.io
Cyfrin is a blockchain security firm helping protocols and institutions reduce risk through smart contract audits, formal verification, penetration testing, incident response, and security and risk advisory. It also provides security research and enterprise education and certifications.
hacken.io
Hacken provides smart contract auditing, blockchain security reviews, or Web3 risk assessment.
softstack.io
Softstack is a Germany-based Web3 service partner offering smart contract audits, software development and consulting. Its services include smart contract auditing, penetration testing, dApp development and Web3 regulations consulting. The company presents itself as a service partner for software development, cybersecurity and consulting in Web3.
github.com
VSCode Solidity Auditor provides smart contract auditing, blockchain security reviews, or Web3 risk assessment.
hexens.io
Hexens is a blockchain security firm offering smart contract audits and offensive security services. It also provides Glider Monitoring, a continuous monitoring and alerting service for smart contracts and on-chain addresses. hexens.io and the Glider products and services are offered by Hexens Cyber Security Ltd., a company incorporated in the British Virgin Islands.
quantstamp.com
Quantstamp is a blockchain security company that works on smart contracts, L1s and web infrastructure. It describes itself as a global leader in blockchain security and says it has worked with web3 projects.
github.com
Echidna is a developer security tool for smart contracts, testing, monitoring, or audits.
erc20-verifier.openzeppelin.com
ERC-20 Verifier is a developer security tool for smart contracts, testing, monitoring, or audits.
ethernaut.openzeppelin.com
Ethernaut is a developer security tool for smart contracts, testing, monitoring, or audits.
mangrove.exchange
Mangrove is an on-chain order book DEX that allows liquidity providers to post arbitrary smart contracts as offers. It lets users run trading strategies without locking funds, and it is described as an open-source protocol audited by security firms. A Kandel AMM is presented as Mangrove's first AMM.
github.com
Manticore is a developer security tool for smart contracts, testing, monitoring, or audits.
github.com
OpenZeppelin is a developer security tool for smart contracts, testing, monitoring, or audits.
docs.openzeppelin.com
OpenZeppelin Defender is a developer security tool for smart contracts, testing, monitoring, or audits.
github.com
Scribble is a developer security tool for smart contracts, testing, monitoring, or audits.
sigmaprime.io
Sigma Prime performs blockchain security audits and research, auditing offchain code, ZK systems, blockchain infrastructure, and smart contracts. It also offers an embedded security engineer role, security training, and blockchain infrastructure operations, and publishes audit case studies.
statemind.io
Statemind is a blockchain security firm offering smart contract audits and security work, with stated expertise in Solidity and Vyper. Its audit process is described in five steps, from project review and code checks through interim reports and final verification.
threesigma.xyz
Three Sigma provides blockchain security and DeFi audits, along with economic modeling and risk services. Its audit offerings cover smart contracts, dApps, bridges and protocols, and it also offers tokenomics audits and mechanism design reviews.