Home Gudgeon and gist Freedom to Tinker Provisions: how Bitcoin exchanges can prove their solvency