libsnark::tally_pcd_message< FieldT > Class Template Reference

#include <tally_cp.hpp>

Inheritance diagram for libsnark::tally_pcd_message< FieldT >:

Collaboration diagram for libsnark::tally_pcd_message< FieldT >:

Public Member Functions
	tally_pcd_message (const size_t type, const size_t wordsize, const size_t sum, const size_t count)
r1cs_variable_assignment< FieldT >	payload_as_r1cs_variable_assignment () const
void	print () const
	~tally_pcd_message ()=default
Public Member Functions inherited from libsnark::r1cs_pcd_message< FieldT >
	r1cs_pcd_message (const size_t type)
r1cs_variable_assignment< FieldT >	as_r1cs_variable_assignment () const
virtual	~r1cs_pcd_message ()=default

Public Attributes
size_t	wordsize
size_t	sum
size_t	count
Public Attributes inherited from libsnark::r1cs_pcd_message< FieldT >
size_t	type

Detailed Description

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

Subclasses a R1CS PCD message to the tally compliance predicate.

Definition at line 37 of file tally_cp.hpp.

Constructor & Destructor Documentation

tally_pcd_message()

template<typename FieldT >

libsnark::tally_pcd_message< FieldT >::tally_pcd_message	(	const size_t	type,
		const size_t	wordsize,
		const size_t	sum,
		const size_t	count
	)

~tally_pcd_message()

template<typename FieldT >

libsnark::tally_pcd_message< FieldT >::~tally_pcd_message ( )

default

Member Function Documentation

payload_as_r1cs_variable_assignment()

template<typename FieldT >

r1cs_variable_assignment<FieldT> libsnark::tally_pcd_message< FieldT >::payload_as_r1cs_variable_assignment ( ) const

virtual

Implements libsnark::r1cs_pcd_message< FieldT >.

print()

template<typename FieldT >

void libsnark::tally_pcd_message< FieldT >::print ( ) const

virtual

Reimplemented from libsnark::r1cs_pcd_message< FieldT >.

Member Data Documentation

count

template<typename FieldT >

size_t libsnark::tally_pcd_message< FieldT >::count

Definition at line 43 of file tally_cp.hpp.

sum

template<typename FieldT >

size_t libsnark::tally_pcd_message< FieldT >::sum

Definition at line 42 of file tally_cp.hpp.

wordsize

template<typename FieldT >

size_t libsnark::tally_pcd_message< FieldT >::wordsize

Definition at line 40 of file tally_cp.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/examples/tally_cp.hpp