Struct VexReceipt 

pub struct VexReceipt {
    pub schema: String,
    pub capsule: Capsule,
    pub proving_metadata: ProvingMetadata,
}

A Spec-Grade Receipt (Phase 6 Hardening) Binds a validated Evidence Capsule to its proving context.

Fields

schema: String

capsule: Capsule

proving_metadata: ProvingMetadata

Implementations

impl VexReceipt

pub const SCHEMA_V1: &'static str = "vex.receipt.v1"

pub fn new(capsule: Capsule, proving_metadata: ProvingMetadata) -> Self

Trait Implementations

impl Clone for VexReceipt

fn clone(&self) -> VexReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ComposeSchema for VexReceipt

fn compose(generics: Vec<RefOr<Schema>>) -> RefOr<Schema>

impl Debug for VexReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VexReceipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VexReceipt

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToSchema for VexReceipt

fn name() -> Cow<'static, str>

Return name of the schema.

fn schemas(schemas: &mut Vec<(String, RefOr<Schema>)>)

Implement reference utoipa::openapi::schema::Schemas for this type.

impl StructuralPartialEq for VexReceipt