Struct CompressedFheBool 

pub struct CompressedFheBool { /* private fields */ }

Compressed FheBool

Meant to save in storage space / transfer.

• A Compressed type must be decompressed before it can be used.
• It is not possible to compress an existing FheBool, compression can only be achieved at encryption time

Example

use tfhe::prelude::*;
use tfhe::{generate_keys, CompressedFheBool, ConfigBuilder};

let (client_key, _) = generate_keys(ConfigBuilder::default());
let compressed = CompressedFheBool::encrypt(true, &client_key);

let decompressed = compressed.decompress();
let decrypted: bool = decompressed.decrypt(&client_key);
assert!(decrypted);

Implementations

impl CompressedFheBool

pub fn decompress(&self) -> FheBool

Decompresses itself into a FheBool

See CompressedFheBool example.

Trait Implementations

impl Clone for CompressedFheBool

fn clone(&self) -> CompressedFheBool

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'de> Deserialize<'de> for CompressedFheBool

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl FheTryEncrypt<bool, ClientKey> for CompressedFheBool

fn try_encrypt(value: bool, key: &ClientKey) -> Result<Self, Self::Error>

Creates a compressed encryption of a boolean value

type Error = Error

impl Named for CompressedFheBool

const NAME: &'static str = "high_level_api::CompressedFheBool"

Default name for the type

const BACKWARD_COMPATIBILITY_ALIASES: &'static [&'static str] = _

Aliases that should also be accepted for backward compatibility when checking the name of values of this type

impl ParameterSetConformant for CompressedFheBool

type ParameterSet = CompressedFheBoolConformanceParams

fn is_conformant(&self, params: &CompressedFheBoolConformanceParams) -> bool

impl Serialize for CompressedFheBool

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Tagged for CompressedFheBool

fn tag(&self) -> &Tag

fn tag_mut(&mut self) -> &mut Tag

impl Unversionize for CompressedFheBool

where CompressedFheBoolVersions: VersionsDispatch<Self>,

fn unversionize( versioned: Self::VersionedOwned, ) -> Result<Self, UnversionizeError>

Creates an object from a versioned enum, and eventually upgrades from previous variants.

impl UnversionizeVec for CompressedFheBool

where CompressedFheBoolVersions: VersionsDispatch<Self>,

fn unversionize_vec( versioned: Self::VersionedVec, ) -> Result<Vec<Self>, UnversionizeError>

impl Version for CompressedFheBool

where InnerCompressedFheBool: VersionizeOwned + Unversionize + Versionize, Tag: VersionizeOwned + Unversionize + Versionize,

type Ref<'vers> = CompressedFheBoolVersion<'vers>

type Owned = CompressedFheBoolVersionOwned

impl Versionize for CompressedFheBool

where CompressedFheBoolVersions: VersionsDispatch<Self>,

type Versioned<'vers> = <CompressedFheBoolVersions as VersionsDispatch<CompressedFheBool>>::Ref<'vers>

The equivalent versioned type. It should have a variant for each version. It may own the underlying data or only hold a read-only reference to it.

fn versionize(&self) -> Self::Versioned<'_>

Wraps the object into a versioned enum with a variant for each version. This will use references on the underlying types if possible.

impl VersionizeOwned for CompressedFheBool

where CompressedFheBoolVersions: VersionsDispatch<Self>,

type VersionedOwned = <CompressedFheBoolVersions as VersionsDispatch<CompressedFheBool>>::Owned

fn versionize_owned(self) -> Self::VersionedOwned

Wraps the object into a versioned enum with a variant for each version. This will clone the underlying types.

impl VersionizeSlice for CompressedFheBool

where CompressedFheBoolVersions: VersionsDispatch<Self>,

type VersionedSlice<'vers> = Vec<<CompressedFheBool as Versionize>::Versioned<'vers>>

fn versionize_slice(slice: &[Self]) -> Self::VersionedSlice<'_>

impl VersionizeVec for CompressedFheBool

where CompressedFheBoolVersions: VersionsDispatch<Self>,

type VersionedVec = Vec<<CompressedFheBool as VersionizeOwned>::VersionedOwned>

fn versionize_vec(vec: Vec<Self>) -> Self::VersionedVec

impl VersionsDispatch<CompressedFheBool> for CompressedFheBoolVersions

where InnerCompressedFheBool: Version + Upgrade<CompressedFheBool>, CompressedFheBool: Version,

type Ref<'vers> = CompressedFheBoolVersionsDispatch<'vers>

type Owned = CompressedFheBoolVersionsDispatchOwned