Olympix Arbitrum Security Grant — Teams Now Being Onboarded

DAO Programs & Initiatives Domain Allocator Offerings (prev Questbook)
1

Olympix Arbitrum Security Grant — Teams Now Being Onboarded

We’re excited to begin onboarding teams for the Olympix Security Grant on Arbitrum.

Through this program we will work with up to 12 Arbitrum teams preparing for audit to strengthen their smart contract security before entering a formal audit process.

This thread will serve as the main communication channel for the program - including onboarding updates, questions from teams, and program progress.

Grant details:
https://arbitrum.questbook.app/dashboard/?grantId=67d802bd46da2f90cc3267b0&role=community&proposalId=69266c3696f32ac6ce9c086c&chainId=10&isRenderingProposalBody=true

What Olympix Does

Olympix provides deterministic security infrastructure for smart contracts during development.

Today most smart contract security still centers around point-in-time audits performed late in the development lifecycle. While audits remain an important part of the security process, many major exploits still occur in codebases that were previously audited, often due to logic errors, edge cases, or insufficient test coverage that are difficult to exhaustively evaluate within a time-bounded manual review.

Olympix focuses on closing these gaps earlier in the development process, allowing teams to continuously test and validate their contracts before they reach auditors or production.

Our approach emphasizes measurability, enforceability, and verifiability in smart contract security - helping teams move from subjective “best-effort” testing toward deterministic validation of contract behavior.

Under the hood, Olympix leverages a proprietary formal methods engine. The automated applications built on top of it make sophisticated deterministic testing accessible even to small or resource-constrained development teams.

Unlike many newer security tools that rely primarily on LLMs to pattern-match vulnerabilities, Olympix focuses on deterministic analysis techniques that can systematically explore contract behavior and surface issues that probabilistic tools and manual review often miss.

What Participating Teams Receive

Selected teams will receive full access to the Olympix platform, along with setup and support from our engineering team.

This includes:

  • Repository onboarding and CI integration

  • Access to the full suite of Olympix tooling, including:

    • Static analysis for vulnerability detection

    • Automated unit test generation

    • Mutation testing to evaluate test effectiveness

    • BugPOCer internal audit reports with validated POC outputs

  • Remediation guidance and engineering support

The goal is to help teams identify and resolve vulnerabilities before audit, improving audit outcomes and deployment readiness.

Who Should Participate

This program is intended for Arbitrum teams preparing for an audit or security review in the near future.

Ideal candidates include teams that:

• are preparing for an external audit
• have core contracts nearing completion
• want to reduce audit findings ahead of time
• are deploying new protocols or major upgrades on Arbitrum

*Note: prior to April 1BugPOCer generates Forge POCs. From April 1st it will also generate Hardhat POCs.

We will onboard up to 12 teams through this grant.

How to Apply

If your team is interested, reply to this thread with:

• Project name
• Repository status (private/public)
• Expected audit timeline
• Primary contact

We will follow up directly to coordinate onboarding.

Program Updates

We will post updates in this thread as:

• teams are onboarded
• common vulnerability patterns emerge
• program milestones are reached

Looking forward to working with teams building on Arbitrum and helping strengthen security across the ecosystem.

—
Sarah Hicks
Co-Founder & Chief Strategy Officer
Olympix