libsnark::XOR3_gadget< FieldT > Class Template Reference

#include <sha256_aux.hpp>

Inheritance diagram for libsnark::XOR3_gadget< FieldT >:

Collaboration diagram for libsnark::XOR3_gadget< FieldT >:

Public Member Functions
	XOR3_gadget (protoboard< FieldT > &pb, const pb_linear_combination< FieldT > &A, const pb_linear_combination< FieldT > &B, const pb_linear_combination< FieldT > &C, const bool assume_C_is_zero, const pb_linear_combination< FieldT > &out, 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< FieldT >	A
pb_linear_combination< FieldT >	B
pb_linear_combination< FieldT >	C
bool	assume_C_is_zero
pb_linear_combination< FieldT >	out

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

Definition at line 44 of file sha256_aux.hpp.

Constructor & Destructor Documentation

XOR3_gadget()

template<typename FieldT >

libsnark::XOR3_gadget< FieldT >::XOR3_gadget	(	protoboard< FieldT > &	pb,
		const pb_linear_combination< FieldT > &	A,
		const pb_linear_combination< FieldT > &	B,
		const pb_linear_combination< FieldT > &	C,
		const bool	assume_C_is_zero,
		const pb_linear_combination< FieldT > &	out,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libsnark::XOR3_gadget< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libsnark::XOR3_gadget< FieldT >::generate_r1cs_witness

(

)

Member Data Documentation

A

template<typename FieldT >

pb_linear_combination<FieldT> libsnark::XOR3_gadget< FieldT >::A

Definition at line 50 of file sha256_aux.hpp.

assume_C_is_zero

template<typename FieldT >

bool libsnark::XOR3_gadget< FieldT >::assume_C_is_zero

Definition at line 53 of file sha256_aux.hpp.

B

template<typename FieldT >

pb_linear_combination<FieldT> libsnark::XOR3_gadget< FieldT >::B

Definition at line 51 of file sha256_aux.hpp.

C

template<typename FieldT >

pb_linear_combination<FieldT> libsnark::XOR3_gadget< FieldT >::C

Definition at line 52 of file sha256_aux.hpp.

out

template<typename FieldT >

pb_linear_combination<FieldT> libsnark::XOR3_gadget< FieldT >::out

Definition at line 54 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