libsnark::gadget_from_r1cs< FieldT > Class Template Reference

#include <gadget_from_r1cs.hpp>

Inheritance diagram for libsnark::gadget_from_r1cs< FieldT >:

Collaboration diagram for libsnark::gadget_from_r1cs< FieldT >:

Public Member Functions
	gadget_from_r1cs (protoboard< FieldT > &pb, const std::vector< pb_variable_array< FieldT >> &vars, const r1cs_constraint_system< FieldT > &cs, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness (const r1cs_primary_input< FieldT > &primary_input, const r1cs_auxiliary_input< FieldT > &auxiliary_input)
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

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

Definition at line 22 of file gadget_from_r1cs.hpp.

Constructor & Destructor Documentation

gadget_from_r1cs()

template<typename FieldT >

libsnark::gadget_from_r1cs< FieldT >::gadget_from_r1cs	(	protoboard< FieldT > &	pb,
		const std::vector< pb_variable_array< FieldT >> &	vars,
		const r1cs_constraint_system< FieldT > &	cs,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::gadget_from_r1cs< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libsnark::gadget_from_r1cs< FieldT >::generate_r1cs_witness	(	const r1cs_primary_input< FieldT > &	primary_input,
		const r1cs_auxiliary_input< FieldT > &	auxiliary_input
	)

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/gadget_from_r1cs.hpp