Struct ShadowPublicInputs 

pub struct ShadowPublicInputs {
    pub schema: String,
    pub start_root: String,
    pub commitment_hash: String,
    pub circuit_id: String,
    pub public_salt: String,
    pub verifier_params_hash: Option<String>,
}

Typed Public Inputs for Shadow Intents (Phase 2 Hardening)

Fields

schema: String

start_root: String

commitment_hash: String

circuit_id: String

public_salt: String

The salt used in the semantic commitment (Phase 3 Binding)

verifier_params_hash: Option<String>

Implementations

impl ShadowPublicInputs

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

pub fn validate(&self) -> Result<(), String>

pub fn to_schema_value(&self) -> SchemaValue

pub fn from_schema_value(v: &SchemaValue) -> Result<Self, String>

pub fn verify_opening(&self, prompt: &str) -> bool

Verifies that the commitment hash matches the provided prompt and salt. This is the “Commitment Opening” step for auditors (Phase 5).

Trait Implementations

impl Clone for ShadowPublicInputs

fn clone(&self) -> ShadowPublicInputs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ComposeSchema for ShadowPublicInputs

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

impl Debug for ShadowPublicInputs

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ShadowPublicInputs

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ShadowPublicInputs

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

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 ShadowPublicInputs

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 Eq for ShadowPublicInputs

impl StructuralPartialEq for ShadowPublicInputs