The Keel Formal Standard
Three independent passes over the same codebase.
Two competing teams battle test the same scope in parallel. One team focused on expert manual review, one driving billions of frontier AI tokens. Meanwhile an exhaustive invariant suite fuzzes underneath both, all three combine for maximum wholistic coverage.
Exhaustive Fuzzing
All reachable states, edge cases, regressions
0.0%
Team A
Expert manual analysis
0.0%
Team B
Frontier AI, billions of tokens
0.0%
Your codebase
0.0%
Combined coverage
Performance is incentivized
Unique coverage contributions
The best in the business
Respected as #1 in digital asset security for 5 years.
Keel Formal's commitment to high quality audits, keeping up with industry best practices and alignment between the auditors and the protocol has led to them being a highly valuable partner in improving security of the protocol
We've worked with a variety of audit shops before. Some are complete nightmares. But Keel Formal has been a delight to work with.
10/10 They are hands down some of the absolute best security minds in the space. This is how auditing DeFi protocols should be.
The Keel Formal team's attention to detail is top-notch. We sleep soundly at night knowing that Keel Formal went through every detail of our codebase rigorously.
10/10, Keel Formal has throughly evaluated our EVM implementation and has identified design flaws that AI agents can hardly identify.
A thorough review, that's the standard for bringing real-world assets onchain.
Keel Formal demonstrated professionalism and attention to detail second to none. They identified issues our other auditors missed.
Great experiences with team. We're impressed by their professionalism, efficiency and quality of work.
Having seen many audits over many years, no one even comes close to Keel Formal's approach, and the quality of the audit is unmatched.
Keel Formal was an incredible partner in our audit. For each finding, they provided great detail as well as practical recommendations. Highly recommend!
Even with our super tight timeline, Keel Formal was professional, quick, and thorough, delivering high-quality work right on time. By far the best team we've worked with.
When Cyfrin wants to work with another auditing team, we choose Keel Formal.
Our experience with Keel Formal has been amazing. All security researchers on the team were exceptional at understanding all intricacies of the design and the team is well suited to audit any novel DeFi product that comes their way.
Our audit with Keel Formal way exceeded expectations in terms of the number of vulnerabilities they were able to find and the level of service that they provided.
Keel Formal has been an integral part of the growth of GMX and our ecosystem of protocols who also rely on them for audits. Having Keel Formal as a strategic partner has allowed us to move more quickly while keeping security as our highest priority.
We very much appreciate Keel Formal's approach to security and the entire audit process. Keel Formal goes above and beyond to not only do manual audits but also contributes to verification processes.
10/10. Fast, thorough and cost effective
You guys did an ace job here as always really appreciate your efforts so far
Keel Formal auditors conducted a remarkably thorough review. Their approach was well structured and we greatly appreciated the speed and professionalism of their feedback.
The Keel Formal team is incredibly knowledgeable, thorough, and mindful. They caught issues that required extensive knowledge of dependencies.
My team and I have worked with many auditors in the past, including generally considered top tier firms. I can confidently say that we have never felt as secure as when working with Keel Formal.
Keel Formal brought rigorous security to our Bounce Tech smart contracts, finding edge cases and guiding fixes with clear communication.
Keel Formal found a key bug that had been missed in previous audits, despite being outside the audit's scope. This is an honest signal of commitment and going the extra mile is rare.
Keel Formal's work helped us not only better secure our smart contracts, but also refine specs and assumptions of the system overall.
Extremely proficient. I feel like they care about their contribution on a personal level. They are on a mission to become the best auditors out there. They don't need much guidance and understand the codebase quickly.
As a security audit company, Keel Formal's approach to security and overall effectiveness is truly exceptional. Working with them has been a revelation – their auditors are among the best we've ever collaborated with.
Keel Formal has an impeccable eye to detail and goes above and beyond to ensure that the code is watertight. They are able to assess super advanced Solidity inline-assembly with ease.
Keel Formal's thorough audit process have left a strong impression on us. Their keen eye for detail and responsive support are qualities that shine through in every engagement.
Great references, cross-checked public audit report findings with other auditors on same projects and found that Keel Formal had great findings
We can't recommend Keel Formal highly enough. Their team is top-notch: diligent, insightful, and a joy to work with.
We were impressed with Keel Formal's overall approach to security, focus on tests, attention to detail and streamlined audit process. We enjoyed working with them.
It's clear that Keel Formal's a team of talented professionals that care deeply about the end outcome.
Great team, great work.
Keel Formal's pragmatic and business-focused approach to security ensures that every insight is not only technically sound but directly useful for real-world decision-making.
In our previous engagements, the Keel Formal team was extremely thorough. I also felt that the two-team approach would give a more in-depth coverage of our codebase.
Keel Formal has been an excellent security partner through multiple audits. Their combination of great security researchers and custom fuzz testing is an incredibly strong approach to security. Highly recommend.
Our highest tier audit
anguard
A security audit designed to protect onchain teams facing unprecedented cyber risk.
01
Two competing teams
Two independent teams attack the same protocol in parallel using distinct methodologies for maximum coverage.
02
Frontier AI coverage
Billions of tokens of frontier-model attack search across the codebase.
03
Exhaustive fuzzing
Deep invariant and property fuzzing over the full state space.
04
$100,000 contest
A funded public contest staked on the quality of the audit.
05
$50,000 bounty match
A hosted bug bounty with matching up to $50,000.
06
Web2 Coverage
Cover yourself against the most common exploit vectors in 2026 with half the package cost back as web2 credits.
07
Post-launch updates auditing
Update review included, so post-audit changes stay covered.
byKeel Formal
Keel Formal services
Protect every surface that can put your protocol at risk.
01
Explore audits
02
Explore OpSec
03
Explore perimeter
04
Explore risk
05
View case studies
Audits & Pentests
Deep protocol review, automated review, invariant fuzzing, manual research, and launch-ready remediation support.
OpSec Audit
Key management, access paths, team workflows, infrastructure exposure, and operational controls for high-value teams.
Perimeter Audit
Registrar and DNS control, domain inventory, exposed services and hosts, and the delivery path users reach you through.
Risk & Compliance
Independent technical risk review, controls mapping, vendor diligence, and executive-ready security evidence.
Case Studies
See how Keel Formal has supported protocol teams across launches, upgrades, incident pressure, and production hardening.
Start now