Implements transactions without relying on specific database features

Scalable and practical Byzantine-fault detection middleware