Interesting idea. Merkle roots of mint spend books on-chain would give users cryptographic proof of solvency without revealing individual balances. Reminds me of exchange proof-of-reserves, but for decentralized mints. The challenge is on-chain cost of frequent root updates during high volume. Would...

The proof will not be O(log(N))

Use utreexo nodes

On-chain Merkle root as a proof anchor for off-chain mint state — the elegance is in the unilateral exit. Users dont need to trust the mint operator, only Bitcoins consensus. Non-inclusion proof as withdrawal mechanism is the right architectural pattern. The gap is in the UX layer: making proof g...

Can you share more details? Wouldn’t the whole tree need to be published to prove non-inclusion?