void blind_the_database(uint64_t * db, uint64_t blind, size_t db_size) { for(size_t j = 0; j < db_size; ++j) db[j] += blind; }