Struct FieldShare 

pub struct FieldShare<F>
where
    F: FieldExtension,
{ /* private fields */ }

Authenticated share <x_i> of secret shared held by P_i (this party).

They are composed of:

• x_i, the unauthenticated share value (s.t. x = Σ x_i)
• {MAC(x_i)_j} ∀j∈[1..n]∖{i}, the MACs of x_i for each of the other n-1 parties.
• {β_ij} ∀j∈[1..n]∖{i} and {α_ij} ∀j∈[1..n]∖{i}, the (local and global) keys tied to the values&MACs of the other n-1 parties.

The authenticated shares fulfill this relation:

MAC(x_i)_j = α_ji · x_i + β_ji ∀i∈[1..n] ∀j∈[1..n]∖{i}

where β_ji and α_ji are the (local and global) keys of x_i held by P_j.

Implementations

impl<F: FieldExtension> FieldShare<F>

pub fn try_new( value: SubfieldElement<F>, macs: Box<[FieldElement<F>]>, keys: Box<[FieldShareKey<F>]>, ) -> Result<Self, PrimitiveError>

pub fn zero_from_alphas( alphas: impl ExactSizeIterator<Item = GlobalFieldKey<F>>, ) -> Self

pub fn get_value(&self) -> &SubfieldElement<F>

pub fn value(self) -> SubfieldElement<F>

pub fn get_macs(&self) -> &[FieldElement<F>]

pub fn get_mac(&self, peer_index: PeerIndex) -> Option<&FieldElement<F>>

pub fn get_keys(&self) -> &[FieldShareKey<F>]

pub fn get_key(&self, peer_index: PeerIndex) -> Option<&FieldShareKey<F>>

pub fn get_alphas( &self, ) -> impl ExactSizeIterator<Item = GlobalFieldKey<F>> + '_

pub fn n_parties(&self) -> usize

Trait Implementations

impl<'a, F: FieldExtension> Add<&'a FieldShare<F>> for &FieldShare<F>

where FieldShare<F>: Clone,

type Output = FieldShare<F>

The resulting type after applying the + operator.

fn add(self, rhs: &'a FieldShare<F>) -> Self::Output

Performs the + operation.

impl<'a, F: FieldExtension> Add<&'a FieldShare<F>> for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the + operator.

fn add(self, other: &'a FieldShare<F>) -> Self::Output

Performs the + operation.

impl<'a, F: FieldExtension> Add<FieldShare<F>> for &FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the + operator.

fn add(self, rhs: FieldShare<F>) -> Self::Output

Performs the + operation.

impl<'a, F: FieldExtension> Add for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the + operator.

fn add(self, rhs: FieldShare<F>) -> Self::Output

Performs the + operation.

impl<'a, F: FieldExtension> AddAssign<&'a FieldShare<F>> for FieldShare<F>

fn add_assign(&mut self, other: &'a FieldShare<F>)

Performs the += operation.

impl<'a, F: FieldExtension> AddAssign for FieldShare<F>

fn add_assign(&mut self, rhs: FieldShare<F>)

Performs the += operation.

impl<F: FieldExtension> AddPlaintext for FieldShare<F>

fn add_plaintext( &self, plaintext: &SubfieldElement<F>, is_peer_zero: IsFirstPeer, ) -> Self

Adds a plaintext to the secret shared value, updating the keys accordingly. A designated peer (P_0) will modify its value, while the other peers will update their keys.

fn add_plaintext_owned( self, plaintext: &SubfieldElement<F>, is_peer_zero: IsFirstPeer, ) -> Self

Adds a plaintext to the secret shared value, updating the keys accordingly. A designated peer (P_0) will modify its value, while the other peers will update their keys.

type AssociatedInformation = bool

impl<F> Clone for FieldShare<F>

where F: FieldExtension + Clone,

fn clone(&self) -> FieldShare<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: FieldExtension> ConditionallySelectable for FieldShare<F>

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

impl<F: FieldExtension> ConstantTimeEq for FieldShare<F>

fn ct_eq(&self, other: &Self) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

impl<F> Debug for FieldShare<F>

where F: FieldExtension + Debug,

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

Formats the value using the given formatter.

impl<F> Default for FieldShare<F>

where F: FieldExtension + Default,

fn default() -> FieldShare<F>

Returns the “default value” for a type.

impl<'de, F> Deserialize<'de> for FieldShare<F>

where F: FieldExtension,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: FieldExtension> From<FieldShare<F>> for FieldShares<F, U1>

fn from(share: FieldShare<F>) -> Self

Converts to this type from the input type.

impl<F: FieldExtension, N: Positive> FromIterator<FieldShare<F>> for FieldShares<F, N>

fn from_iter<T: IntoIterator<Item = FieldShare<F>>>(iter: T) -> Self

Creates a value from an iterator.

impl<'a, C: Curve> Mul<&'a FieldShare<<C as Curve>::Scalar>> for &Point<C>

where Point<C>: Clone,

type Output = PointShare<C>

The resulting type after applying the * operator.

fn mul(self, rhs: &'a ScalarShare<C>) -> Self::Output

Performs the * operation.

impl<'a, C: Curve> Mul<&'a FieldShare<<C as Curve>::Scalar>> for Point<C>

type Output = PointShare<C>

The resulting type after applying the * operator.

fn mul(self, other: &'a ScalarShare<C>) -> PointShare<C>

Performs the * operation.

impl<'a, F: FieldExtension> Mul<&'a SubfieldElement<F>> for &FieldShare<F>

where FieldShare<F>: Clone,

type Output = FieldShare<F>

The resulting type after applying the * operator.

fn mul(self, rhs: &'a SubfieldElement<F>) -> Self::Output

Performs the * operation.

impl<'a, F: FieldExtension> Mul<&'a SubfieldElement<F>> for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the * operator.

fn mul(self, other: &'a SubfieldElement<F>) -> FieldShare<F>

Performs the * operation.

impl<'a, C: Curve> Mul<FieldShare<<C as Curve>::Scalar>> for &Point<C>

where Point<C>: Clone,

type Output = PointShare<C>

The resulting type after applying the * operator.

fn mul(self, rhs: ScalarShare<C>) -> Self::Output

Performs the * operation.

impl<'a, C: Curve> Mul<FieldShare<<C as Curve>::Scalar>> for Point<C>

type Output = PointShare<C>

The resulting type after applying the * operator.

fn mul(self, rhs: ScalarShare<C>) -> Self::Output

Performs the * operation.

impl<'a, F: FieldExtension> Mul<SubfieldElement<F>> for &FieldShare<F>

where FieldShare<F>: Clone,

type Output = FieldShare<F>

The resulting type after applying the * operator.

fn mul(self, rhs: SubfieldElement<F>) -> Self::Output

Performs the * operation.

impl<'a, F: FieldExtension> Mul<SubfieldElement<F>> for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the * operator.

fn mul(self, rhs: SubfieldElement<F>) -> Self::Output

Performs the * operation.

impl<'a, F: FieldExtension> MulAssign<&'a SubfieldElement<F>> for FieldShare<F>

fn mul_assign(&mut self, other: &'a SubfieldElement<F>)

Performs the *= operation.

impl<'a, F: FieldExtension> MulAssign<SubfieldElement<F>> for FieldShare<F>

fn mul_assign(&mut self, rhs: SubfieldElement<F>)

Performs the *= operation.

impl<F: FieldExtension> Neg for &FieldShare<F>

where FieldShare<F>: Clone,

type Output = FieldShare<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<F: FieldExtension> Neg for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<F> PartialEq for FieldShare<F>

where F: FieldExtension + PartialEq,

fn eq(&self, other: &FieldShare<F>) -> 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<F: FieldExtension> Random for FieldShare<F>

fn random_n<Container: FromIterator<Self>>( rng: impl CryptoRngCore, n_parties: usize, ) -> Container

Generate one random field share per peer, with consistent MACs and keys across all peers.

fn random(_rng: impl CryptoRngCore) -> Self

impl<F: FieldExtension> RandomWith<(SubfieldElement<F>, Vec<GlobalFieldKey<F>>)> for FieldShare<F>

fn random_with( rng: impl CryptoRngCore, value_alphas: (SubfieldElement<F>, Vec<GlobalFieldKey<F>>), ) -> Self

Generate a random field share from its global keys (alphas) and its share

fn random_n_with_each<Container: FromIterator<Self>>( rng: impl CryptoRngCore, unauth_shares_and_alphas: impl IntoExactSizeIterator<Item = (SubfieldElement<F>, Vec<GlobalFieldKey<F>>)>, ) -> Container

Generate one random field share per peer from their global keys (alphas).

fn random_n_with<Container: FromIterator<Self>>( rng: impl CryptoRngCore, size: usize, data: D, ) -> Container

impl<F: FieldExtension> RandomWith<(SubfieldElement<F>, Vec<Vec<GlobalFieldKey<F>>>)> for FieldShare<F>

fn random_n_with<Container: FromIterator<Self>>( rng: impl CryptoRngCore, n_parties: usize, (secret_value, all_alphas): (SubfieldElement<F>, Vec<Vec<GlobalFieldKey<F>>>), ) -> Container

Generate a random field share per peer from a value to secret share and global keys (alphas).

fn random_with( _source: impl CryptoRngCore, _data: (SubfieldElement<F>, Vec<Vec<GlobalFieldKey<F>>>), ) -> Self

fn random_n_with_each<Container: FromIterator<Self>>( rng: impl CryptoRngCore, all_data: impl IntoExactSizeIterator<Item = D>, ) -> Container

impl<F: FieldExtension> RandomWith<(usize, SubfieldElement<F>)> for FieldShare<F>

fn random_with( rng: impl CryptoRngCore, n_parties_and_value: (usize, SubfieldElement<F>), ) -> Self

Generate a random field share, with Macs and keys for all the other parties.

fn random_n_with<Container: FromIterator<Self>>( rng: impl CryptoRngCore, size: usize, data: D, ) -> Container

fn random_n_with_each<Container: FromIterator<Self>>( rng: impl CryptoRngCore, all_data: impl IntoExactSizeIterator<Item = D>, ) -> Container

impl<F: FieldExtension> RandomWith<SubfieldElement<F>> for FieldShare<F>

fn random_n_with<Container: FromIterator<Self>>( rng: impl CryptoRngCore, n_parties: usize, value: SubfieldElement<F>, ) -> Container

Secret share a value among n parties, generating an authenticated share for each peer with consistent MACs and keys across all peers.

fn random_with(_rng: impl CryptoRngCore, _data: SubfieldElement<F>) -> Self

fn random_n_with_each<Container: FromIterator<Self>>( rng: impl CryptoRngCore, all_data: impl IntoExactSizeIterator<Item = D>, ) -> Container

impl<F: FieldExtension> RandomWith<Vec<GlobalFieldKey<F>>> for FieldShare<F>

fn random_with(rng: impl CryptoRngCore, alphas: Vec<GlobalFieldKey<F>>) -> Self

Generate a random field share from its global keys (alphas).

fn random_n_with_each<Container: FromIterator<Self>>( rng: impl CryptoRngCore, all_alphas: impl IntoExactSizeIterator<Item = Vec<GlobalFieldKey<F>>>, ) -> Container

Generate one random field share per peer from their global keys (alphas).

fn random_n_with<Container: FromIterator<Self>>( rng: impl CryptoRngCore, size: usize, data: D, ) -> Container

impl<F: FieldExtension> RandomWith<usize> for FieldShare<F>

fn random_with(rng: impl CryptoRngCore, n_parties: usize) -> Self

Generate a random field share, with Macs and keys for all the other parties.

fn random_n_with<Container: FromIterator<Self>>( rng: impl CryptoRngCore, size: usize, data: D, ) -> Container

fn random_n_with_each<Container: FromIterator<Self>>( rng: impl CryptoRngCore, all_data: impl IntoExactSizeIterator<Item = D>, ) -> Container

impl<F: FieldExtension> Reconstructible for FieldShare<F>

fn open_to(&self, peer: PeerIndex) -> Result<OpenFieldShare<F>, PrimitiveError>

Open the share towards another peer.

fn open_to_all_others(&self) -> impl ExactSizeIterator<Item = OpenFieldShare<F>>

Open the share towards all other peers.

fn reconstruct( &self, openings: &[OpenFieldShare<F>], ) -> Result<Self::Secret, PrimitiveError>

Reconstruct a secret from openings coming from all other parties.

type Opening = OpenFieldShare<F>

The type that is sent to / received from other peers.

type Secret = SubfieldElement<F>

The type of the reconstructed value.

fn reconstruct_all<T: Borrow<Self>>( shares: &[T], ) -> Result<Self::Secret, PrimitiveError>

Reconstruct a secret from a collection of shares, by opening each share towards all other peers, reconstructing n secrets from the openings and checking that they are all equal.

impl<F> Serialize for FieldShare<F>

where F: FieldExtension,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a, F: FieldExtension> Sub<&'a FieldShare<F>> for &FieldShare<F>

where FieldShare<F>: Clone,

type Output = FieldShare<F>

The resulting type after applying the - operator.

fn sub(self, rhs: &'a FieldShare<F>) -> Self::Output

Performs the - operation.

impl<'a, F: FieldExtension> Sub<&'a FieldShare<F>> for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the - operator.

fn sub(self, other: &'a FieldShare<F>) -> Self::Output

Performs the - operation.

impl<'a, F: FieldExtension> Sub<FieldShare<F>> for &FieldShare<F>

where FieldShare<F>: Clone,

type Output = FieldShare<F>

The resulting type after applying the - operator.

fn sub(self, rhs: FieldShare<F>) -> Self::Output

Performs the - operation.

impl<'a, F: FieldExtension> Sub for FieldShare<F>

type Output = FieldShare<F>

The resulting type after applying the - operator.

fn sub(self, rhs: FieldShare<F>) -> Self::Output

Performs the - operation.

impl<'a, F: FieldExtension> SubAssign<&'a FieldShare<F>> for FieldShare<F>

fn sub_assign(&mut self, other: &'a FieldShare<F>)

Performs the -= operation.

impl<'a, F: FieldExtension> SubAssign for FieldShare<F>

fn sub_assign(&mut self, rhs: FieldShare<F>)

Performs the -= operation.

impl<F: FieldExtension> VerifiableWith for FieldShare<F>

fn verify_from_peer_with( &self, open_share: &OpenFieldShare<F>, peer: PeerIndex, _verification_data: (), ) -> Result<(), PrimitiveError>

Check the MACs of the share received from another peer.

fn verify_with( &self, open_shares: &[OpenFieldShare<F>], _verification_data: (), ) -> Result<(), PrimitiveError>

Check the MACs of each share received from all other peers.

type VerificationData = ()

The associated data that is used to verify this secret shared type.

fn verify_all_with( shares: &[Self], verification_data: Self::VerificationData, ) -> Result<(), PrimitiveError>

Verify all shares by opening each share towards all other peers and performing pairwise verification of the openings.

impl<F> Eq for FieldShare<F>

where F: FieldExtension + Eq,

impl<F> StructuralPartialEq for FieldShare<F>

where F: FieldExtension,