Downloadable computer software and downloadable middleware featuring scalable and practical Byzantine fault detection for transactional database systems; Downloadable computer software and downloadable middleware featuring distributed ledger technology that detects Byzantine faults in a scalable and practical way