Struct ProvenCompactCiphertextList 

pub struct ProvenCompactCiphertextList { /* private fields */ }

Implementations

impl ProvenCompactCiphertextList

pub fn builder(pk: &CompactPublicKey) -> CompactCiphertextListBuilder

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn get_kind_of(&self, index: usize) -> Option<FheTypes>

pub fn verify( &self, crs: &CompactPkeCrs, pk: &CompactPublicKey, metadata: &[u8], ) -> ZkVerificationOutcome

pub fn verify_and_expand( &self, crs: &CompactPkeCrs, pk: &CompactPublicKey, metadata: &[u8], ) -> Result<CompactCiphertextListExpander>

Trait Implementations

impl Clone for ProvenCompactCiphertextList

fn clone(&self) -> ProvenCompactCiphertextList

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'de> Deserialize<'de> for ProvenCompactCiphertextList

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Named for ProvenCompactCiphertextList

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

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 ProvenCompactCiphertextList

type ParameterSet = IntegerProvenCompactCiphertextListConformanceParams

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

impl Serialize for ProvenCompactCiphertextList

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 ProvenCompactCiphertextList

fn tag(&self) -> &Tag

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

impl Unversionize for ProvenCompactCiphertextList

where ProvenCompactCiphertextListVersions: 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 ProvenCompactCiphertextList

where ProvenCompactCiphertextListVersions: VersionsDispatch<Self>,

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

impl Version for ProvenCompactCiphertextList

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

type Ref<'vers> = ProvenCompactCiphertextListVersion<'vers>

type Owned = ProvenCompactCiphertextListVersionOwned

impl Versionize for ProvenCompactCiphertextList

where ProvenCompactCiphertextListVersions: VersionsDispatch<Self>,

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

where ProvenCompactCiphertextListVersions: VersionsDispatch<Self>,

type VersionedOwned = <ProvenCompactCiphertextListVersions as VersionsDispatch<ProvenCompactCiphertextList>>::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 ProvenCompactCiphertextList

where ProvenCompactCiphertextListVersions: VersionsDispatch<Self>,

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

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

impl VersionizeVec for ProvenCompactCiphertextList

where ProvenCompactCiphertextListVersions: VersionsDispatch<Self>,

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

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

impl VersionsDispatch<ProvenCompactCiphertextList> for ProvenCompactCiphertextListVersions

where ProvenCompactCiphertextList: Version,

type Ref<'vers> = ProvenCompactCiphertextListVersionsDispatch<'vers>

type Owned = ProvenCompactCiphertextListVersionsDispatchOwned