Smart contract
development
Contracts written for an environment with no hotfix — explicit permissions, tests against real chain state and an upgrade path agreed before deployment.
What we build
Four areas where this work is won or lost.
Contract design
Roles, invariants and failure modes written down before code, because the cheapest bug to fix is the one found in a spec.
Solidity and EVM
Contracts for Ethereum, Polygon, Arbitrum, Base and BNB Chain, built on audited reference implementations.
Testing and fuzzing
Unit tests, fork tests against mainnet state and invariant fuzzing, run in CI on every change.
Audit readiness
Documentation, NatSpec and a clean scope so an external auditor spends their time on logic, not on guessing intent.
How we work
A short loop with a written result at every step.
Specify
Actors, assets, permissions and what must never happen. This becomes both the test plan and the audit brief.
Build and test
Minimal contracts on reviewed libraries, with gas profiled and every external call reasoned about.
Audit and deploy
Independent audit, rehearsal on a testnet with real data and a multisig-controlled mainnet release.
Stack
Chosen for your product, not for our habit.
Foundry
Hardhat
Slither
Arbitrum
Base
Tenderly
The GraphContract that will
hold real funds?
Describe what it must do and what must never happen. We will start with the spec, not with code.
