Engineering · Ventures · Research

We engineer
the deep tech.

From protocol cores to production systems — OCaml, Rust, formal verification. We build what others can't, and ship what others won't.

Explore our work → Get in touch

12+

Years of R&D

54+

High Severity Bugs Found

10+

Platforms Live

100%

Independent

Trusted by

Built by researchers

Code that proves itself.

Our team has backgrounds at NASA, Airbus, Dassault, and Mitsubishi. We write protocol-level code in OCaml and Rust, with formal verification baked in — not bolted on.

54+ high severity bugs found across 40+ smart contract audits. The bugs that matter are the ones you catch before production.

OCaml Rust TypeScript Solidity Michelson Coq

audit_engine.ml

(* Functori — Smart Contract Audit Engine *) (* Formal verification meets production code *) type severity = Critical | High | Medium | Low type finding = { location : contract_path; severity : severity; category : vulnerability_class; proof : formal_proof option; } let analyze ~contract ~spec = let ast = parse_contract contract in let cfg = build_control_flow ast in cfg |> detect_reentrancy |> check_integer_overflow |> verify_access_control |> validate_against_spec spec |> generate_report

What we do

Research. Build. Launch.

15+ engineers · 20+ clients worldwide

Core Protocol Engineering

We build and maintain blockchain protocols at the lowest level. Core contributors to Tezos, with deep expertise in consensus, execution engines, and protocol upgrades. From Layer 1 to rollups.

54+ high severity bugs found

Smart Contract Audit

Formal verification meets battle-tested audit methodology. 29+ critical bugs caught before production across Solidity, Vyper, Ligo, and Michelson.

Monitoring & Intelligence

Real-time blockchain observability. We surface suspicious behavior, track protocol health, and provide public sector analytics.

CTO as a Service

Technical leadership for startups and ventures. Architecture, hiring, roadmap — skin in the game from day one.

Collaborations with Inria, CEA, Sorbonne, Paris-Saclay

Formal Methods & Languages

Research-grade tooling for production systems. DSLs, type systems, and proof assistants applied to real-world blockchain challenges. We bridge the gap between academic research and deployed code.

What we ship

Products built from
first principles.

Every product started as a problem we faced ourselves. No wrappers, no forks — built from scratch.

Argos Live

Blockchain intelligence platform. Detects suspicious on-chain behavior, surfaces critical events, and provides public sector analytics. BPI-funded, project-led.

→

Atlas Proprietary

High-frequency arbitrage engine. Sub-150ms cross-chain execution across EVM networks with proprietary routing and MEV protection.

→

Apollo Live

EVM execution tracer. Visualizes opcode-level behavior, uncovers gas inefficiencies, and catches edge cases in smart contract execution.

→

Explorus Live

Tezos consensus visualization. Makes baking rights, endorsements, and protocol internals understandable for devs and researchers.

→

Pandora Live

Document notarization via a custom sovereign rollup. Immutable timestamping and proof of existence, built on our own infrastructure.

→

See all products

Gaia, Factori, Mitten, Tzfunc, and more open source tools. Plus smart contract audit, core development, and CTO-as-a-Service.

→

Joint ventures

Built together.

We don't just build — we co-found. As technical co-founder, we bring engineering leadership, product architecture, and long-term commitment to every venture.

30k+

Users reached

€1.5M+

Funding secured

Fraktion - Real World Asset Tokenization

RWA · DeFi · Real Estate

Fraktion

Tokenized real estate investment. Blockchain-based platform for fractional ownership and club deals.

Sports · Tokenization

Goat Stadium

Fan ownership in professional sports. Tokenized engagement putting supporters at the helm.

DEX · Staking · Derivatives

Mosaic Labs

Next-generation DeFi infrastructure. Composable protocols for DEX, staking, and futures.

See all ventures →

Innovation & R&D

Selected by the most demanding
programs in Europe.

Argos — Blockchain Intelligence Platform

Making all blockchain activity visible and understandable. Advanced tools to detect, analyze, and visualize suspicious on-chain behaviors. €3.6M funded project.

48 months 4 partners Project Leader

CryptoACTION — Horizon Europe

Building trusted tools to fight crypto-enabled crime across Europe. €6.7M pan-European consortium with academic, law enforcement, and industry partners.

42 months 17 partners

Academic & Institutional Partners