|
| | sap_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 > &Ct, const std::vector< FieldT > &Ht, const FieldT &Zt) |
| |
| | sap_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 > &&Ct, std::vector< FieldT > &&Ht, const FieldT &Zt) |
| |
| | sap_instance_evaluation (const sap_instance_evaluation< FieldT > &other)=default |
| |
| | sap_instance_evaluation (sap_instance_evaluation< FieldT > &&other)=default |
| |
| sap_instance_evaluation & | operator= (const sap_instance_evaluation< FieldT > &other)=default |
| |
| sap_instance_evaluation & | operator= (sap_instance_evaluation< FieldT > &&other)=default |
| |
| size_t | num_variables () const |
| |
| size_t | degree () const |
| |
| size_t | num_inputs () const |
| |
| bool | is_satisfied (const sap_witness< FieldT > &witness) const |
| |
template<typename FieldT>
class libsnark::sap_instance_evaluation< FieldT >
A SAP instance evaluation is a SAP 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,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 100 of file sap.hpp.
