Research and open source.

We coordinate one funded research consortium and lead a work package in another, with academic labs, industry and law enforcement. We publish the tools we can share.

Discuss a research project

Funded projects

Bpifrance i-Démo, 2023–2027

Argos, coordinated by Functori

€3.6M
consortium budget
4
partners
48
months

A blockchain investigation platform built by Functori, Tarides, LIP6 (Sorbonne Université) and LMF (Université Paris-Saclay). Labeled by the Systematic and Finance Innovation clusters.

  • Tools to detect, analyze and visualize suspicious on-chain activity.
  • Built with academic and industrial partners, for anti-fraud and anti-money-laundering work.
  • Readable graphs, built from low-level chain data, that an investigator can follow.
Funded byBpifrance
PartnersTaridesSorbonne Université (LIP6)Université Paris-Saclay (LMF)
Labeled bySystematic Paris-RegionFinance Innovation
Resulting product: Argos
Horizon Europe, 2025–2029

CryptoACTION, Functori leads WP3

€6.7M
EU budget
17
partners
42
months

A European project on crypto-asset investigation, coordinated by European Dynamics, with 8 law enforcement agencies, 6 SMEs and 3 academic institutions. Functori leads the crypto-transaction analysis work package.

  • Researchers, police forces and industry from across Europe, working on crypto-financial crime.
  • Privacy by design: lawful investigation without exposing personal data.
  • Federated learning combined with blockchain analytics, to trace criminal activity without sharing sensitive data.
Funded byFunded by the European UnionHorizon Europe
Grant agreement 101226139
Research relations
Universidade do AlgarveIRILL

Research lines

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.

What we bring to a consortium

We already coordinate one consortium and lead a work package in another. A new project can start from Argos instead of an empty repository. Most of the team writes production code, so we deliver software as well as reports. Five of us hold PhDs, in automated reasoning, model checking and programming languages.

Open source and lab

Free to use. If one of them solves your problem and you need it hardened or supported, talk to us.

Apollo debugger: opcode-level replay of an EVM transactiononline

Apollo

EVM transaction debugger: opcode-level replay and gas profiling.

apollotrace.com EVM TxRay: inspect an EVM transaction from its hashonline

EVM TxRay

An inspector for EVM transactions.

evm-txray.com Explorus dashboard: Tezos baking rights per level and round, and the consensus progression of the head blockonline

Explorus

Tezos consensus explorer.

explorus.io

More on our GitLab Mitten, Tzfunc, Vue PPX, Kawa and other libraries