We build core components of blockchain protocols and Argos, our on-chain intelligence platform. We also lead research projects with European labs and law enforcement agencies.
We write and audit software that has to be right: protocols, smart contracts, compilers, and the tooling around them, AI included. We also advise and train technical teams.
Our expertiseArgos decodes blockchain data and shows investigators where funds went. It comes as a platform, as datasets, or as an engine you query through an API or an MCP server.
Discover ArgosWe coordinate or join French and European research projects with academic labs and industry, and we build the prototypes ourselves.
Our researchIntegrate Argos into your platform, license its engine, or start a company with us.
Talk to the founders
Our investigation platform, developed in a Bpifrance i-Démo project we coordinate, and the crypto-analysis tool of CryptoACTION, a Horizon Europe project.
With Nomadic Labs: consensus, Smart Rollups, the Data Availability Layer, the Etherlink EVM stack, and now Tezos X.
Architecture, then the full platform, for Fraktion (real-estate tokenization). Platform design for GOAT Stadium (sports tokenization).
We favor functional, type-safe and memory-safe languages, and adapt when a project needs something else.
OCamlRustTypeScript
Unit and coverage tests for every component, and consensus scenarios replayed on distributed networks.
Reviews are independent and AI-assisted: AI hunts bugs and vulnerabilities, an engineer confirms every finding.
Boundary valuesProperty-basedMutationFuzzingDifferential review
Smart contract audits
We write down what the system must guarantee: before the code, or after it when we audit an existing system.
For a few components, we go as far as machine-checked proofs.
How Argos automatically labels every Ethereum transaction with its DeFi semantics, from sandwich attacks to liquidations, and how we built a novel, formally verified arbitrage detection engine using term rewriting.
A cat released upside-down lands on its feet. An atomic arbitrage on Ethereum has the same reflex — a closed loop of swaps that either prints a profit or reverts in the same block, with no leg exposed mid-air. Flash loans, MEV bidding, and the geometry behind the trick. A warm-up before Argos detects these loops at scale.
We built an MCP server for Argos, enabling AI agents to investigate blockchain addresses in natural language. Here's how we used it to trace a real Tornado.Cash money laundering operation from deposit to cross-chain exit, and how gas fingerprinting broke through the mixer's anonymity.