Solana & Ethereum security
and engineering consultancy.
We help teams ship safer on-chain systems with clear deliverables:
production-grade code, property-based tests, and actionable audit findings.
Core Services
Specialized technical engagements for protocol teams. No fluff, just engineering.
Smart Contract Development
Full-lifecycle development for EVM (Solidity) and Solana (Anchor). We build systems that are secure by design, with comprehensive test suites.
Smart Contract Audits
Manual security reviews focused on business logic errors and architecture flaws. Includes clear reproduction steps and fix verification.
Fuzzing & Invariants
Turn loose assumptions into rigid invariants. We write property-based tests (Foundry/Echidna) to catch edge cases before mainnet.
Architecture Review
High-level design review before a line of code is written. Validate trust boundaries, authority models, and upgrade patterns.
Production Experience
We've worked with and audited complex systems in DeFi and infrastructure. Our work focuses on correctness and operational safety.
Ajna Protocol
Navigated and contributed to ajna-core, a complex non-custodial lending protocol. Deep expertise in localized solidity patterns.
Sky Ecosystem
Worked on market-maker-keeper, a sophisticated off-chain bot framework ensuring market liquidity and system stability.
How We Work
Transparent, rigorous, and communicative.
Scope & Threat Model
We define exactly what's in scope and identify the critical assets and trust boundaries. No ambiguity.
Execute & Verify
Deep manual review paired with invariant testing. We don't just look for bugs; we verify system properties.
Deliver Artifacts
You get a high-quality report, clear PRs, or a reusable test suite. We stay available for re-testing fixes.
Ready to secure your protocol?
Engagements are custom scoped. Reach out to discuss your timeline and requirements.