Struct PrecomputedValues 

struct PrecomputedValues<P: ParameterSet> {
    A_hat: NttMatrix<BaseField, P::K, P::L>,
    t1_2d_hat: NttVector<BaseField, P::K>,
    tr: Array<u8, U64>,
}

Cached values derived from rho and t1 at key construction time to avoid re-expanding them when verifying signatures.

Fields

A_hat: NttMatrix<BaseField, P::K, P::L>

Expanded public matrix in NTT domain.

t1_2d_hat: NttVector<BaseField, P::K>

2ᵈ ⋅ t1 which can be reused in signature verification.

tr: Array<u8, U64>

Hash of the encoded public key, used to bind messages to the key this was precomputed from.

Implementations

impl<P: MlDsaParams> PrecomputedValues<P>

fn new( t1: &Vector<BaseField, P::K>, enc: &EncodedVerifyingKey<P>, A_hat: NttMatrix<BaseField, P::K, P::L>, ) -> Self

Trait Implementations

impl<P: Clone + ParameterSet> Clone for PrecomputedValues<P>

where P::K: Clone, P::L: Clone,

fn clone(&self) -> PrecomputedValues<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + ParameterSet> Debug for PrecomputedValues<P>

where P::K: Debug, P::L: Debug,

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

Formats the value using the given formatter.

impl<P: PartialEq + ParameterSet> PartialEq for PrecomputedValues<P>

where P::K: PartialEq, P::L: PartialEq,

fn eq(&self, other: &PrecomputedValues<P>) -> 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<P: ParameterSet> StructuralPartialEq for PrecomputedValues<P>