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

#include <prf.hpp>

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

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

Public Member Functions
	PRF_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="PRF_gadget")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()

Detailed Description

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

Definition at line 21 of file prf.hpp.

Constructor & Destructor Documentation

PRF_gadget()

template<typename FieldT , typename HashT >

libzeth::PRF_gadget< FieldT, HashT >::PRF_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 = "PRF_gadget< FieldT, HashT >"
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT , typename HashT >

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

(

)

generate_r1cs_witness()

template<typename FieldT , typename HashT >

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

(

)

---

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

• /home/runner/work/zeth/zeth/libzeth/circuits/prfs/prf.hpp