Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
HypernovaRecursionConstraintTest Member List

This is the complete list of members for HypernovaRecursionConstraintTest, including all inherited members.

Builder typedefHypernovaRecursionConstraintTest
construct_and_accumulate_mock_app(std::shared_ptr< Chonk > ivc)HypernovaRecursionConstraintTestinlinestatic
construct_and_accumulate_mock_kernel(std::shared_ptr< Chonk > ivc)HypernovaRecursionConstraintTestinlinestatic
construct_and_accumulate_trailing_kernels(const std::shared_ptr< Chonk > &ivc)HypernovaRecursionConstraintTestinlinestatic
construct_kernel_vk_from_acir_program(AcirProgram &program)HypernovaRecursionConstraintTestinlinestatic
construct_mock_app_circuit(const std::shared_ptr< Chonk > &ivc)HypernovaRecursionConstraintTestinlinestatic
construct_mock_kernel_program(const std::shared_ptr< Chonk > &ivc)HypernovaRecursionConstraintTestinlinestatic
construct_mock_UH_recursion_app_circuit(const std::shared_ptr< Chonk > &ivc, const bool tamper_vk)HypernovaRecursionConstraintTestinlinestatic
create_inner_circuit(size_t log_num_gates=10)HypernovaRecursionConstraintTestinlinestatic
create_recursion_constraint(const VerifierInputs &input, PROOF_TYPE proof_type, std::vector< FF > &witness)HypernovaRecursionConstraintTestinlinestatic
FF typedefHypernovaRecursionConstraintTest
init_kernel_proof_types(size_t num_apps)HypernovaRecursionConstraintTestinlinestatic
inner_kernel_proof_types(size_t num_apps)HypernovaRecursionConstraintTestinlinestatic
make_circuit_vk(Builder &builder_in, CircuitKind kind)HypernovaRecursionConstraintTestinlinestatic
make_hn_recursion_constraints(const std::vector< PROOF_TYPE > &proof_types)HypernovaRecursionConstraintTestinlinestatic
mock_hiding_kernel_vk()HypernovaRecursionConstraintTestinlinestatic
mock_kernel_gate_counts(const std::vector< PROOF_TYPE > &proof_types)HypernovaRecursionConstraintTestinlinestatic
mock_kernel_vk(const std::vector< PROOF_TYPE > &proof_types)HypernovaRecursionConstraintTestinlinestatic
PairingPoints typedefHypernovaRecursionConstraintTest
real_hiding_kernel_vk()HypernovaRecursionConstraintTestinlinestatic
real_init_kernel_vk(size_t num_apps)HypernovaRecursionConstraintTestinlinestatic
real_inner_kernel_vk(size_t num_apps)HypernovaRecursionConstraintTestinlinestatic
real_reset_tail_kernel_vk()HypernovaRecursionConstraintTestinlinestatic
SetUp() overrideHypernovaRecursionConstraintTestinlineprotected
VerifierInputs typedefHypernovaRecursionConstraintTest