#include <basic_gadgets.hpp>

Inheritance diagram for libsnark::inner_product_gadget< FieldT >:

Collaboration diagram for libsnark::inner_product_gadget< FieldT >:

Public Member Functions
	inner_product_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &A, const pb_linear_combination_array< FieldT > &B, const pb_variable< FieldT > &result, 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 >	A

const pb_linear_combination_array< FieldT >	B

const pb_variable< FieldT >	result

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

Definition at line 303 of file basic_gadgets.hpp.

Constructor & Destructor Documentation

◆ inner_product_gadget()

template<typename FieldT >

libsnark::inner_product_gadget< FieldT >::inner_product_gadget	(	protoboard< FieldT > &	pb,
		const pb_linear_combination_array< FieldT > &	A,
		const pb_linear_combination_array< FieldT > &	B,
		const pb_variable< FieldT > &	result,
		const std::string &	annotation_prefix = `""`
	)

inline

Definition at line 314 of file basic_gadgets.hpp.

         : gadget<FieldT>(pb, annotation_prefix), A(A), B(B), result(result)
     {
         assert(A.size() >= 1);
         assert(A.size() == B.size());
  
         S.allocate(pb, A.size() - 1, FMT(this->annotation_prefix, " S"));
     }