Blockchain protocols and EVM
We work on the core of blockchains: consensus, mempool, rollups, data availability, EVM execution nodes. We also build EVM tools, such as Apollo, an opcode-level transaction debugger.
OCamlRustEVMREVMRollups
Expertise.
Most of our work is on code where a bug costs real money: consensus, smart contracts, DeFi logic. Here are the four fields we work in, with clients and tools for each.
Low-latency and DeFi systems
We design and operate sub-second latency DeFi systems on EVM mainnets. We use the same knowledge of DeFi to label arbitrage, sandwich and liquidation transactions in Argos.
EVMMempoolDEXMEV analysis
Program safety and security
We review smart contracts on EVM chains and Tezos, fuzz and load-test protocol code, and design typed and domain-specific languages. For a few components, we write machine-checked proofs.
SolidityFuzzingRocqDSLs
Data and AI
We decode and index the full history of a chain and turn it into investigation graphs. An MCP interface lets AI assistants query this data in Argos, and an industrial PhD studies how to explore these graphs.
IndexingGraphsMCPAI agents
Embedded engineers
Our engineers join your team on a component, for months or years.
Scoped review
A fixed-scope review of a protocol, a contract or a critical module.
Advisory and training
Architecture, technology choices, and training for technical teams.
Collaborative research
A funded project when the problem is still open. More