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.

Reach out for a security audit

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

Discounts available for code that was written using Cubist tools.