Carp: A cost-aware relaxed protocol for encrypted data stores. (August 2020)