libsnark::disjunction_gadget< FieldT > Class Template Reference

Output is 0 iff the sum of inputs is 0. Output is 1 otherwise. More...

#include <basic_gadgets.hpp>

Inheritance diagram for libsnark::disjunction_gadget< FieldT >:

Collaboration diagram for libsnark::disjunction_gadget< FieldT >:

Public Member Functions
	disjunction_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &inputs, const pb_variable< FieldT > &output, 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
const pb_linear_combination_array< FieldT >	inputs
const pb_variable< FieldT >	output

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::disjunction_gadget< FieldT >

Output is 0 iff the sum of inputs is 0. Output is 1 otherwise.

Definition at line 198 of file basic_gadgets.hpp.

Constructor & Destructor Documentation

disjunction_gadget()

template<typename FieldT >

libsnark::disjunction_gadget< FieldT >::disjunction_gadget ( protoboard< FieldT > &  pb, const pb_linear_combination_array< FieldT > &  inputs, const pb_variable< FieldT > &  output, const std::string &  annotation_prefix = ""  )

inline

Definition at line 207 of file basic_gadgets.hpp.

        : gadget<FieldT>(pb, annotation_prefix), inputs(inputs), output(output)
    {
        assert(inputs.size() >= 1);
        inv.allocate(pb, FMT(this->annotation_prefix, " inv"));
    }

Here is the call graph for this function:

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::disjunction_gadget< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libsnark::disjunction_gadget< FieldT >::generate_r1cs_witness

(

)

Member Data Documentation

inputs

template<typename FieldT >

const pb_linear_combination_array<FieldT> libsnark::disjunction_gadget< FieldT >::inputs

Definition at line 204 of file basic_gadgets.hpp.

output

template<typename FieldT >

const pb_variable<FieldT> libsnark::disjunction_gadget< FieldT >::output

Definition at line 205 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