libsnark::r1cs_pcd_message_variable< FieldT > Class Template Reference

#include <cp_handler.hpp>

Inheritance diagram for libsnark::r1cs_pcd_message_variable< FieldT >:

Collaboration diagram for libsnark::r1cs_pcd_message_variable< FieldT >:

Public Member Functions
	r1cs_pcd_message_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix)
void	update_all_vars ()
void	generate_r1cs_witness (const std::shared_ptr< r1cs_pcd_message< FieldT >> &message)
virtual std::shared_ptr< r1cs_pcd_message< FieldT > >	get_message () const =0
virtual	~r1cs_pcd_message_variable ()=default
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
pb_variable< FieldT >	type
pb_variable_array< FieldT >	all_vars

Protected Attributes
size_t	num_vars_at_construction
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb
const std::string	annotation_prefix

Detailed Description

template<typename FieldT>
class libsnark::r1cs_pcd_message_variable< FieldT >

A variable to represent an r1cs_pcd_message.

Definition at line 32 of file cp_handler.hpp.

Constructor & Destructor Documentation

r1cs_pcd_message_variable()

template<typename FieldT >

libsnark::r1cs_pcd_message_variable< FieldT >::r1cs_pcd_message_variable	(	protoboard< FieldT > &	pb,
		const std::string &	annotation_prefix
	)

~r1cs_pcd_message_variable()

template<typename FieldT >

virtual libsnark::r1cs_pcd_message_variable< FieldT >::~r1cs_pcd_message_variable ( )

virtualdefault

Member Function Documentation

generate_r1cs_witness()

template<typename FieldT >

void libsnark::r1cs_pcd_message_variable< FieldT >::generate_r1cs_witness

(

const std::shared_ptr< r1cs_pcd_message< FieldT >> &

message

)

get_message()

template<typename FieldT >

virtual std::shared_ptr<r1cs_pcd_message<FieldT> > libsnark::r1cs_pcd_message_variable< FieldT >::get_message ( ) const

pure virtual

update_all_vars()

template<typename FieldT >

void libsnark::r1cs_pcd_message_variable< FieldT >::update_all_vars

(

)

Member Data Documentation

all_vars

template<typename FieldT >

pb_variable_array<FieldT> libsnark::r1cs_pcd_message_variable< FieldT >::all_vars

Definition at line 40 of file cp_handler.hpp.

num_vars_at_construction

template<typename FieldT >

size_t libsnark::r1cs_pcd_message_variable< FieldT >::num_vars_at_construction

protected

Definition at line 35 of file cp_handler.hpp.

type

template<typename FieldT >

pb_variable<FieldT> libsnark::r1cs_pcd_message_variable< FieldT >::type

Definition at line 38 of file cp_handler.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/cp_handler.hpp