Skip to main content

GpuHashScheme

openvm_cuda_backend::hash_scheme

Trait GpuHashScheme 

Source 
pub trait GpuHashScheme:
    Copy
    + Clone
    + Send
    + Sync
    + 'static {
    type SC: StarkProtocolConfig<F = F, EF = EF, Digest = Self::Digest>;
    type Digest: Copy + Clone + PartialEq + Send + Sync + Serialize + DeserializeOwned + BatchQueryMerkle + 'static;
    type Transcript: GpuFiatShamirTranscript<Self::SC> + Default + Clone + Send + Sync + 'static;
    type MerkleHash: GpuMerkleHash<Digest = Self::Digest>;

    // Required methods
    fn default_config(params: SystemParams) -> Self::SC;
    fn default_transcript() -> Self::Transcript;
}
Expand description

Binding trait that couples a StarkProtocolConfig, a Merkle hash scheme, and a transcript type into a single coherent GPU proving configuration.

Required Associated Types§

Source

type SC: StarkProtocolConfig<F = F, EF = EF, Digest = Self::Digest>

Source

type Digest: Copy + Clone + PartialEq + Send + Sync + Serialize + DeserializeOwned + BatchQueryMerkle + 'static

Source

type Transcript: GpuFiatShamirTranscript<Self::SC> + Default + Clone + Send + Sync + 'static

Source

type MerkleHash: GpuMerkleHash<Digest = Self::Digest>

Required Methods§

Source

fn default_config(params: SystemParams) -> Self::SC

Source

fn default_transcript() -> Self::Transcript

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§