PlatformCapabilities

Trait PlatformCapabilities 

Source
pub trait PlatformCapabilities {
    // Required methods
    fn max_batch_size(&self) -> usize;
    fn optimal_strategy(&self, workload_size: usize) -> VerificationStrategy;
    fn supports_concurrent_verification(&self) -> bool;
    fn performance_characteristics(&self) -> PlatformPerformanceProfile;
}
Expand description

Platform capabilities interface for adaptive optimization

Required Methods§

Source

fn max_batch_size(&self) -> usize

Get maximum recommended batch size for the platform

Source

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

Get optimal verification strategy for given workload

Source

fn supports_concurrent_verification(&self) -> bool

Check if platform supports concurrent verification

Source

fn performance_characteristics(&self) -> PlatformPerformanceProfile

Get platform-specific performance metrics

Implementors§