libsnark::r1cs_pcd_local_data_variable< FieldT > Class Template Reference

#include <cp_handler.hpp>

Inheritance diagram for libsnark::r1cs_pcd_local_data_variable< FieldT >:

Collaboration diagram for libsnark::r1cs_pcd_local_data_variable< FieldT >:

Public Member Functions
	r1cs_pcd_local_data_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix)
void	update_all_vars ()
void	generate_r1cs_witness (const std::shared_ptr< r1cs_pcd_local_data< FieldT >> &local_data)
virtual	~r1cs_pcd_local_data_variable ()=default
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
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_local_data_variable< FieldT >

A variable to represent an r1cs_pcd_local_data.

Definition at line 58 of file cp_handler.hpp.

Constructor & Destructor Documentation

r1cs_pcd_local_data_variable()

template<typename FieldT >

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

~r1cs_pcd_local_data_variable()

template<typename FieldT >

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

virtualdefault

Member Function Documentation

generate_r1cs_witness()

template<typename FieldT >

void libsnark::r1cs_pcd_local_data_variable< FieldT >::generate_r1cs_witness

(

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

local_data

)

update_all_vars()

template<typename FieldT >

void libsnark::r1cs_pcd_local_data_variable< FieldT >::update_all_vars

(

)

Member Data Documentation

all_vars

template<typename FieldT >

pb_variable_array<FieldT> libsnark::r1cs_pcd_local_data_variable< FieldT >::all_vars

Definition at line 64 of file cp_handler.hpp.

num_vars_at_construction

template<typename FieldT >

size_t libsnark::r1cs_pcd_local_data_variable< FieldT >::num_vars_at_construction

protected

Definition at line 61 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