We build, operate and audit critical systems, from core protocols to blockchain forensics, and take deep tech from research to production.
From core protocols and smart contracts to compilers and applied AI, we design, build, operate and audit critical systems where correctness is not optional.
Our expertiseFrom raw blockchain data to leads an investigator can follow. Available as a platform, as raw or enriched datasets, or as engines, APIs or MCP servers.
Discover ArgosFrom open questions to working prototypes: we coordinate or contribute to French and European research projects with academic labs, industry and law enforcement.
Our researchFrom integrating Argos into your platform to joint ventures, we are open to long-term partnerships with the right teams.
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.
From architecture to the full platform for Fraktion (real-estate tokenisation), and platform design for GOAT Stadium (sports tokenisation).
We favour functional, type-safe and memory-safe languages for critical code. We adapt if needed.
OCaml · Rust · TypeScript
We test at every level, from unit and coverage tests to scenarios replayed on distributed networks.
Reviews are independent and AI-assisted: AI hunts bugs and vulnerabilities, an engineer confirms every finding.
Boundary values · Property-based · Mutation · Fuzzing · Differential review
Smart contract audits · 2021 → 2024
Write down what the system must guarantee. Before the code, or after it to audit what already exists.
Machine-checked proofs for the parts where a bug is unacceptable.
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.