It implements transactions without relying on specific database features.

A scalable and practical Byzantine fault detection middleware.