#include <ram_compliance_predicate.hpp>
Inheritance diagram for libsnark::ram_pcd_local_data_variable< ramT >:
Collaboration diagram for libsnark::ram_pcd_local_data_variable< ramT >:
Public Types | |
| typedef ram_base_field< ramT > | FieldT |
Public Member Functions | |
| ram_pcd_local_data_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
 Public Member Functions inherited from libsnark::r1cs_pcd_local_data_variable< ram_base_field< ramT > > | |
| r1cs_pcd_local_data_variable (protoboard< ram_base_field< ramT > > &pb, const std::string &annotation_prefix) | |
| void | update_all_vars () |
| void | generate_r1cs_witness (const std::shared_ptr< r1cs_pcd_local_data< ram_base_field< ramT > >> &local_data) |
| virtual | ~r1cs_pcd_local_data_variable ()=default |
| Public Member Functions inherited from libsnark::gadget< ram_base_field< ramT > > | |
| gadget (protoboard< ram_base_field< ramT > > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| pb_variable< FieldT > | is_halt_case |
| Public Attributes inherited from libsnark::r1cs_pcd_local_data_variable< ram_base_field< ramT > > | |
| pb_variable_array< ram_base_field< ramT > > | all_vars |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::r1cs_pcd_local_data_variable< ram_base_field< ramT > > | |
| size_t | num_vars_at_construction |
| Protected Attributes inherited from libsnark::gadget< ram_base_field< ramT > > | |
| protoboard< ram_base_field< ramT > > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename ramT>
class libsnark::ram_pcd_local_data_variable< ramT >
Definition at line 155 of file ram_compliance_predicate.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ramT >
| typedef ram_base_field<ramT> libsnark::ram_pcd_local_data_variable< ramT >::FieldT |
Definition at line 159 of file ram_compliance_predicate.hpp.
Constructor & Destructor Documentation
◆ ram_pcd_local_data_variable()
template<typename ramT >
| libsnark::ram_pcd_local_data_variable< ramT >::ram_pcd_local_data_variable | ( | protoboard< FieldT > & | pb, |
| const std::string & | annotation_prefix | ||
| ) |
Member Data Documentation
◆ is_halt_case
template<typename ramT >
| pb_variable<FieldT> libsnark::ram_pcd_local_data_variable< ramT >::is_halt_case |
Definition at line 161 of file ram_compliance_predicate.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_compliance_predicate.hpp
