nil::crypto3::zk::snark::r1cs_pcd_message< FieldType > Struct Template Referenceabstract
#include <compliance_predicate.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >:
Public Member Functions | |
r1cs_variable_assignment< FieldType > | as_r1cs_variable_assignment () const |
virtual r1cs_variable_assignment< FieldType > | payload_as_r1cs_variable_assignment () const =0 |
r1cs_pcd_message (std::size_t type) | |
virtual | ~r1cs_pcd_message ()=default |
Public Attributes | |
std::size_t | type |
Detailed Description
template<typename FieldType>
struct nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >
A message for R1CS PCD.
It is a pair, consisting of
- a type (a positive integer), and
- a payload (a vector of field elements).
Constructor & Destructor Documentation
◆ r1cs_pcd_message()
template<typename FieldType >
|
inline |
◆ ~r1cs_pcd_message()
template<typename FieldType >
|
virtualdefault |
Member Function Documentation
◆ as_r1cs_variable_assignment()
template<typename FieldType >
|
inline |
◆ payload_as_r1cs_variable_assignment()
template<typename FieldType >
|
pure virtual |
Member Data Documentation
◆ type
template<typename FieldType >
std::size_t nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >::type |
The documentation for this struct was generated from the following file: