Full-stack web3 security services delivered by top-tier ethical hackers with a focus on the real financial impact
We contribute to the Web3 security by creating the tools that help to automate the security audit.
Semgrep Solidity Rules
Semgrep rules that will help you to find the typical vulnerable patterns in the smart contract code.View
Smart diff tool that helps you to understand which code the protocol has been forked from and what exactly has been changed.View
Reverse Engineering tool that helps you to efficiently match the function selectors in the EVM bytecode to the function signatures.View
Apart from the open source tools, we're developing a comprehensive solution for the Web3 security monitoring and vulnerability assessment
Web3 protocol monitoring solution powered by our transaction analysis engine txfilter and our Semgrep SAST rulepack.
Get a Quote
More information about our key product DeFiMon
We create custom-tailored SAST rulepacks to detect vulnerabilities in CI/CD pipelines as well as in the newly deployed contracts with a very low false-positive rate.Get a Quote
DeFiMon includes the component called txfilter — a high perfomance transaction analysis engine written in Rust with its own DSL for describing the rules.Get a Quote
The txfilter's DSL allows to precisely describe custom rules to alert about the project-specific events.Get a Quote
The dashboard contains statistics about the vulnerabilities detected in code as well as the suspicious transactions and other dangerous events. We constantly monitor all the chains to detect new exploitable issues in all the new contracts.Get a Quote