Scheme and companion tool to prove how many bitcoins someone controls.