Enum VerificationPlatform 

pub enum VerificationPlatform {
    NativeCpu {
        features: CpuFeatures,
    },
    Gpu {
        backend: GpuBackend,
        memory_mb: u64,
        compute_units: u32,
    },
    Wasm {
        env: WasmEnvironment,
    },
}

Platform-specific execution environment

Variants

NativeCpu

Native CPU with full phantom type support

Fields

features: CpuFeatures

Gpu

GPU with boundary verification constraints

Fields

backend: GpuBackend

memory_mb: u64

compute_units: u32

Wasm

WebAssembly with runtime verification

Fields

env: WasmEnvironment

Trait Implementations

impl Clone for VerificationPlatform

fn clone(&self) -> VerificationPlatform

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationPlatform

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

Formats the value using the given formatter.

impl PartialEq for VerificationPlatform

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

fn max_batch_size(&self) -> usize

Get maximum recommended batch size for the platform

fn optimal_strategy(&self, workload_size: usize) -> VerificationStrategy

Get optimal verification strategy for given workload

fn supports_concurrent_verification(&self) -> bool

Check if platform supports concurrent verification

fn performance_characteristics(&self) -> PlatformPerformanceProfile

Get platform-specific performance metrics

impl StructuralPartialEq for VerificationPlatform