hash trees and bank solvency