Structs§
- Deferral
Circuit Prover Key - Deferral
Hook Prover - Deferral
Inner Prover - Inner
Aggregation Prover - Generates an aggregation proof for inner layers (leaf and internal).
- Root
Prover - RootProver does not store a device context because it uses late binding: the engine (and its device context) is created at prove time, not at construction. This allows the prover to be device-agnostic until proving begins.
Enums§
- Child
VkKind - Struct to determine if InnerAggregationProver is proving a special case, i.e. if the child_vk is the app_vk or if it should use its own vk as child.
- Deferral
Child VkKind