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

Several frontiers, one partner.

Capital markets, AI, infrastructure, and advanced programming. We push the state of the art in each, and ship the production systems institutions depend on.

Capital Markets

Obsidian Capital Markets
Capital markets infrastructure on Canton, in production.
We build the Daml and Canton systems behind regulated tokenization, settlement, collateral mobility, and the multi-party workflows institutions actually run on. And we are the ones who bring those institutions, and the real-world assets they hold, onto Canton.

AI

Obsidian AI
Rigorous engineering for the AI frontier.
Where the math has to be right and the code has to ship: AI-safety research, accelerator and hardware tooling, and the research software serious labs depend on.

Infrastructure

Obsidian Infrastructure
Platform engineering at institutional scale.
The build systems, supply-chain security, deployment, and developer platforms that serious teams depend on, engineered to stay reproducible and reliable, and backed by deep Nix authority.

Labs

Obsidian Labs
From frontier theory to production operations.
We don't just use advanced programming. We help define it, contributing upstream to the compilers and tools behind languages like Haskell and Rust, and turning ideas from theory and formal methods into production software.

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.

US capital-markets infrastructure

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

Major alternative-investments platform

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

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.

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.

Replit

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

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.

Four engineers do what twenty do elsewhere.

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

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

Recognition

Canton Foundation

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

Digital Asset

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

Canton Network

Counts Obsidian among its Super Validators.

Canton, Haskell, and Nix foundations

Include Obsidian on their boards.

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.