Enum ProofRequirement 

pub enum ProofRequirement {
    ZeroKnowledge {
        circuit_id: Option<String>,
        model_id: Option<String>,
    },
    TeeAttestation {
        provider_class: Option<String>,
    },
    Cryptographic,
    Oracle,
    Merkle {
        expected_root: String,
    },
}

The class of proof a task completion must carry to be accepted.

These variants map 1:1 onto tenzro_settlement::SettlementEngine’s proof dispatch (ZeroKnowledge / TeeAttestation / Cryptographic / Oracle / Merkle). We keep a self-contained copy here so tenzro-types does not depend on the settlement crate (settlement depends on types, not the reverse).

Variants

ZeroKnowledge

A zero-knowledge proof, optionally pinned to a circuit and/or the model the inference was claimed to run on.

Fields

circuit_id: Option<String>

model_id: Option<String>

TeeAttestation

A TEE attestation report, optionally restricted to a provider/enclave class.

Fields

provider_class: Option<String>

Cryptographic

A plain cryptographic signature over the result by the provider.

Oracle

An oracle-signed attestation of the result.

Merkle

A Merkle inclusion proof against a poster-pinned root. The completion proof’s proof_data must be leaf(32) ‖ leaf_index(u32-le, 4) ‖ siblings(32·k); the task layer recomputes the positional SHA-256 root and requires it to equal expected_root.

Fields

expected_root: String

Hex Merkle root (poster-supplied, trusted task state) the inclusion proof must reproduce. 0x prefix optional; compared case-insensitively.

Trait Implementations

impl Clone for ProofRequirement

fn clone(&self) -> ProofRequirement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofRequirement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofRequirement

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProofRequirement

impl PartialEq for ProofRequirement

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProofRequirement