:nut_and_bolt: a secure database with replication that is guaranteed to work