Tokenfrastructure Group, TKNFRA

Portfolio

What we build, prove, and back.

A growing portfolio of protocols and companies, each rail-agnostic, formally specified, and held to provability from the first line of code.

INTERLOCC

Rail-agnostic multilateral netting and settlement protocol.

Active· ventures

TKNFRA

Formal verification and control technology for AI-driven tokenized finance.

Active· labs

Athareum

Programmable lending infrastructure for fragile economies.

Building· ventures

Amanar

The operating system for programmable, settlement-final money.

Building· ventures