Hash trees and bank solvency.