Struct VerificationParameters 

pub struct VerificationParameters<T: Float + Debug + Send + Sync + 'static> { /* private fields */ }

Keyed integrity tag over an aggregation result.

The key is generated per instance from OS entropy and never leaves the process, so the tag is only verifiable by the instance that produced it. It detects accidental corruption of an aggregate held in memory or on disk; it is not a proof of correct aggregation and cannot be checked by a third party.

Implementations

impl<T: Float + Debug + Send + Sync + 'static> VerificationParameters<T>

pub fn new() -> Self

Create parameters with an OS-seeded key.

pub fn with_seed(seed: u64) -> Self

Create deterministic parameters from an explicit seed.

Test-only.

pub fn generate_verification_data( &self, aggregate: &Array1<T>, ) -> Result<Vec<u8>>

Produce the keyed integrity tag for aggregate.

pub fn verify_verification_data( &self, aggregate: &Array1<T>, tag: &[u8], ) -> Result<bool>

Check a tag previously produced by this instance.

Trait Implementations

impl<T: Float + Debug + Send + Sync + 'static> Default for VerificationParameters<T>

fn default() -> Self

Returns the “default value” for a type.