Blog

Notes on proving solvency.

FeaturedConcepts · 6 min

Proof of reserves is the easy half

Showing the assets you hold is the part anyone can do. The number that decides whether customers get paid back is the one nobody publishes.

Emmanuel· Jun 16, 2026
A balance scale with one pan loaded and the other empty
A binary tree of nodes summing upward into a single glowing root
Engineering · 8 min

Committing to every liability: a Merkle sum tree in Noir

A plain Merkle tree proves a value is in a set. It does nothing to stop you leaving values out. Here is the structure that does, and how we build it in Noir.

Josh · Jun 10, 2026
A settlement record locking into place over a sparse field of stars
Engineering · 6 min

Why Solva settles its proofs on Stellar

A proof nobody can re-check is just a claim. Picking where verification lives came down to three boring, decisive requirements.

Josh · Jun 3, 2026
A redacted document with a single value left revealed
Regulation · 5 min

Telling a regulator one number, and nothing else

Supervision usually trades privacy for assurance: hand over the ledger so someone can check one figure. Selective disclosure breaks that trade.

Sogo · May 27, 2026

Solvency, in your inbox.

Occasional, technical, no fluff. New writing on ZK proofs and reserves.