Apply with context
Tell us about the protocol, timeline, codebase, and what needs the most scrutiny.
Keel Formal Security Fund
$1,000,000
in security audit grants
Keel Formal is allocating audit grant coverage to help high-caliber teams ship with the highest tier of smart contract assurance.
Jupiter
$45B+ protected across active clients
How it works
From grant application to audit coverage.
Keel Formal selects grantees in each batch
We prioritize teams where grant-backed security work can reduce real launch or TVL risk.
Use grant coverage
Selected teams receive a full Keel Formal audit with two competing teams and an exhaustive invariant suite for maximal security.
Why Keel Formal
Grant-backed coverage from Keel Formal's audit team.
Move faster without compromising security with audit work conducted by Keel Formal.
Deep Vulnerability Analysis
Keel Formal brings a half decade of DeFi security research and audits, with teams having protected over $50 billion in digital assets.
Exhaustive Invariant Testing
Fuzz high-risk state spaces, simulate attack paths, and pressure-test the assumptions that matter before mainnet exposure.
Professional Review
Findings are reviewed with auditor oversight so grant recipients get prioritized security signal, not raw scanner noise.
Grant priorities
Coverage for the moments where security matters most.
Mainnet readiness
Review critical contracts before public deployment, token launches, or liquidity events.
Protocol changes
Audit migrations, new modules, governance changes, and integrations that alter risk.
Risk reduction
Use grant-backed coverage to validate fixes, harden invariants, and close priority issues.
In their words
What clients say about Keel Formal.
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 demonstrated professionalism and attention to detail second to none. They identified issues our other auditors missed.
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.
Apply now
Apply for Keel Formal Security Fund coverage.
Tell us why your protocol is a strong fit for grant-backed audit coverage.
Share the team, website, and contact details now. The application will collect repository access and audit context after intake.
FAQ
Common questions.
- Who should apply?
- Teams preparing launches, upgrades, integrations, or TVL-bearing deployments that would benefit from Keel Formal audit coverage.
- What does the grant cover?
- Grant coverage applies toward Keel Formal audit work, including automated review, fuzzing, and professional auditor oversight.
- Is this a cash award?
- The fund is structured as audit grant coverage for selected teams, not a general cash disbursement.