AcirHonkRecursionConstraint< RecursiveFlavor > Member List

This is the complete list of members for AcirHonkRecursionConstraint< RecursiveFlavor >, including all inherited members.

create_inner_circuit()	AcirHonkRecursionConstraint< RecursiveFlavor >	inline
create_outer_circuit(std::vector< InnerBuilder > &inner_circuits, bool dummy_witnesses=false)	AcirHonkRecursionConstraint< RecursiveFlavor >	inline
InnerBuilder typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
InnerDeciderProvingKey typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
InnerFlavor typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
InnerProver typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
InnerVerificationKey typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
InnerVerifier typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
OuterBuilder typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
OuterDeciderProvingKey typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
OuterFlavor typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
OuterProver typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
OuterVerificationKey typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
OuterVerifier typedef	AcirHonkRecursionConstraint< RecursiveFlavor >
SetUpTestSuite()	AcirHonkRecursionConstraint< RecursiveFlavor >	inlineprotectedstatic
verify_proof(const std::shared_ptr< OuterDeciderProvingKey > &proving_key, const std::shared_ptr< OuterVerificationKey > &verification_key, const HonkProof &proof)	AcirHonkRecursionConstraint< RecursiveFlavor >	inline