Engineering for software that cannot afford to fail.
A team of about eleven engineers and researchers, five of them PhDs. We build core blockchain protocol components, run an on-chain intelligence platform in production, and lead research projects with European labs and law enforcement.
Three ways to work with us.
One team, one standard of rigour, whether we write your protocol, sell you a product or build a research project with you.
Critical software, built and reviewed
Consensus, rollups, data availability layers, EVM nodes, compilers and smart contracts. We join your team on the hard parts, or review what you built.
Argos, on-chain intelligence
Trace funds, profile addresses and flag DeFi patterns on Ethereum, with an EVM-generic core. Built for investigators and compliance teams, deployable on your own infrastructure.
Research projects that ship
We coordinate and deliver funded research with academic labs and industry: national programmes, Horizon Europe, industrial PhDs.
Long engagements, on systems that matter.
Core Tezos protocol engineering
Consensus (Tenderbake), mempool, Smart Rollups, the Data Availability Layer and the Etherlink EVM node, alongside the Nomadic Labs teams.
Argos and CryptoACTION
We coordinate the Argos consortium (Tarides, LIP6 Sorbonne Université, LMF Université Paris-Saclay) and lead the crypto-transaction analysis work package of CryptoACTION.
Technical co-founder for real-estate tokenisation
Fractional CTO role: architecture, then the full platform, backend and frontend.
Rigour is a method, not a slogan.
Every project goes through the same four steps. The last one is reserved for the code where a bug costs real money.
1 · Specify
Write down what the system must guarantee before writing code.
2 · Build with strong types
OCaml and Rust, so that whole classes of bugs cannot compile.
3 · Test adversarially
Fuzzing, load tests, replayed consensus scenarios on real networks.
4 · Prove where it pays off
Example: one of Argos's detection algorithms is mechanically proved in the Rocq proof assistant and runs in production.
Tell us who you are, we will point you to the right page.
You need hard R&D or a protocol review
Blockchain core, languages and compilers, security reviews.
Expertise and references →You need on-chain intelligence or data
Investigation, compliance, DeFi analytics, on your infrastructure.
Argos →You are building a research consortium
Horizon Europe, national programmes, industrial PhDs.
Our track record →You are exploring a partnership or an investment
Joint ventures, integration of our technology, strategic discussions.
Talk to the founders →Have a system where errors cost money?
Tell us about it. You will talk to an engineer, not a salesperson.