Struct tfhe::CompactFheBoolList

pub struct CompactFheBoolList { /* private fields */ }

Available on crate feature integer only.

Compact list of FheBool

Meant to save in storage space / transfer.

• A Compact type must be expanded using expand before it can be used.
• It is not possible to ‘compact’ an existing FheBool. Compacting can only be achieved at encryption time by a CompactPublicKey

Example

use tfhe::prelude::*;
use tfhe::{generate_keys, CompactFheBoolList, CompactPublicKey, ConfigBuilder};

let (client_key, _) = generate_keys(ConfigBuilder::default());
let compact_public_key = CompactPublicKey::try_new(&client_key).unwrap();

let clears = vec![false, true];
let compact = CompactFheBoolList::encrypt(&clears, &compact_public_key);
assert_eq!(compact.len(), clears.len());

let ciphertexts = compact.expand();
let decrypted: Vec<bool> = ciphertexts
    .into_iter()
    .map(|ciphertext| ciphertext.decrypt(&client_key))
    .collect();
assert_eq!(decrypted, clears);

Implementations

impl CompactFheBoolList

pub fn len(&self) -> usize

Returns the number of element in the compact list

pub fn is_empty(&self) -> bool

pub fn expand(&self) -> Vec<FheBool>

Expand to a Vec<FheBool>

See CompactFheBoolList example.

Trait Implementations

impl Clone for CompactFheBoolList

fn clone(&self) -> CompactFheBoolList

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de> Deserialize<'de> for CompactFheBoolList

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> FheTryEncrypt<&'a [bool], CompactPublicKey> for CompactFheBoolList

fn try_encrypt( values: &'a [bool], key: &CompactPublicKey ) -> Result<Self, Self::Error>

Encrypts a slice of bool

See CompactFheBoolList example.

type Error = Error

impl Named for CompactFheBoolList

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

impl ParameterSetConformant for CompactFheBoolList

type ParameterSet = RadixCompactCiphertextListConformanceParams

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

impl Serialize for CompactFheBoolList

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

where __S: Serializer,

Serialize this value into the given Serde serializer.