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

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

ArithmeticConstraint typedefIvcRecursionConstraintTest
Builder typedefIvcRecursionConstraintTest
construct_and_accumulate_mock_app(std::shared_ptr< ClientIVC > ivc, TraceSettings trace_settings)IvcRecursionConstraintTestinlinestatic
construct_and_accumulate_mock_kernel(std::shared_ptr< ClientIVC > ivc, TraceSettings trace_settings)IvcRecursionConstraintTestinlinestatic
construct_and_accumulate_trailing_kernels(const std::shared_ptr< ClientIVC > &ivc, TraceSettings trace_settings)IvcRecursionConstraintTestinlinestatic
construct_kernel_vk_from_acir_program(AcirProgram &program, const TraceSettings &trace_settings)IvcRecursionConstraintTestinlinestatic
construct_mock_app_circuit(const std::shared_ptr< ClientIVC > &ivc)IvcRecursionConstraintTestinlinestatic
construct_mock_kernel_program(const VerificationQueue &verification_queue)IvcRecursionConstraintTestinlinestatic
construct_mock_UH_recursion_app_circuit(const std::shared_ptr< ClientIVC > &ivc, const bool tamper_vk)IvcRecursionConstraintTestinlinestatic
create_inner_circuit(size_t log_num_gates=10)IvcRecursionConstraintTestinlinestatic
create_recursion_constraint(const VerifierInputs &input, SlabVector< FF > &witness)IvcRecursionConstraintTestinlinestatic
FF typedefIvcRecursionConstraintTest
Flavor typedefIvcRecursionConstraintTest
get_kernel_vk_from_circuit(Builder &kernel, TraceSettings trace_settings)IvcRecursionConstraintTestinlinestatic
get_verification_key(Builder &builder_in, const TraceSettings &trace_settings)IvcRecursionConstraintTestinlinestatic
NUM_TRAILING_KERNELSIvcRecursionConstraintTeststatic
PairingPoints typedefIvcRecursionConstraintTest
QUEUE_TYPE typedefIvcRecursionConstraintTest
SetUp() overrideIvcRecursionConstraintTestinlineprotected
VerificationKey typedefIvcRecursionConstraintTest
VerificationQueue typedefIvcRecursionConstraintTest
VerifierInputs typedefIvcRecursionConstraintTest