#include <bar_gadget.hpp>

Inheritance diagram for libsnark::bar_gadget< FieldT >:

Collaboration diagram for libsnark::bar_gadget< FieldT >:

Public Member Functions
	bar_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &X, const FieldT &a, const pb_linear_combination_array< FieldT > &Y, const FieldT &b, const pb_linear_combination< FieldT > &Z_packed, 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_linear_combination_array< FieldT >	X

FieldT	a

pb_linear_combination_array< FieldT >	Y

FieldT	b

pb_linear_combination< FieldT >	Z_packed

pb_variable_array< FieldT >	Z_bits

pb_variable< FieldT >	result

pb_variable_array< FieldT >	overflow

pb_variable_array< FieldT >	unpacked_result

std::shared_ptr< packing_gadget< FieldT > >	unpack_result

std::shared_ptr< packing_gadget< FieldT > >	pack_Z

size_t	width

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

The bar gadget checks linear combination Z = aX + bY (mod 2^w) for a, b - const, X, Y - vectors of w bits, where w is implicitly inferred, Z - a packed variable.

This gadget is used four times in fooram:

PC' = PC + 1
load_addr = 2 * x + PC'
store_addr = x + PC

Definition at line 32 of file bar_gadget.hpp.

Constructor & Destructor Documentation

◆ bar_gadget()

template<typename FieldT >

libsnark::bar_gadget< FieldT >::bar_gadget	(	protoboard< FieldT > &	pb,
		const pb_linear_combination_array< FieldT > &	X,
		const FieldT &	a,
		const pb_linear_combination_array< FieldT > &	Y,
		const FieldT &	b,
		const pb_linear_combination< FieldT > &	Z_packed,
		const std::string &	annotation_prefix
	)