Selected Work
A selection of public codebases we've contributed to or audited, plus an overview of private client engagements.
Public Ecosystems & Codebases
Ajna Protocol
Contributor / Research
A non-custodial, peer-to-peer lending protocol with no oracles or governance.
Technical Highlights
- Navigated a complex, production-grade Solidity codebase using advanced storage patterns.
- Analyzed liquidation logic and pool management for edge-case vulnerabilities.
- Deep dive into oracle-less architecture patterns.
Sky (Maker) Ecosystem
Automation Engineer
Operational tooling for managing liquidity and market making on-chain.
Technical Highlights
- Worked with 'market-maker-keeper' bots ensuring system stability.
- Interfaced off-chain logic with complex on-chain state.
- Focus on reliability, error handling, and gas optimization.
Client Engagements (Private/NDA)
DeFi AMM Fork
Full security review of a modified AMM fork on an EVM L2. Identified 3 high-severity logical issues related to fee accounting.
Solana Staking Program
Built a custom staking rewards program for a new SPL token. Implemented rigorous Anchor tests and a fuzzing harness for arithmetic safety.
Bridge Design Review
Review of a cross-chain messaging architecture. Delivered a risk analysis report highlighting centralization vectors in the relayer network.
Lending Market Invariants
Wrote a suite of invariants for an existing lending protocol to catch regression bugs during a major refactor.
Need specific examples?
We can share sanitized audit reports or code snippets relevant to your specific use case upon request.