Research that turns into products.
We coordinate and deliver funded research with academic labs, industry and law enforcement, and we publish the tools we can share.
Two consortia, two roles.
Argos · Functori coordinates
A blockchain investigation platform built by four partners: Functori, Tarides, LIP6 (Sorbonne Université) and LMF (Université Paris-Saclay). Consortium budget: €3.6M over 48 months. Labelled by the Systematic and Finance Innovation clusters.
Resulting product: Argos →CryptoACTION · Functori leads WP3
A European project on crypto-asset investigation, coordinated by European Dynamics: 17 partners, including 8 law enforcement agencies, 6 SMEs and 3 academic institutions. EU budget: €6.7M. Functori leads the crypto-transaction analysis work package.
Grant agreement 101226139
What we work on.
On-chain investigation
Semi-automatic exploration of transaction graphs for investigators: an industrial PhD with LIP6 (Sorbonne Université), started in 2026.
DeFi microstructure
How arbitrage, sandwich and liquidation work at transaction level, and how to detect them reliably. Read an introduction →
Program safety
Machine-checked proofs for detection algorithms, fuzzing and adversarial testing of protocol code.
A partner that can coordinate, and still writes the code.
Coordination experience
We run the Argos consortium and a Horizon Europe work package.
A product to build on
Argos gives a project a working investigation platform from day one.
Engineering capacity
Most of our team writes production code, so deliverables do not stop at reports.
Academic depth
Five PhDs, with backgrounds in automated reasoning, model checking and programming languages.
Tools we share, prototypes we test.
Free to use. If one of them solves your problem and you need it hardened or supported, talk to us.
Apollo
EVM transaction debugger: opcode-level replay and gas profiling.
apollotrace.com → onlineEVM TxRay
Inspect what an EVM transaction really did.
evm-txray.com → onlineExplorus
Tezos consensus explorer.
explorus.io → libraryMitten
Script and replay consensus scenarios on a real network.
GitLab → libraryTzfunc & Vue PPX
OCaml libraries for Tezos clients and for Vue.js front ends.
GitLab → prototypeKawa · Pandora
A DeFi dashboard and a rollup-based notarisation prototype.
kawa.functori.com →