pub struct MlDsaVcProof {
pub head_quin: NQuin,
pub fragment_quins: Vec<NQuin>,
}Expand description
ML-DSA VC proof fragment layout for multi-Quin storage A 3309-byte ML-DSA signature spans ~414 NQuins (8 bytes per object field)
Fields§
§head_quin: NQuin§fragment_quins: Vec<NQuin>Implementations§
Source§impl MlDsaVcProof
impl MlDsaVcProof
Sourcepub fn issue_vc_mldsa(
claim_quins: &[NQuin],
issuer_sk: &[u8],
issuer_did_hash: u64,
context: &CryptoContext,
) -> Result<Self, MlDsaError>
pub fn issue_vc_mldsa( claim_quins: &[NQuin], issuer_sk: &[u8], issuer_did_hash: u64, context: &CryptoContext, ) -> Result<Self, MlDsaError>
Issue an ML-DSA-signed Verifiable Credential by fragmenting the signature across multiple NQuins following the Merkle-DAG pattern.
Sourcepub fn verify_vc_mldsa(
&self,
claim_quins: &[NQuin],
issuer_pk: &[u8],
context: &CryptoContext,
) -> Result<bool, MlDsaError>
pub fn verify_vc_mldsa( &self, claim_quins: &[NQuin], issuer_pk: &[u8], context: &CryptoContext, ) -> Result<bool, MlDsaError>
Verify an ML-DSA-signed VC by reassembling the signature fragments
Trait Implementations§
Source§impl Clone for MlDsaVcProof
impl Clone for MlDsaVcProof
Source§fn clone(&self) -> MlDsaVcProof
fn clone(&self) -> MlDsaVcProof
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for MlDsaVcProof
impl RefUnwindSafe for MlDsaVcProof
impl Send for MlDsaVcProof
impl Sync for MlDsaVcProof
impl Unpin for MlDsaVcProof
impl UnsafeUnpin for MlDsaVcProof
impl UnwindSafe for MlDsaVcProof
Blanket Implementations§
§impl<S, A> Aggregate<Result<S, Error>> for Awhere
A: Aggregate<S>,
impl<S, A> Aggregate<Result<S, Error>> for Awhere
A: Aggregate<S>,
Aggregate shares in an MPC protocol.
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more