#include <compliance_predicate.hpp>
Inheritance diagram for libsnark::r1cs_pcd_message< FieldT >:
Public Member Functions | |
| r1cs_pcd_message (const size_t type) | |
| virtual r1cs_variable_assignment< FieldT > | payload_as_r1cs_variable_assignment () const =0 |
| r1cs_variable_assignment< FieldT > | as_r1cs_variable_assignment () const |
| virtual void | print () const |
| virtual | ~r1cs_pcd_message ()=default |
Public Attributes | |
| size_t | type |
Detailed Description
template<typename FieldT>
class libsnark::r1cs_pcd_message< FieldT >
A message for R1CS PCD.
It is a pair, consisting of
- a type (a positive integer), and
- a payload (a vector of field elements).
Definition at line 35 of file compliance_predicate.hpp.
Constructor & Destructor Documentation
◆ r1cs_pcd_message()
template<typename FieldT >
| libsnark::r1cs_pcd_message< FieldT >::r1cs_pcd_message | ( | const size_t | type | ) |
◆ ~r1cs_pcd_message()
template<typename FieldT >
|
virtualdefault |
Member Function Documentation
◆ as_r1cs_variable_assignment()
template<typename FieldT >
| r1cs_variable_assignment<FieldT> libsnark::r1cs_pcd_message< FieldT >::as_r1cs_variable_assignment | ( | ) | const |
◆ payload_as_r1cs_variable_assignment()
template<typename FieldT >
|
pure virtual |
Implemented in libsnark::tally_pcd_message< FieldT >.
◆ print()
template<typename FieldT >
|
virtual |
Reimplemented in libsnark::tally_pcd_message< FieldT >.
Member Data Documentation
◆ type
template<typename FieldT >
| size_t libsnark::r1cs_pcd_message< FieldT >::type |
Definition at line 38 of file compliance_predicate.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/compliance_predicate.hpp
