Struct SsaCommitment 

pub struct SsaCommitment<S: PixSpec, P = <S as PixSpec>::Pseudonym> {
    pub ssa_id: SsaId<P>,
    pub ssa_commitment: PixGroup<S>,
    pub commitment_proof: SsaCommitmentProof<S>,
    pub verifiers: HashMap<CoefficientIndex, Vec<(PolynomialIndex, PixGroupRepr<S>)>>,
}

Contains commitment to a specific SSA and corresponding verifier.

Fields

ssa_id: SsaId<P>

ID of the SSA that is being committed to.

ssa_commitment: PixGroup<S>

Commitment to the SSA.

commitment_proof: SsaCommitmentProof<S>

Proof that the sender knows the discrete logarithm of Self::ssa_commitment.

Without it the recipient cannot tell a genuine commitment from one crafted so that the combined deposit key is known to the sender alone — see SsaCommitmentProof.

verifiers: HashMap<CoefficientIndex, Vec<(PolynomialIndex, PixGroupRepr<S>)>>

Commitments to the polynomials’ constant terms, keyed by coefficient index.

Always exactly one entry, at CONSTANT_TERM_COEFFICIENT.

Implementations

impl<S: PixSpec> SsaCommitment<S, S::Pseudonym>

pub fn reconstruct_part_commitments( self, ) -> Result<Vec<SsaPartCommitment<S>>, S::Pseudonym>

Reconstructs the per-polynomial commitments from the transposed representation, ordered by polynomial index.

Only the crate::CONSTANT_TERM_COEFFICIENT row is read; any other coefficient index is ignored, matching what the Exit does with one on the wire.

pub fn process_into_reconstructor<R: ExitAcknowledgementShareProcessor<S>>( self, reconstructor: &R, ) -> Result<(), R::Error>

Shorthand to pass all the coefficient commitments into the reconstructor.

The proof accompanies the constant-term batch, mirroring how the wire messages carry it. In practice that is the only batch there is — see SsaPartCommitment — but the loop is kept over the whole map because the type still admits higher coefficient indices.

Trait Implementations

impl<S: Clone + PixSpec, P: Clone> Clone for SsaCommitment<S, P>

fn clone(&self) -> SsaCommitment<S, P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug + PixSpec, P: Debug> Debug for SsaCommitment<S, P>

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

Formats the value using the given formatter.

impl<'de, S, P> Deserialize<'de> for SsaCommitment<S, P>

where PixGroupRepr<S>: Deserialize<'de>, S: Deserialize<'de> + PixSpec, P: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<S: Eq + PixSpec, P: Eq> Eq for SsaCommitment<S, P>

impl<S: PixSpec, P> IntoIterator for SsaCommitment<S, P>

type IntoIter = IntoIter<u16, Vec<(u16, <<<S as PixSpec>::Curve as CurveArithmetic>::ProjectivePoint as GroupEncoding>::Repr)>>

Which kind of iterator are we turning this into?

type Item = (u16, Vec<(u16, <<<S as PixSpec>::Curve as CurveArithmetic>::ProjectivePoint as GroupEncoding>::Repr)>)

The type of the elements being iterated over.

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<S: PartialEq + PixSpec, P: PartialEq> PartialEq for SsaCommitment<S, P>

fn eq(&self, other: &SsaCommitment<S, P>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<S, P> Serialize for SsaCommitment<S, P>

where PixGroupRepr<S>: Serialize, S: Serialize + PixSpec, P: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<S: PartialEq + PixSpec, P: PartialEq> StructuralPartialEq for SsaCommitment<S, P>