gadgetlib2::GadgetLibAdapter Class Reference

#include <adapters.hpp>

Public Types
typedef unsigned long	variable_index_t
typedef gadgetlib2::Fp	Fp_elem_t
typedef ::std::pair< variable_index_t, Fp_elem_t >	linear_term_t
typedef ::std::vector< linear_term_t >	sparse_vec_t
typedef ::std::pair< sparse_vec_t, Fp_elem_t >	linear_combination_t
typedef ::std::tuple< linear_combination_t, linear_combination_t, linear_combination_t >	constraint_t
typedef ::std::vector< constraint_t >	constraint_sys_t
typedef ::std::map< variable_index_t, Fp_elem_t >	assignment_t
typedef ::std::pair< constraint_sys_t, assignment_t >	protoboard_t

Public Member Functions
	GadgetLibAdapter ()
linear_term_t	convert (const LinearTerm &lt) const
linear_combination_t	convert (const LinearCombination &lc) const
constraint_t	convert (const Constraint &constraint) const
constraint_sys_t	convert (const ConstraintSystem &constraint_sys) const
assignment_t	convert (const VariableAssignment &assignment) const
protoboard_t	convert (const Protoboard &pb) const
Fp_elem_t	convert (FElem fElem) const

Static Public Member Functions
static void	resetVariableIndex ()
static size_t	getNextFreeIndex ()
static size_t	getVariableIndex (const Variable &v)

Detailed Description

This class is a temporary hack for quick integration of Fp constraints with ppsnark. It is the IDDQD of classes and has "god mode" friend access to many of the gadgetlib classes. This will be refactored out in the future. –Shaul

Definition at line 37 of file adapters.hpp.

Member Typedef Documentation

assignment_t

typedef ::std::map<variable_index_t, Fp_elem_t> gadgetlib2::GadgetLibAdapter::assignment_t

Definition at line 49 of file adapters.hpp.

constraint_sys_t

typedef ::std::vector<constraint_t> gadgetlib2::GadgetLibAdapter::constraint_sys_t

Definition at line 48 of file adapters.hpp.

constraint_t

typedef ::std:: tuple<linear_combination_t, linear_combination_t, linear_combination_t> gadgetlib2::GadgetLibAdapter::constraint_t

Definition at line 47 of file adapters.hpp.

Fp_elem_t

typedef gadgetlib2::Fp gadgetlib2::GadgetLibAdapter::Fp_elem_t

Definition at line 41 of file adapters.hpp.

linear_combination_t

typedef ::std::pair<sparse_vec_t, Fp_elem_t> gadgetlib2::GadgetLibAdapter::linear_combination_t

Definition at line 44 of file adapters.hpp.

linear_term_t

typedef ::std::pair<variable_index_t, Fp_elem_t> gadgetlib2::GadgetLibAdapter::linear_term_t

Definition at line 42 of file adapters.hpp.

protoboard_t

typedef ::std::pair<constraint_sys_t, assignment_t> gadgetlib2::GadgetLibAdapter::protoboard_t

Definition at line 50 of file adapters.hpp.

sparse_vec_t

typedef ::std::vector<linear_term_t> gadgetlib2::GadgetLibAdapter::sparse_vec_t

Definition at line 43 of file adapters.hpp.

variable_index_t

typedef unsigned long gadgetlib2::GadgetLibAdapter::variable_index_t

Definition at line 40 of file adapters.hpp.

Constructor & Destructor Documentation

GadgetLibAdapter()

gadgetlib2::GadgetLibAdapter::GadgetLibAdapter ( )

inline

Definition at line 52 of file adapters.hpp.

{};

Member Function Documentation

convert() [1/7]

GLA::constraint_t gadgetlib2::GLA::convert

(

const Constraint &

constraint

)

const

Definition at line 38 of file adapters.cpp.

{
    const auto rank1_constraint =
        dynamic_cast<const Rank1Constraint &>(constraint);
    return constraint_t(
        convert(rank1_constraint.a()),
        convert(rank1_constraint.b()),
        convert(rank1_constraint.c()));
}

Here is the call graph for this function:

convert() [2/7]

GLA::constraint_sys_t gadgetlib2::GLA::convert

(

const ConstraintSystem &

constraint_sys

)

const

Definition at line 48 of file adapters.cpp.

{
    constraint_sys_t retval;
    retval.reserve(constraint_sys.constraintsPtrs_.size());
    for (auto constraintPtr : constraint_sys.constraintsPtrs_) {
        retval.emplace_back(convert(*constraintPtr));
    }
    return retval;
}

Here is the call graph for this function:

convert() [3/7]

GLA::linear_combination_t gadgetlib2::GLA::convert

(

const LinearCombination &

lc

)

const

Definition at line 27 of file adapters.cpp.

{
    sparse_vec_t sparse_vec;
    sparse_vec.reserve(lc.linearTerms_.size());
    for (auto lt : lc.linearTerms_) {
        sparse_vec.emplace_back(convert(lt));
    }
    const Fp_elem_t offset = convert(lc.constant_);
    return {sparse_vec, offset};
}

Here is the call graph for this function:

convert() [4/7]

GLA::linear_term_t gadgetlib2::GLA::convert

(

const LinearTerm &

lt

)

const

Definition at line 20 of file adapters.cpp.

{
    const variable_index_t var = lt.variable_.index_;
    const Fp_elem_t coeff = convert(lt.coeff_);
    return {var, coeff};
}

Here is the caller graph for this function:

convert() [5/7]

GLA::protoboard_t gadgetlib2::GLA::convert

(

const Protoboard &

pb

)

const

Definition at line 88 of file adapters.cpp.

{
    // GADGETLIB_ASSERT(pb.numVars()==getNextFreeIndex(), "Some Variables were
    // created and not used, or, more than one protoboard was used.");
    return protoboard_t(
        convert(pb.constraintSystem()), convert(pb.assignment()));
}

Here is the call graph for this function:

convert() [6/7]

GLA::assignment_t gadgetlib2::GLA::convert

(

const VariableAssignment &

assignment

)

const

Definition at line 58 of file adapters.cpp.

{
    assignment_t retval;
    for (const auto &assignmentPair : assignment) {
        const variable_index_t var = assignmentPair.first.index_;
        const Fp_elem_t elem = convert(assignmentPair.second);
        retval[var] = elem;
    }
    return retval;
}

Here is the call graph for this function:

convert() [7/7]

GLA::Fp_elem_t gadgetlib2::GLA::convert

(

FElem

fElem

)

const

Definition at line 96 of file adapters.cpp.

{
    using gadgetlib2::R1P_Elem;
    fElem.promoteToFieldType(
        gadgetlib2::R1P); // convert fElem from FConst to R1P_Elem
    const R1P_Elem *pR1P = dynamic_cast<R1P_Elem *>(fElem.elem_.get());
    return pR1P->elem_;
}

Here is the call graph for this function:

getNextFreeIndex()

static size_t gadgetlib2::GadgetLibAdapter::getNextFreeIndex ( )

inlinestatic

Definition at line 63 of file adapters.hpp.

{ return Variable::nextFreeIndex_; }

getVariableIndex()

static size_t gadgetlib2::GadgetLibAdapter::getVariableIndex ( const Variable &  v )

inlinestatic

Definition at line 66 of file adapters.hpp.

{ return v.index_; }

resetVariableIndex()

void gadgetlib2::GLA::resetVariableIndex ( )

static

Resets variable index to 0 to make variable indices deterministic.

Definition at line 69 of file adapters.cpp.

{ // This is a hack, used for testing
    Variable::nextFreeIndex_ = 0;
}

Here is the caller graph for this function:

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/adapters.hpp
• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/adapters.cpp