#include <ram_compliance_predicate.hpp>
Inheritance diagram for libsnark::ram_pcd_local_data< ramT >:
Collaboration diagram for libsnark::ram_pcd_local_data< ramT >:
Public Types | |
| typedef ram_base_field< ramT > | FieldT |
Public Member Functions | |
| ram_pcd_local_data (const bool is_halt_case, delegated_ra_memory< CRH_with_bit_out_gadget< FieldT >> &mem, typename ram_input_tape< ramT >::const_iterator &aux_it, const typename ram_input_tape< ramT >::const_iterator &aux_end) | |
| r1cs_variable_assignment< FieldT > | as_r1cs_variable_assignment () const |
 Public Member Functions inherited from libsnark::r1cs_pcd_local_data< ram_base_field< ramT > > | |
| r1cs_pcd_local_data ()=default | |
| virtual r1cs_variable_assignment< ram_base_field< ramT > > | as_r1cs_variable_assignment () const=0 |
| virtual | ~r1cs_pcd_local_data ()=default |
Public Attributes | |
| bool | is_halt_case |
| delegated_ra_memory< CRH_with_bit_out_gadget< FieldT > > & | mem |
| ram_input_tape< ramT >::const_iterator & | aux_it |
| const ram_input_tape< ramT >::const_iterator & | aux_end |
Detailed Description
template<typename ramT>
class libsnark::ram_pcd_local_data< ramT >
Definition at line 134 of file ram_compliance_predicate.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ramT >
| typedef ram_base_field<ramT> libsnark::ram_pcd_local_data< ramT >::FieldT |
Definition at line 137 of file ram_compliance_predicate.hpp.
Constructor & Destructor Documentation
◆ ram_pcd_local_data()
template<typename ramT >
| libsnark::ram_pcd_local_data< ramT >::ram_pcd_local_data | ( | const bool | is_halt_case, |
| delegated_ra_memory< CRH_with_bit_out_gadget< FieldT >> & | mem, | ||
| typename ram_input_tape< ramT >::const_iterator & | aux_it, | ||
| const typename ram_input_tape< ramT >::const_iterator & | aux_end | ||
| ) |
Member Function Documentation
◆ as_r1cs_variable_assignment()
template<typename ramT >
| r1cs_variable_assignment<FieldT> libsnark::ram_pcd_local_data< ramT >::as_r1cs_variable_assignment | ( | ) | const |
Member Data Documentation
◆ aux_end
template<typename ramT >
| const ram_input_tape<ramT>::const_iterator& libsnark::ram_pcd_local_data< ramT >::aux_end |
Definition at line 143 of file ram_compliance_predicate.hpp.
◆ aux_it
template<typename ramT >
| ram_input_tape<ramT>::const_iterator& libsnark::ram_pcd_local_data< ramT >::aux_it |
Definition at line 142 of file ram_compliance_predicate.hpp.
◆ is_halt_case
template<typename ramT >
| bool libsnark::ram_pcd_local_data< ramT >::is_halt_case |
Definition at line 139 of file ram_compliance_predicate.hpp.
◆ mem
template<typename ramT >
| delegated_ra_memory<CRH_with_bit_out_gadget<FieldT> >& libsnark::ram_pcd_local_data< ramT >::mem |
Definition at line 141 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
