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.
Property-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.
Events can lie. Storage cannot. A Transfer event is just a log the contract chooses to emit, and a malicious one can name Bob while crediting a hidden thief in storage. We built one and caught it with Apollo, Functori's free EVM debugger. Follow the step-by-step demo.
How Argos automatically labels every Ethereum transaction with its DeFi semantics, from sandwich attacks to liquidations, and how we built an arbitrage detection algorithm based on term rewriting, whose rewriting core is mechanized in Rocq.
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.