github/tfhe-rs
1
1
Fork 0
mirror of https://github.com/zama-ai/tfhe-rs.git synced 2026-01-09 14:47:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore: detect degree in compact list conformance

Browse Source
This commit is contained in:
Nicolas Sarlin
2025-11-28 17:34:32 +01:00
committed by Nicolas Sarlin
parent f8ee0b3649
commit 4d6aeebd0c
8 changed files with 311 additions and 151 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tfhe/docs/fhe-computation/data-handling/serialization.md
View File

@@ -105,15 +105,15 @@ fn main() {
let msgs = [27, 188u8];
let mut builder = CompactCiphertextList::builder(&public_key);
builder.extend(msgs.iter().copied());
let compact_list = builder.build();
let compact_list = builder.build_packed();
let mut buffer = vec![];
safe_serialize(&compact_list, &mut buffer, 1 << 20).unwrap();
let conformance_params = CompactCiphertextListConformanceParams {
shortint_params: params_1.to_shortint_conformance_param(),
num_elements_constraint: ListSizeConstraint::exact_size(2),
};
let conformance_params =
CompactCiphertextListConformanceParams::from_parameters_and_size_constraint(
params_1.try_into().unwrap(),
ListSizeConstraint::exact_size(2));
safe_deserialize_conformant::<CompactCiphertextList>(buffer.as_slice(), 1 << 20, &conformance_params)
.unwrap();
}