A middleware for uniform totally ordered broadcast