#include <basic_gadgets.hpp>

Inheritance diagram for libsnark::comparison_gadget< FieldT >:

Collaboration diagram for libsnark::comparison_gadget< FieldT >:

Public Member Functions
	comparison_gadget (protoboard< FieldT > &pb, const size_t n, const pb_linear_combination< FieldT > &A, const pb_linear_combination< FieldT > &B, const pb_variable< FieldT > &less, const pb_variable< FieldT > &less_or_eq, 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 size_t	n

const pb_linear_combination< FieldT >	A

const pb_linear_combination< FieldT >	B

const pb_variable< FieldT >	less

const pb_variable< FieldT >	less_or_eq

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

Definition at line 246 of file basic_gadgets.hpp.

Constructor & Destructor Documentation

◆ comparison_gadget()

template<typename FieldT >

libsnark::comparison_gadget< FieldT >::comparison_gadget	(	protoboard< FieldT > &	pb,
		const size_t	n,
		const pb_linear_combination< FieldT > &	A,
		const pb_linear_combination< FieldT > &	B,
		const pb_variable< FieldT > &	less,
		const pb_variable< FieldT > &	less_or_eq,
		const std::string &	annotation_prefix = `""`
	)

inline

Definition at line 263 of file basic_gadgets.hpp.

         : gadget<FieldT>(pb, annotation_prefix)
         , n(n)
         , A(A)
         , B(B)
         , less(less)
         , less_or_eq(less_or_eq)
     {
         alpha.allocate(pb, n, FMT(this->annotation_prefix, " alpha"));
         alpha.emplace_back(less_or_eq); // alpha[n] is less_or_eq
  
         alpha_packed.allocate(
             pb, FMT(this->annotation_prefix, " alpha_packed"));
         not_all_zeros.allocate(
             pb, FMT(this->annotation_prefix, " not_all_zeros"));
  
         pack_alpha.reset(new packing_gadget<FieldT>(
             pb,
             alpha,
             alpha_packed,
             FMT(this->annotation_prefix, " pack_alpha")));
  
         all_zeros_test.reset(new disjunction_gadget<FieldT>(
             pb,
             pb_variable_array<FieldT>(alpha.begin(), alpha.begin() + n),
             not_all_zeros,
             FMT(this->annotation_prefix, " all_zeros_test")));
     };