Microsoft SEAL: вычитание двух зашифрованных текстов PolyCRT приводит к переполнению

Question

Предположим, у меня есть два массива x = [1,2,3,4,5] и xMean = [3,3,3,3,3]. Я создал и зашифровал два массива с помощью PolyCRTBuilder ( xCiphertext и xMeanCiphertext) . Если я вычту два зашифрованных текста ( xCiphertext MINUS xMeanCiphertext), я должен получить xResult = [-2, -1, 0, 1, 2], но после гомоморфного вычитания я получу xResultDecrypted = [40959, 40960, 0, 1, 2 ]. Я могу связать результат переполнения с набором простого модуля, но есть ли способ обойти эту проблему. Вот код:

int main()  {

    EncryptionParameters parms;
    parms.set_poly_modulus("1x^4096 + 1");
    parms.set_coeff_modulus(coeff_modulus_128(4096));
    parms.set_plain_modulus(40961);

    SEALContext context(parms);

    KeyGenerator keygen(context);
    auto public_key = keygen.public_key();
    auto secret_key = keygen.secret_key();

    Encryptor encryptor(context, public_key);
    Evaluator evaluator(context);
    Decryptor decryptor(context, secret_key);

    PolyCRTBuilder crtbuilder(context);

    int slot_count = crtbuilder.slot_count();
    int row_size = slot_count / 2;

    vector<uint64_t> x_pod_matrix(slot_count, 0);
    x_pod_matrix[0] = 1;
    x_pod_matrix[1] = 2;
    x_pod_matrix[2] = 3;
    x_pod_matrix[3] = 4;
    x_pod_matrix[4] = 5;

    Plaintext x_plain_matrix;
    crtbuilder.compose(x_pod_matrix, x_plain_matrix);

    Ciphertext x_encrypted_matrix;

    encryptor.encrypt(x_plain_matrix, x_encrypted_matrix);

    vector<uint64_t> x_mean_pod_matrix(slot_count, 0);
    x_mean_pod_matrix[0] = 3;
    x_mean_pod_matrix[1] = 3;
    x_mean_pod_matrix[2] = 3;
    x_mean_pod_matrix[3] = 3;
    x_mean_pod_matrix[4] = 3;

    Plaintext x_mean_plain_matrix;
    crtbuilder.compose(x_mean_pod_matrix, x_mean_plain_matrix);

    Ciphertext x_mean_encrypted_matrix;

    encryptor.encrypt(x_mean_plain_matrix, x_mean_encrypted_matrix);

    evaluator.sub_plain(x_encrypted_matrix, x_mean_encrypted_matrix);

    // Decrypt x_encrypted_matrix
    Plaintext x_plain_result;

    decryptor.decrypt(x_encrypted_matrix, x_plain_result);

    vector<uint64_t> pod_result;

    crtbuilder.decompose(x_plain_result, pod_result);

    for(int i = 0; i < 5; i++)  {

        std::cout << pod_result[i] << '\n';

    }

    /*
    Expected output:
    -2
    -1
     0
     1
     2  
    */

    /*
     Actual output:
     40959
     40960
     0
     1
     2
    */


  return 0;

}

valuator.negate() не поможет решить мою проблему.

Answer 1

Таким образом, результат, который вы получаете, является правильным, потому что открытый текст определяется только по модулю plain_modulus, Существует перегрузка PolyCRTBuilder::decompose это занимает вектор std::int64_t и автоматически выполнит преобразование, которое вы надеетесь увидеть.