Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
This is the complete list of members for libsnark::qap_instance< FieldT >, including all inherited members.
A_in_Lagrange_basis | libsnark::qap_instance< FieldT > | |
B_in_Lagrange_basis | libsnark::qap_instance< FieldT > | |
C_in_Lagrange_basis | libsnark::qap_instance< FieldT > | |
degree() const | libsnark::qap_instance< FieldT > | |
domain | libsnark::qap_instance< FieldT > | |
is_satisfied(const qap_witness< FieldT > &witness) const | libsnark::qap_instance< FieldT > | |
num_inputs() const | libsnark::qap_instance< FieldT > | |
num_variables() const | libsnark::qap_instance< FieldT > | |
operator=(const qap_instance< FieldT > &other)=default | libsnark::qap_instance< FieldT > | |
operator=(qap_instance< FieldT > &&other)=default | libsnark::qap_instance< FieldT > | |
qap_instance(const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, const std::vector< std::map< size_t, FieldT >> &A_in_Lagrange_basis, const std::vector< std::map< size_t, FieldT >> &B_in_Lagrange_basis, const std::vector< std::map< size_t, FieldT >> &C_in_Lagrange_basis) | libsnark::qap_instance< FieldT > | |
qap_instance(const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, std::vector< std::map< size_t, FieldT >> &&A_in_Lagrange_basis, std::vector< std::map< size_t, FieldT >> &&B_in_Lagrange_basis, std::vector< std::map< size_t, FieldT >> &&C_in_Lagrange_basis) | libsnark::qap_instance< FieldT > | |
qap_instance(const qap_instance< FieldT > &other)=default | libsnark::qap_instance< FieldT > | |
qap_instance(qap_instance< FieldT > &&other)=default | libsnark::qap_instance< FieldT > |