Protocols & DeFi
- AMMs, DEX routers and aggregators
- Lending and borrowing markets
- Staking and yield vaults (ERC-4626)
- Perpetuals and derivatives
- Liquidity and incentive design
- Keepers, liquidation and OEV bots
From architecture and consulting to the contracts, services and interfaces behind on-chain products. Every build is written against a threat model, tested to invariants, and security-reviewed before it reaches a live network.
Before any contract is written we agree what the system must never allow. That document becomes the test suite and the audit scope.
Written in the language the chain calls for, against the standards your integrators expect, with the invariants encoded as tests from day one.
Unit and integration coverage, fuzzing, invariant runs and mainnet-fork simulation against real liquidity and real oracle data.
Reviewed against the threat model before deployment. Findings come back severity-classified, each with a fix and a proof of concept where reproducible.
Deployment scripts, verified sources, monitoring and alerting. We stay on to run it if you want us to.
Send the idea, a spec, or a half-finished repo. We will tell you honestly what it needs.
hello@xoralabs.io