#include <ram_to_r1cs.hpp>
Public Types | |
| typedef ram_base_field< ramT > | FieldT |
Public Member Functions | |
| ram_to_r1cs (const ram_architecture_params< ramT > &ap, const size_t boot_trace_size_bound, const size_t time_bound) | |
| void | instance_map () |
| r1cs_constraint_system< FieldT > | get_constraint_system () const |
| r1cs_auxiliary_input< FieldT > | auxiliary_input_map (const ram_boot_trace< ramT > &boot_trace, const ram_input_tape< ramT > &auxiliary_input) |
| void | print_execution_trace () const |
| void | print_memory_trace () const |
Static Public Member Functions | |
| static std::vector< ram_base_field< ramT > > | pack_primary_input_address_and_value (const ram_architecture_params< ramT > &ap, const address_and_value &av) |
| static r1cs_primary_input< ram_base_field< ramT > > | primary_input_map (const ram_architecture_params< ramT > &ap, const size_t boot_trace_size_bound, const ram_boot_trace< ramT > &boot_trace) |
Public Attributes | |
| size_t | boot_trace_size_bound |
| ram_protoboard< ramT > | main_protoboard |
| pb_variable_array< FieldT > | r1cs_input |
| std::shared_ptr< ram_universal_gadget< ramT > > | universal_gadget |
Detailed Description
template<typename ramT>
class libsnark::ram_to_r1cs< ramT >
Definition at line 25 of file ram_to_r1cs.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ramT >
| typedef ram_base_field<ramT> libsnark::ram_to_r1cs< ramT >::FieldT |
Definition at line 28 of file ram_to_r1cs.hpp.
Constructor & Destructor Documentation
◆ ram_to_r1cs()
template<typename ramT >
| libsnark::ram_to_r1cs< ramT >::ram_to_r1cs | ( | const ram_architecture_params< ramT > & | ap, |
| const size_t | boot_trace_size_bound, | ||
| const size_t | time_bound | ||
| ) |
Member Function Documentation
◆ auxiliary_input_map()
template<typename ramT >
| r1cs_auxiliary_input<FieldT> libsnark::ram_to_r1cs< ramT >::auxiliary_input_map | ( | const ram_boot_trace< ramT > & | boot_trace, |
| const ram_input_tape< ramT > & | auxiliary_input | ||
| ) |
Here is the caller graph for this function:
◆ get_constraint_system()
template<typename ramT >
| r1cs_constraint_system<FieldT> libsnark::ram_to_r1cs< ramT >::get_constraint_system | ( | ) | const |
Here is the caller graph for this function:
◆ instance_map()
template<typename ramT >
| void libsnark::ram_to_r1cs< ramT >::instance_map | ( | ) |
Here is the caller graph for this function:
◆ pack_primary_input_address_and_value()
template<typename ramT >
|
static |
◆ primary_input_map()
template<typename ramT >
|
static |
Here is the caller graph for this function:
◆ print_execution_trace()
template<typename ramT >
| void libsnark::ram_to_r1cs< ramT >::print_execution_trace | ( | ) | const |
Here is the caller graph for this function:
◆ print_memory_trace()
template<typename ramT >
| void libsnark::ram_to_r1cs< ramT >::print_memory_trace | ( | ) | const |
Member Data Documentation
◆ boot_trace_size_bound
template<typename ramT >
| size_t libsnark::ram_to_r1cs< ramT >::boot_trace_size_bound |
Definition at line 30 of file ram_to_r1cs.hpp.
◆ main_protoboard
template<typename ramT >
| ram_protoboard<ramT> libsnark::ram_to_r1cs< ramT >::main_protoboard |
Definition at line 32 of file ram_to_r1cs.hpp.
◆ r1cs_input
template<typename ramT >
| pb_variable_array<FieldT> libsnark::ram_to_r1cs< ramT >::r1cs_input |
Definition at line 33 of file ram_to_r1cs.hpp.
◆ universal_gadget
template<typename ramT >
| std::shared_ptr<ram_universal_gadget<ramT> > libsnark::ram_to_r1cs< ramT >::universal_gadget |
Definition at line 34 of file ram_to_r1cs.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/reductions/ram_to_r1cs/ram_to_r1cs.hpp
