Skip to content
_TOKENIZATION/

Tokenize real-world assets on auditable rails

Connect off-chain cash flows to on-chain tokens with a double-entry ledger that keeps issuance, distributions and redemptions provably in sync.

@worldledger:mainpayments:intreasurypayouts:outUSDEURGBP
_THE PROBLEM/

On-chain tokens, off-chain truth

The cash leg is where tokenization breaks.

Tokens represent real assets, but the cash, distributions and redemptions live off-chain. Keeping both sides reconciled is the hard part.

Policydaily-stripe-reconasset USD/2
pending:stripe0.00
fees:stripe0.00
users:wallets:stripe0.00
Ledger accounts
0.00
Cash pool
0.00

STRIPE_ACCOUNT_MAIN

account-based · the sum of ledger accounts equals the cash pool

0Subscriptions and redemptions reconcile manually against on-chain supply.
1Income distributions to holders are scripted ad-hoc and hard to audit.
2Off-chain custody balances drift from the tokenized representation.
3Regulators expect a provable link between the asset and its token.

_PROOF/ Tokenization platforms on Formance keep the cash leg provably in sync with on-chain supply.

_FLOW OF FUNDS/

Subscribe, distribute, redeem

The cash leg, mirrored to the token leg.

Investor cash subscribes into a custody account, income distributes pro-rata, and redemptions return capital — each posting mirrored to token events.

cash ↔ token
subscribecash → custody
custodyasset held
distributeincome → holders
redeemreturn capital
_CAPABILITIES/

The cash leg, handled

On the open-source Formance ledger. Custody, distributions and redemptions, provably linked to the token.

_CUSTODY LEDGER/

segregated custody

CUSTODY LEDGER

Track the cash and assets backing each token in segregated, double-entry accounts with derived balances.

balances
accountamount
USERS:1234
EUR/2 123,000
USERS:5678
EUR/2 23,000
USD/2 32,000
USERS:2342
JPY/0 123,000
BTC/8 .000020
_DISTRIBUTIONS/

deterministic, pro-rata

DISTRIBUTIONS

Model pro-rata income distributions to holders as deterministic, auditable Numscript transactions.

Read the Numscript docs
debit
@world
−100.00
=
credit
@sellers:acme
+85.00
@platform:fees
+15.00
Σ debit = Σ credit
BALANCED
_TOKEN SYNC/

cash ↔ token in sync

TOKEN SYNC

Keep off-chain postings and on-chain token events in lockstep, so cash and supply always agree.

cash ↔ token · sync
LIVE
SYNC
custody:pool ↔ token:supply 1:1
MATCH
subscribe EUR 50k ↔ mint 50k tokens
MATCH
income EUR 2.4k ↔ distribute event
DRIFT
D-0 cash vs supply 0.00
MATCH
redeem EUR 10k ↔ burn 10k tokens
RESOLVE
point-in-time · cash ↔ token
SYNC
custody:pool ↔ token:supply 1:1
_BY THE NUMBERS/

Provable from day one

always in synccash↔tokenmirrored postings
distributionspro-ratadeterministic
auditable100%immutable log
_NUMSCRIPT/

Distribute income, pro-rata

Split a distribution across holders in one transaction.

Allocate an income distribution across token holders proportionally — deterministic and fully auditable.

distribute.num
// Distribute income pro-rata to token holders
vars {
  monetary $income
  account $holderA
  account $holderB
}

send $income (
  source = @custody:income
  destination = {
    60% to $holderA
    40% to $holderB
  }
)
_VOICES/

Trusted by builders

LiberisLiberis
Formance enabled us to ship new lending products faster by providing a customizable foundation that let us reliably express the complexities of our flow of funds.

Embedded finance · reconciliation across 14 countries

See customer story
DoctolibDoctolib
Formance is the foundation of our Financial OS, the open-source approach lets us retain control over this key component.

Healthcare · Financial OS

PayflipPayflip
Formance helped us kick off our move into fintech, with robust infrastructure and intuitive developer tooling.

Benefits · fintech infrastructure

_TRUST/

Built for regulated money.

Enterprise controls, the certifications auditors ask for, and an immutable record, out of the box.

See our trust center
THE COMPLIANCE STACK
IAM, RBAC & SSO
Non-repudiation
Audit logs
Observability & monitoring
Real-time events
Admin console
_AUDIT-LOG/ NON-REPUDIATION

09:41:07Z AUDIT gateway POST /api/ledger/v2/main/transactions 200 sub:ops@acme.io

09:41:09Z LOG id:4093 NEW_TRANSACTION ledger:main

09:41:12Z LOG id:4094 SET_METADATA ledger:main

09:41:15Z LOG id:4095 REVERTED_TRANSACTION ledger:main

09:41:18Z AUDIT gateway GET /api/ledger/v2/main/logs 200 sub:audit@acme.io

CERTIFICATIONS
AICPA SOC IICERTIFIED
ISO 27001CERTIFIED
DORACOMPLIANT
REGULATORY FRAMEWORKS
EMIFCAMTLNYDFS Trust CharterOCC CharterMiCAGENIUS
_ATTESTED/
FAQ

Tokenization, answered

01 / HOW DO YOU LINK THE TOKEN TO THE ASSET?

The cash and assets backing each token live in segregated, double-entry custody accounts. Off-chain postings and on-chain token events are kept in lockstep, giving regulators a provable link between asset and token.

02 / HOW ARE DISTRIBUTIONS HANDLED?

Pro-rata income distributions are deterministic Numscript transactions — auditable and reproducible. Allocations cannot silently drift from the holder register.

03 / WHAT KEEPS CASH AND SUPPLY IN SYNC?

Subscriptions, distributions and redemptions each post on the cash leg and mirror to token events, so circulating supply and backing cash always agree.

04 / IS THE FULL HISTORY AUDITABLE?

Yes. Every movement is an immutable double-entry transaction, so you can reconstruct custody balances and token state at any point in time.

_GET STARTED/

Build on infrastructure you can trust

See how Formance fits your stack, book a demo, or start building today.