sap.hpp File Reference

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

Include dependency graph for sap.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::sap_witness< FieldT >
class	libsnark::sap_instance< FieldT >
class	libsnark::sap_instance_evaluation< FieldT >
class	libsnark::sap_witness< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for a SAP ("Square Arithmetic Program").

SAPs are defined in [GM17].

References:

[GM17]: "Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs", Jens Groth and Mary Maller, IACR-CRYPTO-2017, https://eprint.iacr.org/2017/540

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file sap.hpp.