Struct CompressedServerKey

pub struct CompressedServerKey {
    pub compressed_ap_server_key: CompressedAtomicPatternServerKey,
    pub message_modulus: MessageModulus,
    pub carry_modulus: CarryModulus,
    pub max_degree: MaxDegree,
    pub max_noise_level: MaxNoiseLevel,
}

Available on crate feature shortint only.

A structure containing a compressed server public key.

The server key is generated by the client and is meant to be published: the client sends it to the server so it can compute homomorphic circuits.

Fields

compressed_ap_server_key: CompressedAtomicPatternServerKey

message_modulus: MessageModulus

carry_modulus: CarryModulus

max_degree: MaxDegree

max_noise_level: MaxNoiseLevel

Implementations

impl CompressedServerKey

pub fn new(client_key: &ClientKey) -> Self

Generate a compressed server key.

Example

use tfhe::shortint::client_key::ClientKey;
use tfhe::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_KS_PBS;
use tfhe::shortint::server_key::CompressedServerKey;

// Generate the client key:
let cks = ClientKey::new(PARAM_MESSAGE_2_CARRY_2_KS_PBS);

let sks = CompressedServerKey::new(&cks);

pub fn decompress(&self) -> ServerKey

Decompress a CompressedServerKey into a ServerKey.

pub fn into_raw_parts( self, ) -> (CompressedAtomicPatternServerKey, MessageModulus, CarryModulus, MaxDegree, MaxNoiseLevel)

Deconstruct a CompressedServerKey into its constituents.

pub fn from_raw_parts( compressed_ap_server_key: CompressedAtomicPatternServerKey, message_modulus: MessageModulus, carry_modulus: CarryModulus, max_degree: MaxDegree, max_noise_level: MaxNoiseLevel, ) -> Self

Construct a CompressedServerKey from its constituents.

Panics

Panics if the constituents are not compatible with each others.

pub fn new_with_max_degree(cks: &ClientKey, max_degree: MaxDegree) -> Self

Generate a compressed server key with a chosen maximum degree

pub fn ciphertext_lwe_dimension(&self) -> LweDimension

pub fn ciphertext_modulus(&self) -> CiphertextModulus

pub fn bootstrapping_key_size_bytes(&self) -> usize

pub fn bootstrapping_key_size_elements(&self) -> usize

Trait Implementations

impl Clone for CompressedServerKey

fn clone(&self) -> CompressedServerKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompressedServerKey

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deprecable for CompressedServerKey

const TYPE_NAME: &'static str = "CompressedServerKey"

const MIN_SUPPORTED_APP_VERSION: &'static str = "TFHE-rs v0.10"

fn error() -> DeprecatedVersionError

impl<'de> Deserialize<'de> for CompressedServerKey

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ParameterSetConformant for CompressedServerKey

type ParameterSet = (AtomicPatternParameters, MaxDegree)

fn is_conformant( &self, (parameter_set, expected_max_degree): &Self::ParameterSet, ) -> bool

impl PartialEq for CompressedServerKey

fn eq(&self, other: &CompressedServerKey) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CompressedServerKey

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Unversionize for CompressedServerKey

where CompressedServerKeyVersions: 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 CompressedServerKey

where CompressedServerKeyVersions: VersionsDispatch<Self>,

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

impl Upgrade<CompressedServerKey> for CompressedServerKeyV2

type Error = Infallible

fn upgrade(self) -> Result<CompressedServerKey, Self::Error>

impl Version for CompressedServerKey

where CompressedAtomicPatternServerKey: VersionizeOwned + Unversionize + Versionize, MessageModulus: VersionizeOwned + Unversionize + Versionize, CarryModulus: VersionizeOwned + Unversionize + Versionize, MaxDegree: VersionizeOwned + Unversionize + Versionize, MaxNoiseLevel: VersionizeOwned + Unversionize + Versionize,

type Ref<'vers> = CompressedServerKeyVersion<'vers>

type Owned = CompressedServerKeyVersionOwned

impl Versionize for CompressedServerKey

where CompressedServerKeyVersions: VersionsDispatch<Self>,

type Versioned<'vers> = <CompressedServerKeyVersions as VersionsDispatch<CompressedServerKey>>::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 CompressedServerKey

where CompressedServerKeyVersions: VersionsDispatch<Self>,

type VersionedOwned = <CompressedServerKeyVersions as VersionsDispatch<CompressedServerKey>>::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 CompressedServerKey

where CompressedServerKeyVersions: VersionsDispatch<Self>,

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

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

impl VersionizeVec for CompressedServerKey

where CompressedServerKeyVersions: VersionsDispatch<Self>,

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

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

impl VersionsDispatch<CompressedServerKey> for CompressedServerKeyVersions

where Deprecated<CompressedServerKey>: Version + Upgrade<Deprecated<CompressedServerKey>> + Upgrade<CompressedServerKeyV2>, CompressedServerKeyV2: Version + Upgrade<CompressedServerKey>, CompressedServerKey: Version,

type Ref<'vers> = CompressedServerKeyVersionsDispatch<'vers>

type Owned = CompressedServerKeyVersionsDispatchOwned

impl StructuralPartialEq for CompressedServerKey