|
| | qap_instance_evaluation (const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, const FieldT &t, const std::vector< FieldT > &At, const std::vector< FieldT > &Bt, const std::vector< FieldT > &Ct, const std::vector< FieldT > &Ht, const FieldT &Zt) |
| |
| | qap_instance_evaluation (const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, const FieldT &t, std::vector< FieldT > &&At, std::vector< FieldT > &&Bt, std::vector< FieldT > &&Ct, std::vector< FieldT > &&Ht, const FieldT &Zt) |
| |
| | qap_instance_evaluation (const qap_instance_evaluation< FieldT > &other)=default |
| |
| | qap_instance_evaluation (qap_instance_evaluation< FieldT > &&other)=default |
| |
| qap_instance_evaluation & | operator= (const qap_instance_evaluation< FieldT > &other)=default |
| |
| qap_instance_evaluation & | operator= (qap_instance_evaluation< FieldT > &&other)=default |
| |
| size_t | num_variables () const |
| |
| size_t | degree () const |
| |
| size_t | num_inputs () const |
| |
| bool | is_satisfied (const qap_witness< FieldT > &witness) const |
| |
template<typename FieldT>
class libsnark::qap_instance_evaluation< FieldT >
A QAP instance evaluation is a QAP instance that is evaluated at a field element t.
Specifically, the datastructure stores:
- a choice of domain (corresponding to a certain subset of the field);
- the number of variables, the degree, and the number of inputs;
- a field element t;
- evaluations of the A,B,C (and Z) polynomials at t;
- evaluations of all monomials of t;
- counts about how many of the above evaluations are in fact non-zero.
Definition at line 107 of file qap.hpp.
