libsnark::argument_decoder_gadget< FieldT > Class Template Reference

#include <argument_decoder_gadget.hpp>

Inheritance diagram for libsnark::argument_decoder_gadget< FieldT >:

Collaboration diagram for libsnark::argument_decoder_gadget< FieldT >:

Public Member Functions
	argument_decoder_gadget (tinyram_protoboard< FieldT > &pb, const pb_variable< FieldT > &arg2_is_imm, const pb_variable_array< FieldT > &desidx, const pb_variable_array< FieldT > &arg1idx, const pb_variable_array< FieldT > &arg2idx, const pb_variable_array< FieldT > &packed_registers, const pb_variable< FieldT > &packed_desval, const pb_variable< FieldT > &packed_arg1val, const pb_variable< FieldT > &packed_arg2val, const std::string &annotation_prefix="")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
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 >	arg2_is_imm
pb_variable_array< FieldT >	desidx
pb_variable_array< FieldT >	arg1idx
pb_variable_array< FieldT >	arg2idx
pb_variable_array< FieldT >	packed_registers
pb_variable< FieldT >	packed_desval
pb_variable< FieldT >	packed_arg1val
pb_variable< FieldT >	packed_arg2val

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

Definition at line 21 of file argument_decoder_gadget.hpp.

Constructor & Destructor Documentation

argument_decoder_gadget()

template<typename FieldT >

libsnark::argument_decoder_gadget< FieldT >::argument_decoder_gadget	(	tinyram_protoboard< FieldT > &	pb,
		const pb_variable< FieldT > &	arg2_is_imm,
		const pb_variable_array< FieldT > &	desidx,
		const pb_variable_array< FieldT > &	arg1idx,
		const pb_variable_array< FieldT > &	arg2idx,
		const pb_variable_array< FieldT > &	packed_registers,
		const pb_variable< FieldT > &	packed_desval,
		const pb_variable< FieldT > &	packed_arg1val,
		const pb_variable< FieldT > &	packed_arg2val,
		const std::string &	annotation_prefix = ""
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::argument_decoder_gadget< FieldT >::generate_r1cs_constraints ( )

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

generate_r1cs_witness()

template<typename FieldT >

void libsnark::argument_decoder_gadget< FieldT >::generate_r1cs_witness ( )

virtual

Implements libsnark::tinyram_standard_gadget< FieldT >.

Member Data Documentation

arg1idx

template<typename FieldT >

pb_variable_array<FieldT> libsnark::argument_decoder_gadget< FieldT >::arg1idx

Definition at line 42 of file argument_decoder_gadget.hpp.

arg2_is_imm

template<typename FieldT >

pb_variable<FieldT> libsnark::argument_decoder_gadget< FieldT >::arg2_is_imm

Definition at line 40 of file argument_decoder_gadget.hpp.

arg2idx

template<typename FieldT >

pb_variable_array<FieldT> libsnark::argument_decoder_gadget< FieldT >::arg2idx

Definition at line 43 of file argument_decoder_gadget.hpp.

desidx

template<typename FieldT >

pb_variable_array<FieldT> libsnark::argument_decoder_gadget< FieldT >::desidx

Definition at line 41 of file argument_decoder_gadget.hpp.

packed_arg1val

template<typename FieldT >

pb_variable<FieldT> libsnark::argument_decoder_gadget< FieldT >::packed_arg1val

Definition at line 46 of file argument_decoder_gadget.hpp.

packed_arg2val

template<typename FieldT >

pb_variable<FieldT> libsnark::argument_decoder_gadget< FieldT >::packed_arg2val

Definition at line 47 of file argument_decoder_gadget.hpp.

packed_desval

template<typename FieldT >

pb_variable<FieldT> libsnark::argument_decoder_gadget< FieldT >::packed_desval

Definition at line 45 of file argument_decoder_gadget.hpp.

packed_registers

template<typename FieldT >

pb_variable_array<FieldT> libsnark::argument_decoder_gadget< FieldT >::packed_registers

Definition at line 44 of file argument_decoder_gadget.hpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/argument_decoder_gadget.hpp