Struct ProofVerification 

pub struct ProofVerification {

    pub schema: String,
    pub verification_id: String,
    pub proof_id: String,
    pub tool: String,
    pub tool_version: String,
    pub script_locator: String,
    pub lake_manifest_hash: Option<String>,
    pub verifier_output_hash: String,
    pub status: String,
    pub verified_at: String,
    pub verifier_actor: String,
    pub verifier_pubkey: String,
    pub signature: String,
}

Fields

schema: String

verification_id: String

proof_id: String

tool: String

tool_version: String

script_locator: String

lake_manifest_hash: Option<String>

verifier_output_hash: String

status: String

verified_at: String

verifier_actor: String

verifier_pubkey: String

signature: String

Implementations

impl ProofVerification

pub fn build( draft: VerificationDraft, signing_key: &SigningKey, ) -> Result<Self, String>

Build + sign a verification record. The signature covers the canonical preimage with signature and verification_id zeroed. The id is then derived from the signed body, so a tampered signature surfaces as an id mismatch on verify.

pub fn preimage_bytes(&self) -> Result<Vec<u8>, String>

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

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

Verify the attestation: re-derive the id, verify the Ed25519 signature against verifier_pubkey. Optional caller check: the caller may additionally assert that the script_locator matches a known proof artifact’s locator (the substrate does not have a global proof index at v0.151; consumers cross-link manually).

Trait Implementations

impl Clone for ProofVerification

fn clone(&self) -> ProofVerification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofVerification

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofVerification

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProofVerification

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ProofVerification

impl StructuralPartialEq for ProofVerification