Release TFHE-rs v0.8.0 · zama-ai/tfhe-rs

Summary

TFHE-rs v0.8.0 includes several enhancements and new features, here are the highlights:

Array types: Simplify working with vectors and tensors of integer ciphertexts.
CPU algorithms optimization: integer algorithms have been optimized: the 64 bits multiplication is now 16% faster for the default parameter set.
Single GPU performance improvement: Thanks to optimizations in the Programmable Bootstrap and the Fast Fourier Transform CUDA implementations, the performance has been improved by approximately 20%.
Multi-GPU support improvement:
- All Nvidia GPUs can now be used in the computations, including those connected with PCIe.
- NVLink connections between GPUs are used for memory transfers when available.
Default GPU parameters: It's no longer necessary to modify cryptographic parameters when using GPU acceleration with TFHE-rs.
Compression and decompression on the GPU: Ciphertext compression and decompression are now supported on GPUs, along with new integer operations.

Warning

safe_serialize_versioned/safe_deserialize_versioned have been removed, and safe_serialize/safe_deserialize now adds versioning to the serialized types. For more flexibility, you can use SerializationConfig and DeserializationConfig.
The CiphertextList trait must be in scope to use the common methods of the CompressedCiphertextList and CompactCiphertextListExpander.
With the addition of the tagging system for HL API structs, raw parts APIs have been updated to manage the new tag field on relevant structs.
Expansion of CompactCiphertextList and ProvenCompactCiphertextList now takes a signle IntegerCompactCiphertextListExpansionMode to manage keyswitching and applying lookup tables when required.
The encrypted pseudo random generation API has changed.
tfhe-zk-pok and TFHE-rs APIs now support custom metadata passed by users at encryption time.

Add array types
Add a tag system to annotate structs with custom metadata
Add versioning to the KeySwitchingKey
Add missing raw parts APIs in the HL API
Add is_even/is_odd
Add ability to use safe serialization on key types
Add random encrypted FheBool generation
Add conformance to ProvenCompactCiphertextList
Add key conformance
Add integer bit slicing
Add count zeros/ones
ZK-POK: add ability to associate metadata to a proof
Add ability to construct a ClientKey from a user provided secret encryption key in shortint

Improve carry propagation performance, this positively impacts, add, sub, mul, div and comparisons
Improve performance in some cases during CompactCiphertextList expansion
Improve performance of non native modulus operations
WASM: add ability to encrypt u{512, 1024, 2048} with a CompactPublicKey
WASM: add ability to read the kind of an encrypted slot in a CompactListExpander
ZK-POK: improve performance on WASM for browser execution
ZK-POK: improve performance when proving less bits than what a proof can hold
ZK-POK: add versioning

Fix wrong Named implementation for CompressedCiphertextList
Fix Client/Server Key versioning
Fix CompactCiphertextList's expand_with_key which could fail to expand lists in certain circumstances
Remove double carry propagation in sub
Versioning: fix the bounds added in the derived traits for the Versionize macro which were sometimes unsatisfiable