List of all items

Structs

• definitions::utils::TaggedVec
• nova::AbstractNova
• nova::AbstractNovaGadget
• nova::instances::IncomingInstance
• nova::instances::RunningInstance
• nova::instances::circuits::IncomingInstanceVar
• nova::instances::circuits::RunningInstanceVar
• nova::keys::NovaKey
• nova::witnesses::IncomingWitness
• nova::witnesses::RunningWitness
• nova::witnesses::circuits::IncomingWitnessVar
• nova::witnesses::circuits::RunningWitnessVar

Enums

• definitions::errors::Error

Traits

• definitions::FoldingSchemeDef
• definitions::FoldingSchemeDefGadget
• definitions::algorithms::FoldingSchemeDecider
• definitions::algorithms::FoldingSchemeKeyGenerator
• definitions::algorithms::FoldingSchemeOps
• definitions::algorithms::FoldingSchemePreprocessor
• definitions::algorithms::FoldingSchemeProver
• definitions::algorithms::FoldingSchemeVerifier
• definitions::circuits::FoldingSchemeFullVerifierGadget
• definitions::circuits::FoldingSchemePartialVerifierGadget
• definitions::instances::FoldingInstance
• definitions::instances::FoldingInstanceVar
• definitions::keys::DeciderKey
• definitions::variants::GroupBasedFoldingSchemePrimary
• definitions::variants::GroupBasedFoldingSchemePrimaryDef
• definitions::variants::GroupBasedFoldingSchemeSecondary
• definitions::variants::GroupBasedFoldingSchemeSecondaryDef
• definitions::witnesses::FoldingWitness
• definitions::witnesses::FoldingWitnessVar

Type Aliases

• definitions::instances::PlainInstance
• definitions::instances::PlainInstanceVar
• definitions::witnesses::PlainWitness
• definitions::witnesses::PlainWitnessVar
• nova::CycleFoldNova
• nova::Nova