Prove a fact about a sealed position without unsealing it — here, that a holding is a member of the compliance-vetted set — and have it checked on Stellar. The proof is generated in your browser and verified by the on-chain contract; it reveals nothing but two Merkle roots, never the amount, the owner, or which deposit.