#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_arithmetic_gadget< FieldT >:

[legend]

Collaboration diagram for libsnark::ALU_arithmetic_gadget< FieldT >:

[legend]

Public Member Functions
	ALU_arithmetic_gadget (tinyram_protoboard< FieldT > &pb, const pb_variable_array< FieldT > &opcode_indicators, const word_variable_gadget< FieldT > &desval, const word_variable_gadget< FieldT > &arg1val, const word_variable_gadget< FieldT > &arg2val, const pb_variable< FieldT > &flag, const pb_variable< FieldT > &result, const pb_variable< FieldT > &result_flag, const std::string &annotation_prefix="")

Public Member Functions inherited from libsnark::tinyram_standard_gadget< FieldT >
	tinyram_standard_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")

virtual void	generate_r1cs_constraints ()=0

virtual void	generate_r1cs_witness ()=0

Public Member Functions inherited from libsnark::tinyram_gadget< FieldT >
	tinyram_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")

Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
const pb_variable_array< FieldT >	opcode_indicators

const word_variable_gadget< FieldT >	desval

const word_variable_gadget< FieldT >	arg1val

const word_variable_gadget< FieldT >	arg2val

const pb_variable< FieldT >	flag

const pb_variable< FieldT >	result

const pb_variable< FieldT >	result_flag

Additional Inherited Members
Protected Attributes inherited from libsnark::tinyram_gadget< FieldT >
tinyram_protoboard< FieldT > &	pb

Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb

const std::string	annotation_prefix

Detailed Description

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

Definition at line 26 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

◆ ALU_arithmetic_gadget()

template<typename FieldT >

libsnark::ALU_arithmetic_gadget< FieldT >::ALU_arithmetic_gadget	(	tinyram_protoboard< FieldT > &	pb,
		const pb_variable_array< FieldT > &	opcode_indicators,
		const word_variable_gadget< FieldT > &	desval,
		const word_variable_gadget< FieldT > &	arg1val,
		const word_variable_gadget< FieldT > &	arg2val,
		const pb_variable< FieldT > &	flag,
		const pb_variable< FieldT > &	result,
		const pb_variable< FieldT > &	result_flag,
		const std::string &	annotation_prefix = `""`
	)

inline

Definition at line 37 of file alu_arithmetic.hpp.

         : tinyram_standard_gadget<FieldT>(pb, annotation_prefix)
         , opcode_indicators(opcode_indicators)
         , desval(desval)
         , arg1val(arg1val)
         , arg2val(arg2val)
         , flag(flag)
         , result(result)
         , result_flag(result_flag)
     {
     }