If they wanted a simple, verifiable database, a public Merkel tree would suffice. A Git Repository with a list of balances would be more than sufficient, and ve

If they wanted a simple, verifiable database, a public Merkel tree would suffice. A Git Repository with a list of balances would be more than sufficient, and verification of proof would be as simple as "walk the tree backwards" and verifying that they all summed up correctly at each step, plus some signatures required to touch your account negatively. Bitcoin has never been about proof and verification; it's always been about the decentralized claim, but mostly as an excuse to give it a reason to exist.