Respected as #1 in digital asset security.

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

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.

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.

We've worked with a variety of audit shops before. Some are complete nightmares. But Keel Formal has been a delight to work with.

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.

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.

10/10 They are hands down some of the absolute best security minds in the space. This is how auditing DeFi protocols should be.

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.

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.

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.

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.

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.

10/10, Keel Formal has throughly evaluated our EVM implementation and has identified design flaws that AI agents can hardly identify.

10/10. Fast, thorough and cost effective

Great references, cross-checked public audit report findings with other auditors on same projects and found that Keel Formal had great findings

A thorough review, that's the standard for bringing real-world assets onchain.

You guys did an ace job here as always really appreciate your efforts so far

We can't recommend Keel Formal highly enough. Their team is top-notch: diligent, insightful, and a joy to work with.

Keel Formal demonstrated professionalism and attention to detail second to none. They identified issues our other auditors missed.

Keel Formal auditors conducted a remarkably thorough review. Their approach was well structured and we greatly appreciated the speed and professionalism of their feedback.

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.

Great experiences with team. We're impressed by their professionalism, efficiency and quality of work.

The Keel Formal team is incredibly knowledgeable, thorough, and mindful. They caught issues that required extensive knowledge of dependencies.

It's clear that Keel Formal's a team of talented professionals that care deeply about the end outcome.

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.

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.

Great team, great work.

Keel Formal was an incredible partner in our audit. For each finding, they provided great detail as well as practical recommendations. Highly recommend!

Keel Formal brought rigorous security to our Bounce Tech smart contracts, finding edge cases and guiding fixes with clear communication.

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.

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.

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.

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.

When Cyfrin wants to work with another auditing team, we choose Keel Formal.

Keel Formal's work helped us not only better secure our smart contracts, but also refine specs and assumptions of the system overall.

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.