Struct SubmoduleMembership 

pub struct SubmoduleMembership<R: Ring> { /* private fields */ }

Replayable coefficients proving that an element belongs to a submodule.

The coefficient vector is expressed in the canonical generator map retained by Submodule, so generator_map * coefficients = element can be checked without trusting the membership computation.

Implementations

impl<R: Ring> SubmoduleMembership<R>

pub fn submodule(&self) -> &Submodule<R>

Submodule whose membership is certified.

pub fn element(&self) -> &ModuleElement<R>

Ambient element certified to lie in the submodule.

pub fn coefficients(&self) -> &Vector<R>

Coefficients in the retained canonical generators.

pub fn verify(&self) -> Result<(), VerificationError>

Reconstruct the represented element from the canonical generator map.

pub fn to_json(&self) -> Result<String, NoetherError>

where R: Serialize, R::Element: Serialize,

Serialize this proof with exact context identity and replay data.

pub fn from_json(value: &str) -> Result<Self, NoetherError>

where R: for<'de> Deserialize<'de>, R::Element: for<'de> Deserialize<'de>,

Deserialize and replay a membership proof.

Trait Implementations

impl<R: Clone + Ring> Clone for SubmoduleMembership<R>

fn clone(&self) -> SubmoduleMembership<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'de, R> Deserialize<'de> for SubmoduleMembership<R>

where R: Ring + Deserialize<'de>, R::Element: Deserialize<'de>,

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<R: Ring> SemanticType for SubmoduleMembership<R>

const TYPE_ID: &'static str = "noether/homalg/SubmoduleMembership@1"

Versioned, language-neutral semantic identity.

fn canonical_bytes(&self) -> Result<Vec<u8>, NoetherError>

Serialize without backend- or language-specific identity.

fn describe() -> &'static TypeDescription

Return static discovery metadata for the type.

impl<R> Serialize for SubmoduleMembership<R>

where R: Ring + Serialize, R::Element: Serialize,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.