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

#include <commitment.hpp>

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

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

Public Member Functions
	COMM_cm_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_variable_array< FieldT > &a_pk, const libsnark::pb_variable_array< FieldT > &rho, const libsnark::pb_variable_array< FieldT > &trap_r, const libsnark::pb_variable_array< FieldT > &value_v, libsnark::pb_variable< FieldT > result, const std::string &annotation_prefix="COMM_cm_gadget")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()

Detailed Description

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

Definition at line 45 of file commitment.hpp.

Constructor & Destructor Documentation

COMM_cm_gadget()

template<typename FieldT , typename HashT >

libzeth::COMM_cm_gadget< FieldT, HashT >::COMM_cm_gadget	(	libsnark::protoboard< FieldT > &	pb,
		const libsnark::pb_variable_array< FieldT > &	a_pk,
		const libsnark::pb_variable_array< FieldT > &	rho,
		const libsnark::pb_variable_array< FieldT > &	trap_r,
		const libsnark::pb_variable_array< FieldT > &	value_v,
		libsnark::pb_variable< FieldT >	result,
		const std::string &	annotation_prefix = "COMM_cm_gadget< FieldT, HashT >"
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT , typename HashT >

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

(

)

generate_r1cs_witness()

template<typename FieldT , typename HashT >

void libzeth::COMM_cm_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