#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_divmod_gadget< FieldT >:

[legend]

Collaboration diagram for libsnark::ALU_divmod_gadget< FieldT >:

[legend]

Public Member Functions
	ALU_divmod_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 > &udiv_result, const pb_variable< FieldT > &udiv_flag, const pb_variable< FieldT > &umod_result, const pb_variable< FieldT > &umod_flag, const std::string &annotation_prefix="")

void	generate_r1cs_constraints ()

void	generate_r1cs_witness ()

Public Member Functions inherited from 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="")

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

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< FieldT >	udiv_result

const pb_variable< FieldT >	udiv_flag

const pb_variable< FieldT >	umod_result

const pb_variable< FieldT >	umod_flag

Public Attributes inherited from libsnark::ALU_arithmetic_gadget< FieldT >
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_divmod_gadget< FieldT >

Definition at line 784 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

◆ ALU_divmod_gadget()

template<typename FieldT >

libsnark::ALU_divmod_gadget< FieldT >::ALU_divmod_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 > &	udiv_result,
		const pb_variable< FieldT > &	udiv_flag,
		const pb_variable< FieldT > &	umod_result,
		const pb_variable< FieldT > &	umod_flag,
		const std::string &	annotation_prefix = `""`
	)

inline

Definition at line 809 of file alu_arithmetic.hpp.

         : ALU_arithmetic_gadget<FieldT>(
               pb,
               opcode_indicators,
               desval,
               arg1val,
               arg2val,
               flag,
               udiv_result,
               udiv_flag,
               annotation_prefix)
         , udiv_result(udiv_result)
         , udiv_flag(udiv_flag)
         , umod_result(umod_result)
         , umod_flag(umod_flag)
     {
         B_inv.allocate(pb, FMT(this->annotation_prefix, " B_inv"));
         B_nonzero.allocate(pb, FMT(this->annotation_prefix, " B_nonzer"));
         A_aux.allocate(pb, FMT(this->annotation_prefix, " A_aux"));
         r_less_B.reset(new comparison_gadget<FieldT>(
             pb,
             pb.ap.w,
             umod_result,
             arg2val.packed,
             B_nonzero,
             ONE,
             FMT(this->annotation_prefix, " r_less_B")));
     }