GlobalTraceGenCtx

openvm_recursion_circuit::system

Trait GlobalTraceGenCtx 

Source 
pub trait GlobalTraceGenCtx {
    type ChildVerifyingKey;
    type MultiProof: ?Sized;
    type PreflightRecords: ?Sized;
}
Expand description

Trait defining the types for the global input shared across modules for trace generation. These types are specialized per hardware backend.

Required Associated Types§

Source

type ChildVerifyingKey

Verifying key of the child proof to be verified. This is a multi-trace verifying key.

Source

type MultiProof: ?Sized

Type for a collection of proofs.

Source

type PreflightRecords: ?Sized

Preflight records corresponding to an instance of MultiProof.

Implementors§