feat(tfhe): add possibility to expand a ciphertext without verifying it

This commit is contained in:
Arthur Meyre
2024-09-11 17:26:03 +02:00
parent c45ee6a236
commit 0e6423820f
7 changed files with 261 additions and 0 deletions

View File

@@ -411,6 +411,10 @@ async function compactPublicKeyZeroKnowledge() {
);
assert_eq(expander.get_uint64(0).decrypt(clientKey), input);
let unverified_expander = deserialized.expand_without_verification();
assert_eq(unverified_expander.get_uint64(0).decrypt(clientKey), input);
}
{
@@ -450,6 +454,16 @@ async function compactPublicKeyZeroKnowledge() {
assert_eq(expander.get_uint64(2).decrypt(clientKey), inputs[2]);
assert_eq(expander.get_uint64(3).decrypt(clientKey), inputs[3]);
let unverified_expander = encrypted.expand_without_verification();
assert_eq(unverified_expander.get_uint64(0).decrypt(clientKey), inputs[0]);
assert_eq(unverified_expander.get_uint64(1).decrypt(clientKey), inputs[1]);
assert_eq(unverified_expander.get_uint64(2).decrypt(clientKey), inputs[2]);
assert_eq(unverified_expander.get_uint64(3).decrypt(clientKey), inputs[3]);
}
}