Struct Attestation 

pub struct Attestation { /* private fields */ }

Length-sealed 64-byte attestation signature wrapper.

Constructed only via Attestation::from_bytes (which takes a [u8; 64] literal — length statically enforced by the Rust type system). The wire format is a postcard length-prefixed byte sequence (Vec<u8>-equivalent) with a strict 64-byte length check on deserialize. This combination produces a length-sealed type:

• Constructor side: any caller producing an Attestation does so via the [u8; 64] constructor — the type system rejects any other byte width at compile time.
• Deserialize side: any wire bytes whose payload length is not exactly 64 produce a serde::de::Error, never a panic.

Why a custom serde impl (rather than #[derive] over [u8; 64]): serde’s stock array deserializer caps at 32 bytes — the L0 WalRecord.signature workaround uses Vec<u8> with length validation at the application layer. Attestation lifts the length invariant from convention to the type itself: any value of type Attestation that exists has 64 bytes, and the Deserialize impl is the exhaustive admission check.

Used by ReplicaIdAllocation::registry_attestation and AuditReceiptKeyPolicy::attestation.

Implementations

impl Attestation

pub fn from_bytes(bytes: [u8; 64]) -> Self

Construct an Attestation from a fixed 64-byte signature.

The [u8; 64] parameter type makes the length invariant statically enforced by the Rust type system — any caller passing a non-64-byte input is rejected at compile time.

pub fn as_bytes(&self) -> &[u8]

Borrow the underlying 64-byte payload as a slice.

Trait Implementations

impl Clone for Attestation

fn clone(&self) -> Attestation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Attestation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Attestation

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserializes from a Vec<u8> and rejects (with serde::de::Error, never a panic) any payload whose length is not exactly 64. This makes Attestation the single admission check for the 64-byte invariant on the wire side.

impl PartialEq for Attestation

fn eq(&self, other: &Attestation) -> 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 Serialize for Attestation

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serializes as the underlying Vec<u8> (postcard length-prefix plus bytes). Wire format is identical to a bare Vec<u8> of length 64, so the wire baseline is preserved byte-for-byte.

impl Eq for Attestation

impl StructuralPartialEq for Attestation