qap.hpp File Reference

#include <libfqfft/evaluation_domain/evaluation_domain.hpp>
#include <map>
#include <memory>
#include <libsnark/relations/arithmetic_programs/qap/qap.tcc>

Include dependency graph for qap.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::qap_witness< FieldT >
class	libsnark::qap_instance< FieldT >
class	libsnark::qap_instance_evaluation< FieldT >
class	libsnark::qap_witness< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for a QAP ("Quadratic Arithmetic Program").

QAPs are defined in [GGPR13].

References:

[GGPR13]: "Quadratic span programs and succinct NIZKs without PCPs", Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova, EUROCRYPT 2013, http://eprint.iacr.org/2012/215

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file qap.hpp.