libzeth::COMM_gadget< FieldT, HashT > Class Template Reference

#include <commitment.hpp>

Inheritance diagram for libzeth::COMM_gadget< FieldT, HashT >:

Collaboration diagram for libzeth::COMM_gadget< FieldT, HashT >:

Public Member Functions
	COMM_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_variable_array< FieldT > &x, const libsnark::pb_variable_array< FieldT > &y, std::shared_ptr< libsnark::digest_variable< FieldT >> result, const std::string &annotation_prefix="COMM_gadget")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()

Detailed Description

template<typename FieldT, typename HashT>
class libzeth::COMM_gadget< FieldT, HashT >

Definition at line 17 of file commitment.hpp.

Constructor & Destructor Documentation

COMM_gadget()

template<typename FieldT , typename HashT >

libzeth::COMM_gadget< FieldT, HashT >::COMM_gadget	(	libsnark::protoboard< FieldT > &	pb,
		const libsnark::pb_variable_array< FieldT > &	x,
		const libsnark::pb_variable_array< FieldT > &	y,
		std::shared_ptr< libsnark::digest_variable< FieldT >>	result,
		const std::string &	annotation_prefix = "COMM_gadget< FieldT, HashT >"
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT , typename HashT >

void libzeth::COMM_gadget< FieldT, HashT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT , typename HashT >

void libzeth::COMM_gadget< FieldT, HashT >::generate_r1cs_witness

(

)

---

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

• /home/runner/work/zeth/zeth/libzeth/circuits/commitments/commitment.hpp