Capital Markets · AI · Infrastructure · Labs

Frontier engineering for high-assurance systems.

We build the hard parts of regulated capital markets, AI safety, and the infrastructure they depend on.

Featured practice area: Capital Markets

Production Canton systems for capital markets.

We design and ship the Daml and Canton applications that bring institutions and real-world assets onto the network, from strategy to production.

Production Daml and Canton delivery
Official Daml 3 / Canton Network training provider
Canton Foundation governance roles
Canton Network Super Validator

Selected clients, partners, and institutions

Canton FoundationDigital AssetB3Nasdaq Private MarketsBTG PactualARIAMIRIGroqMIT CBMMReplit

Selected engagements

When being wrong is expensive, illegal, or both.

Selected work across capital markets, AI safety, infrastructure, and the open-source ecosystems we maintain.

Capital Markets

US capital-markets infrastructure

A multi-year Canton tokenization roadmap in regulated production at a top-tier US capital-markets infrastructure firm.

Capital Markets

Major alternative-investments platform

We designed and built the production Canton DLT platform that runs a major wealth-management firm's alternative-investment lifecycle.

AI

ARIA Safeguarded AI

A multi-year UK government AI-safety engagement. We don't just implement the research. We help produce it, working with the mathematicians to turn frontier safety methods into software that runs.

Capital Markets

B3 (Brasil, Bolsa, Balcão)

B3, one of Latin America's largest exchanges, came to Canton, and to us, after an earlier blockchain effort stalled short of production.

Infrastructure

Replit

Super Colliding Nix Stores, the local-overlay store infrastructure that anchors the code-execution layer under a leading AI coding environment.

Labs

Open-source infrastructure

We maintain the open-source ecosystems behind our Haskell and Rust work, from functional reactive programming to the toolchain behind the Ledger hardware wallets we ship, for the teams that build on them.

External validation

On the record.

Public comments, recognition, and roles from clients, partners, and the institutions we work in.

They were primarily chosen for their track record of developing software that could successfully translate advanced mathematical concepts into usable software.

ARIA

Four engineers do what twenty do elsewhere.

Haskell Foundation Podcast

The team at Obsidian Systems displayed great professionalism and delivered a very high-quality app for Ledger integration.

Ava Labs

Obsidian's app could become a reference for other app developers.

Ledger security audit

Recognition

Canton Foundation

Selected Obsidian as its official Daml 3 and Canton Network training provider.

Recognition

Digital Asset

Works with Obsidian as a preferred external partner for Canton implementation.

Recognition

Canton Network

Counts Obsidian among its Super Validators.

Recognition

Canton, Haskell, and Nix foundations

Include Obsidian on their boards.

Recognition

Nix Security Working Group

Counts Obsidian among the stewards of its security.

The production gap

From strategy to production.

The hard part was never the announcement. Ambitious strategies stall when they meet regulated workflows, legacy systems, and unclear ownership, and most never reach production. We work the full arc, from early strategy through specification to a system that runs, and we are in it with you at every step.

Strategy

Ideation, planning, and architecture

Architecture

System boundaries, data models, and risk surfaces

Specification

Real rules, workflows, and integrations

Implementation

Production code with explicit ownership

Integration

Counterparties, operators, and legacy systems

Production

Systems institutions depend on

Have a hard problem?

Whether it's a clean build or a stalled one, we take on the part that has to reach production.

Let's talk