#include <pb_variable.hpp>
Inheritance diagram for libsnark::protoboard< FieldT >:
Public Member Functions | |
| protoboard () | |
| void | clear_values () |
| FieldT & | val (const pb_variable< FieldT > &var) |
| FieldT | val (const pb_variable< FieldT > &var) const |
| FieldT & | lc_val (const pb_linear_combination< FieldT > &lc) |
| FieldT | lc_val (const pb_linear_combination< FieldT > &lc) const |
| void | add_r1cs_constraint (const r1cs_constraint< FieldT > &constr, const std::string &annotation="") |
| void | augment_variable_annotation (const pb_variable< FieldT > &v, const std::string &postfix) |
| bool | is_satisfied () const |
| void | dump_variables () const |
| size_t | num_constraints () const |
| size_t | num_inputs () const |
| size_t | num_variables () const |
| void | set_input_sizes (const size_t primary_input_size) |
| const r1cs_variable_assignment< FieldT > & | full_variable_assignment () const |
| r1cs_primary_input< FieldT > | primary_input () const |
| r1cs_auxiliary_input< FieldT > | auxiliary_input () const |
| const r1cs_constraint_system< FieldT > & | get_constraint_system () const |
Friends | |
| class | pb_variable< FieldT > |
| class | pb_linear_combination< FieldT > |
Detailed Description
template<typename FieldT>
class libsnark::protoboard< FieldT >
Definition at line 22 of file pb_variable.hpp.
Constructor & Destructor Documentation
◆ protoboard()
template<typename FieldT >
| libsnark::protoboard< FieldT >::protoboard | ( | ) |
Member Function Documentation
◆ add_r1cs_constraint()
template<typename FieldT >
| void libsnark::protoboard< FieldT >::add_r1cs_constraint | ( | const r1cs_constraint< FieldT > & | constr, |
| const std::string & | annotation = "" |
||
| ) |
◆ augment_variable_annotation()
template<typename FieldT >
| void libsnark::protoboard< FieldT >::augment_variable_annotation | ( | const pb_variable< FieldT > & | v, |
| const std::string & | postfix | ||
| ) |
◆ auxiliary_input()
template<typename FieldT >
| r1cs_auxiliary_input<FieldT> libsnark::protoboard< FieldT >::auxiliary_input | ( | ) | const |
◆ clear_values()
template<typename FieldT >
| void libsnark::protoboard< FieldT >::clear_values | ( | ) |
◆ dump_variables()
template<typename FieldT >
| void libsnark::protoboard< FieldT >::dump_variables | ( | ) | const |
◆ full_variable_assignment()
template<typename FieldT >
| const r1cs_variable_assignment<FieldT>& libsnark::protoboard< FieldT >::full_variable_assignment | ( | ) | const |
◆ get_constraint_system()
template<typename FieldT >
| const r1cs_constraint_system<FieldT>& libsnark::protoboard< FieldT >::get_constraint_system | ( | ) | const |
◆ is_satisfied()
template<typename FieldT >
| bool libsnark::protoboard< FieldT >::is_satisfied | ( | ) | const |
◆ lc_val() [1/2]
template<typename FieldT >
| FieldT& libsnark::protoboard< FieldT >::lc_val | ( | const pb_linear_combination< FieldT > & | lc | ) |
◆ lc_val() [2/2]
template<typename FieldT >
| FieldT libsnark::protoboard< FieldT >::lc_val | ( | const pb_linear_combination< FieldT > & | lc | ) | const |
◆ num_constraints()
template<typename FieldT >
| size_t libsnark::protoboard< FieldT >::num_constraints | ( | ) | const |
Here is the caller graph for this function:
◆ num_inputs()
template<typename FieldT >
| size_t libsnark::protoboard< FieldT >::num_inputs | ( | ) | const |
◆ num_variables()
template<typename FieldT >
| size_t libsnark::protoboard< FieldT >::num_variables | ( | ) | const |
Here is the caller graph for this function:
◆ primary_input()
template<typename FieldT >
| r1cs_primary_input<FieldT> libsnark::protoboard< FieldT >::primary_input | ( | ) | const |
◆ set_input_sizes()
template<typename FieldT >
| void libsnark::protoboard< FieldT >::set_input_sizes | ( | const size_t | primary_input_size | ) |
◆ val() [1/2]
template<typename FieldT >
| FieldT& libsnark::protoboard< FieldT >::val | ( | const pb_variable< FieldT > & | var | ) |
◆ val() [2/2]
template<typename FieldT >
| FieldT libsnark::protoboard< FieldT >::val | ( | const pb_variable< FieldT > & | var | ) | const |
Friends And Related Function Documentation
◆ pb_linear_combination< FieldT >
template<typename FieldT >
|
friend |
Definition at line 72 of file protoboard.hpp.
◆ pb_variable< FieldT >
template<typename FieldT >
|
friend |
Definition at line 71 of file protoboard.hpp.
The documentation for this class was generated from the following files:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/pb_variable.hpp
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/protoboard.hpp
