#include <alu_arithmetic.hpp>

Inheritance diagram for libsnark::ALU_shr_shl_gadget< FieldT >:

[legend]

Collaboration diagram for libsnark::ALU_shr_shl_gadget< FieldT >:

[legend]

Public Member Functions
	ALU_shr_shl_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 > &shr_result, const pb_variable< FieldT > &shr_flag, const pb_variable< FieldT > &shl_result, const pb_variable< FieldT > &shl_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
pb_variable< FieldT >	shr_result

pb_variable< FieldT >	shr_flag

pb_variable< FieldT >	shl_result

pb_variable< FieldT >	shl_flag

size_t	logw

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

Definition at line 857 of file alu_arithmetic.hpp.

Constructor & Destructor Documentation

◆ ALU_shr_shl_gadget()

template<typename FieldT >

libsnark::ALU_shr_shl_gadget< FieldT >::ALU_shr_shl_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 > &	shr_result,
		const pb_variable< FieldT > &	shr_flag,
		const pb_variable< FieldT > &	shl_result,
		const pb_variable< FieldT > &	shl_flag,
		const std::string &	annotation_prefix = `""`
	)

inline

Definition at line 883 of file alu_arithmetic.hpp.

         : ALU_arithmetic_gadget<FieldT>(
               pb,
               opcode_indicators,
               desval,
               arg1val,
               arg2val,
               flag,
               shr_result,
               shr_flag,
               annotation_prefix)
         , shr_result(shr_result)
         , shr_flag(shr_flag)
         , shl_result(shl_result)
         , shl_flag(shl_flag)
     {
         logw = libff::log2(pb.ap.w);
  
         reversed_input.allocate(
             pb, FMT(this->annotation_prefix, " reversed_input"));
         pack_reversed_input.reset(new packing_gadget<FieldT>(
             pb,
             pb_variable_array<FieldT>(
                 arg1val.bits.rbegin(), arg1val.bits.rend()),
             reversed_input,
             FMT(this->annotation_prefix, " pack_reversed_input")));
  
         barrel_right_internal.allocate(
             pb,
             logw + 1,
             FMT(this->annotation_prefix, " barrel_right_internal"));
  
         shifted_out_bits.resize(logw);
         for (size_t i = 0; i < logw; ++i) {
             shifted_out_bits[i].allocate(
                 pb,
                 1ul << i,
                 FMT(this->annotation_prefix, " shifted_out_bits_%zu", i));
         }
  
         is_oversize_shift.allocate(
             pb, FMT(this->annotation_prefix, " is_oversize_shift"));
         check_oversize_shift.reset(new disjunction_gadget<FieldT>(
             pb,
             pb_variable_array<FieldT>(
                 arg2val.bits.begin() + logw, arg2val.bits.end()),
             is_oversize_shift,
             FMT(this->annotation_prefix, " check_oversize_shift")));
         result.allocate(pb, FMT(this->annotation_prefix, " result"));
  
         result_bits.allocate(
             pb, pb.ap.w, FMT(this->annotation_prefix, " result_bits"));
         unpack_result.reset(new packing_gadget<FieldT>(
             pb,
             result_bits,
             result, // barrel_right_internal[logw],
             FMT(this->annotation_prefix, " unpack_result")));
  
         reversed_result.allocate(
             pb, FMT(this->annotation_prefix, " reversed_result"));
         pack_reversed_result.reset(new packing_gadget<FieldT>(
             pb,
             pb_variable_array<FieldT>(result_bits.rbegin(), result_bits.rend()),
             reversed_result,
             FMT(this->annotation_prefix, " pack_reversed_result")));
     }