libsnark::loose_multiplexing_gadget< FieldT > Class Template Reference

#include <basic_gadgets.hpp>

Inheritance diagram for libsnark::loose_multiplexing_gadget< FieldT >:

Collaboration diagram for libsnark::loose_multiplexing_gadget< FieldT >:

Public Member Functions
	loose_multiplexing_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &arr, const pb_variable< FieldT > &index, const pb_variable< FieldT > &result, const pb_variable< FieldT > &success_flag, const std::string &annotation_prefix="")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
pb_variable_array< FieldT >	alpha
const pb_linear_combination_array< FieldT >	arr
const pb_variable< FieldT >	index
const pb_variable< FieldT >	result
const pb_variable< FieldT >	success_flag

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb
const std::string	annotation_prefix

Detailed Description

template<typename FieldT>
class libsnark::loose_multiplexing_gadget< FieldT >

Definition at line 333 of file basic_gadgets.hpp.

Constructor & Destructor Documentation

loose_multiplexing_gadget()

template<typename FieldT >

libsnark::loose_multiplexing_gadget< FieldT >::loose_multiplexing_gadget ( protoboard< FieldT > &  pb, const pb_linear_combination_array< FieldT > &  arr, const pb_variable< FieldT > &  index, const pb_variable< FieldT > &  result, const pb_variable< FieldT > &  success_flag, const std::string &  annotation_prefix = ""  )

inline

Definition at line 354 of file basic_gadgets.hpp.

        : gadget<FieldT>(pb, annotation_prefix)
        , arr(arr)
        , index(index)
        , result(result)
        , success_flag(success_flag)
    {
        alpha.allocate(pb, arr.size(), FMT(this->annotation_prefix, " alpha"));
        compute_result.reset(new inner_product_gadget<FieldT>(
            pb,
            alpha,
            arr,
            result,
            FMT(this->annotation_prefix, " compute_result")));
    };

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::loose_multiplexing_gadget< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libsnark::loose_multiplexing_gadget< FieldT >::generate_r1cs_witness

(

)

Member Data Documentation

alpha

template<typename FieldT >

pb_variable_array<FieldT> libsnark::loose_multiplexing_gadget< FieldT >::alpha

Definition at line 343 of file basic_gadgets.hpp.

arr

template<typename FieldT >

const pb_linear_combination_array<FieldT> libsnark::loose_multiplexing_gadget< FieldT >::arr

Definition at line 349 of file basic_gadgets.hpp.

index

template<typename FieldT >

const pb_variable<FieldT> libsnark::loose_multiplexing_gadget< FieldT >::index

Definition at line 350 of file basic_gadgets.hpp.

result

template<typename FieldT >

const pb_variable<FieldT> libsnark::loose_multiplexing_gadget< FieldT >::result

Definition at line 351 of file basic_gadgets.hpp.

success_flag

template<typename FieldT >

const pb_variable<FieldT> libsnark::loose_multiplexing_gadget< FieldT >::success_flag

Definition at line 352 of file basic_gadgets.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/basic_gadgets.hpp