Our auditors are industry leaders in formal methods. We begin with a design review to understand the mechanism deeply before we review the implementation.
1. Design Review
Can be started before the code freeze. Helps catch specification bugs. Improves documentation.
2. Code Review
Constant communication. Findings reported in real-time.
3. Formal Verification
Formal Verification helps ensure most complete test coverage, catching edge-case bugs.
4. Audit Report
Can be used publicly. Consistent output, highly esteemed by the industry.
"We see a worrisome trend in the industry where timelines are a race to the bottom, and we are not willing to compromise. A Runtime Verification audit report is a stamp of approval from our team. It's also a signal to our client's users and community that security is a priority, not an afterthought."
Everett Hildenbrandt
CEO of Runtime Verification
Why Runtime Verification
Your Project's Security is Worth it
We get it. The cost and time it takes to do our audits is longer than some of the newer auditors. We believe those cheaper and shorter audits are incomplete.
Auditing since 2017
We are one of the most experienced teams in the space. Our audits have caught a variety of bugs in the past and whether it is Solidity or Rust, we know where to look for them.
Trusted by the Best
Our previous clients include the Ethereum Foundation, Lido, Maker, Optimism, and many other high TVL crypto teams.
Open-Source Software
We are aligned with the Ethereum ethos, and make our tools - Kontrol and Simbolik - open-source for the security community, despite the millions invested in developing them.
Two Auditor Approach
We believe that two auditors, fully immersed in each audit, with the backup from the entire team yield the best results. Adding more auditors yields diminishing results.
