Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Types | Static Public Member Functions | List of all members
AvmRecursionConstraintTestingFunctions Class Reference

Classes

class  InvalidWitness
 

Public Types

using AcirConstraint = RecursionConstraint
 
using Builder = UltraCircuitBuilder
 
using AvmProver = bb::avm2::AvmProvingHelper
 
using FF = Builder::FF
 

Static Public Member Functions

static std::pair< AvmProver::Proof, std::vector< FF > > create_avm_data ()
 
static ProgramMetadata generate_metadata ()
 
static void generate_constraints (AcirConstraint &avm_recursion_constraint, WitnessVector &witness_values)
 
static std::pair< AcirConstraint, WitnessVector > invalidate_witness (AcirConstraint constraint, WitnessVector witness_values, const InvalidWitness::Target &invalid_witness_target)
 

Detailed Description

Definition at line 27 of file avm2_recursion_constraint.test.cpp.

Member Typedef Documentation

◆ AcirConstraint

using AvmRecursionConstraintTestingFunctions::AcirConstraint = RecursionConstraint

Definition at line 29 of file avm2_recursion_constraint.test.cpp.

◆ AvmProver

using AvmRecursionConstraintTestingFunctions::AvmProver = bb::avm2::AvmProvingHelper

Definition at line 32 of file avm2_recursion_constraint.test.cpp.

◆ Builder

using AvmRecursionConstraintTestingFunctions::Builder = UltraCircuitBuilder

Definition at line 30 of file avm2_recursion_constraint.test.cpp.

◆ FF

using AvmRecursionConstraintTestingFunctions::FF = Builder::FF

Definition at line 33 of file avm2_recursion_constraint.test.cpp.

Member Function Documentation

◆ create_avm_data()

static std::pair< AvmProver::Proof, std::vector< FF > > AvmRecursionConstraintTestingFunctions::create_avm_data ( )
inlinestatic

Definition at line 50 of file avm2_recursion_constraint.test.cpp.

◆ generate_constraints()

static void AvmRecursionConstraintTestingFunctions::generate_constraints ( AcirConstraint &  avm_recursion_constraint,
WitnessVector &  witness_values 
)
inlinestatic

Definition at line 69 of file avm2_recursion_constraint.test.cpp.

◆ generate_metadata()

static ProgramMetadata AvmRecursionConstraintTestingFunctions::generate_metadata ( )
inlinestatic

Definition at line 67 of file avm2_recursion_constraint.test.cpp.

◆ invalidate_witness()

static std::pair< AcirConstraint, WitnessVector > AvmRecursionConstraintTestingFunctions::invalidate_witness ( AcirConstraint  constraint,
WitnessVector  witness_values,
const InvalidWitness::Target &  invalid_witness_target 
)
inlinestatic

Definition at line 82 of file avm2_recursion_constraint.test.cpp.

The documentation for this class was generated from the following file: