libsnark::choice_gadget< FieldT > Class Template Reference

#include <sha256_aux.hpp>

Inheritance diagram for libsnark::choice_gadget< FieldT >:

Collaboration diagram for libsnark::choice_gadget< FieldT >:

Public Member Functions
	choice_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &X, const pb_linear_combination_array< FieldT > &Y, const pb_linear_combination_array< FieldT > &Z, const pb_variable< FieldT > &result, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
pb_linear_combination_array< FieldT >	X
pb_linear_combination_array< FieldT >	Y
pb_linear_combination_array< FieldT >	Z
pb_variable< FieldT >	result
std::shared_ptr< packing_gadget< FieldT > >	pack_result

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

Definition at line 120 of file sha256_aux.hpp.

Constructor & Destructor Documentation

choice_gadget()

template<typename FieldT >

libsnark::choice_gadget< FieldT >::choice_gadget	(	protoboard< FieldT > &	pb,
		const pb_linear_combination_array< FieldT > &	X,
		const pb_linear_combination_array< FieldT > &	Y,
		const pb_linear_combination_array< FieldT > &	Z,
		const pb_variable< FieldT > &	result,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::choice_gadget< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libsnark::choice_gadget< FieldT >::generate_r1cs_witness

(

)

Member Data Documentation

pack_result

template<typename FieldT >

std::shared_ptr<packing_gadget<FieldT> > libsnark::choice_gadget< FieldT >::pack_result

Definition at line 130 of file sha256_aux.hpp.

result

template<typename FieldT >

pb_variable<FieldT> libsnark::choice_gadget< FieldT >::result

Definition at line 129 of file sha256_aux.hpp.

X

template<typename FieldT >

pb_linear_combination_array<FieldT> libsnark::choice_gadget< FieldT >::X

Definition at line 126 of file sha256_aux.hpp.

Y

template<typename FieldT >

pb_linear_combination_array<FieldT> libsnark::choice_gadget< FieldT >::Y

Definition at line 127 of file sha256_aux.hpp.

Z

template<typename FieldT >

pb_linear_combination_array<FieldT> libsnark::choice_gadget< FieldT >::Z

Definition at line 128 of file sha256_aux.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_aux.hpp