Security audits that go beyond smart contracts
We have tons of experience analyzing complex code and infrastructure—from finding zero day vulnerabilities in operating systems to verifying parts of production browsers. We’ll discover the bugs in your dapp and devops before attackers do.
Get our expertise in your application.
Our audit team is led by computer science professors from Carnegie Mellon University and UC San Diego. We’ve spent years developing cutting-edge bug finding and mitigation techniques and can customize static checking, symbolic execution, and verification tools to get guarantees about your dapp’s execution.
What we audit
Credential and key management
Devops workflows
Cross-chain bridging
Smart contracts
Zero-knowledge circuits
System architecture and design
Off-chain code
Here’s how we can help you
Discounts available for code that was written using Cubist tools.