Research: independent and contracted
Hyperliquid L1 research
Research on the Hyperliquid blockchain: HyperCore, HyperEVM and CoreWriter, fee spend on perpetual markets, and market microstructure. Part of it is self-directed, part contracted.
Work
Selected work.
Each entry is marked by how it was done: independent research, contracted work, collaboration, or licensing.
Research and development
Prime: programmable self-custody on Hyperliquid
An account system that makes self-custody on Hyperliquid programmable. The owner keeps custody and sets the permissions. Strategies and services act only inside them, across HyperCore and HyperEVM. It follows from our research on CoreWriter and account permissions.
Contracted research and development
HOT, a hybrid order-type AMM
Mechanism research and implementation for Arrakis Finance: a market that combines signed quotes with open on-chain liquidity to reduce losses to stale prices. Regulated market makers have since licensed the infrastructure.
Collaborative research with Nethermind
Formal verification of EVM contracts
A Lean-based system for proving properties of EVM smart contracts, developed with Nethermind.
Early development partner for Starknet
Cairo v0
Early work on the first version of Cairo, the zk-STARK contract language that made provable applications practical.
Independent research
Intent-based trading and MEV
Self-directed research on intent-based trading systems and MEV on Ethereum, carried out alongside CoW Swap and solver teams.
IP licensing
Designing a marketplace for liquid staking
A market design for liquid staking tokens and other redeemable assets, inspired by Lido Finance. It treats the redemption queue as a price for time, and runs on our modular exchange framework. Paragon Labs owns the software. Valantis licenses it for stHYPE.
Work with us
Research first. Development when the research calls for it. A licence when the software already exists.