Struct ArrayPedersenVerifierSet

#[repr(transparent)]
pub struct ArrayPedersenVerifierSet<S, V, const L: usize>
where
    S: Share,
    V: ShareVerifier<S>,
{
    pub inner: [V; L],
    pub _marker: PhantomData<S>,
}

A wrapper around arrays of verifiers Allows for convenient type aliasing

use vsss_rs::{DefaultShare, IdentifierPrimeField, ValueGroup, ArrayPedersenVerifierSet};
type K256Share = DefaultShare<IdentifierPrimeField<k256::Scalar>, IdentifierPrimeField<k256::Scalar>>;
type K256PedersenVerifierSet = ArrayPedersenVerifierSet<K256Share, ValueGroup<k256::ProjectivePoint>, 4>;

Fields

inner: [V; L]

The inner array set to threshold + 2

_marker: PhantomData<S>

Marker for phantom data

Trait Implementations

impl<S, V, const L: usize> Clone for ArrayPedersenVerifierSet<S, V, L>

where S: Share + Clone, V: ShareVerifier<S> + Clone,

fn clone(&self) -> ArrayPedersenVerifierSet<S, V, L>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S, V, const L: usize> Debug for ArrayPedersenVerifierSet<S, V, L>

where S: Share + Debug, V: ShareVerifier<S> + Debug,

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

Formats the value using the given formatter.

impl<S, V, const L: usize> Default for ArrayPedersenVerifierSet<S, V, L>

where S: Share, V: ShareVerifier<S>, [V; L]: Default,

fn default() -> Self

Returns the “default value” for a type.

impl<S, V, const L: usize> Deref for ArrayPedersenVerifierSet<S, V, L>

where S: Share, V: ShareVerifier<S>,

type Target = [V; L]

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<S, V, const L: usize> DerefMut for ArrayPedersenVerifierSet<S, V, L>

where S: Share, V: ShareVerifier<S>,

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<S, V, const L: usize> From<&[V; L]> for ArrayPedersenVerifierSet<S, V, L>

where S: Share, V: ShareVerifier<S>,

fn from(inner: &[V; L]) -> Self

Converts to this type from the input type.

impl<S, V, const L: usize> From<&ArrayPedersenVerifierSet<S, V, L>> for [V; L]

where S: Share, V: ShareVerifier<S>,

fn from(set: &ArrayPedersenVerifierSet<S, V, L>) -> Self

Converts to this type from the input type.

impl<S, V, const L: usize> From<[V; L]> for ArrayPedersenVerifierSet<S, V, L>

where S: Share, V: ShareVerifier<S>,

fn from(inner: [V; L]) -> Self

Converts to this type from the input type.

impl<S, V, const L: usize> From<ArrayPedersenVerifierSet<S, V, L>> for [V; L]

where S: Share, V: ShareVerifier<S>,

fn from(set: ArrayPedersenVerifierSet<S, V, L>) -> Self

Converts to this type from the input type.

impl<S, V, const L: usize> PedersenVerifierSet<S, V> for ArrayPedersenVerifierSet<S, V, L>

where S: Share, V: ShareVerifier<S>,

fn empty_pedersen_set_with_capacity( size_hint: usize, secret_generator: V, blinder_generator: V, ) -> Self

Create a new verifier set

fn secret_generator(&self) -> V

The generator used for the verifiers of secrets

fn blinder_generator(&self) -> V

The generator used for the verifiers of blinders

fn blind_verifiers(&self) -> &[V]

The verifiers

fn blind_verifiers_mut(&mut self) -> &mut [V]

The verifiers as writeable

fn pedersen_set_with_generators_and_verifiers( secret_generator: G, blinder_generator: G, verifiers: &[G], ) -> Self

Create a verifier set from an existing set of verifiers and generators

fn verify_share_and_blinder(&self, share: &S, blinder: &S) -> VsssResult<()>

Verify a share and blinder with this set

impl<S, V, const L: usize> Copy for ArrayPedersenVerifierSet<S, V, L>

where S: Share + Copy, V: ShareVerifier<S> + Copy,