libzeth::xor_gadget< FieldT > Class Template Reference

#include <binary_operation.hpp>

Inheritance diagram for libzeth::xor_gadget< FieldT >:

Collaboration diagram for libzeth::xor_gadget< FieldT >:

Public Member Functions
	xor_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_variable_array< FieldT > &a, const libsnark::pb_variable_array< FieldT > &b, const libsnark::pb_variable_array< FieldT > &res, const std::string &annotation_prefix="xor_gadget")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()

Public Attributes
libsnark::pb_variable_array< FieldT >	res

Detailed Description

template<typename FieldT>
class libzeth::xor_gadget< FieldT >

xor_gadget computes res = a XOR b this gadget does not ensure the booleaness of the inputs however given the inputs are boolean, the output is automatically boolean

Definition at line 21 of file binary_operation.hpp.

Constructor & Destructor Documentation

xor_gadget()

template<typename FieldT >

libzeth::xor_gadget< FieldT >::xor_gadget	(	libsnark::protoboard< FieldT > &	pb,
		const libsnark::pb_variable_array< FieldT > &	a,
		const libsnark::pb_variable_array< FieldT > &	b,
		const libsnark::pb_variable_array< FieldT > &	res,
		const std::string &	annotation_prefix = "xor_gadget< FieldT >"
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT >

void libzeth::xor_gadget< FieldT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT >

void libzeth::xor_gadget< FieldT >::generate_r1cs_witness

(

)

Member Data Documentation

res

template<typename FieldT >

libsnark::pb_variable_array<FieldT> libzeth::xor_gadget< FieldT >::res

Definition at line 29 of file binary_operation.hpp.

---

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

• /home/runner/work/zeth/zeth/libzeth/circuits/binary_operation.hpp