ssp.hpp File Reference

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

Include dependency graph for ssp.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::ssp_witness< FieldT >
class	libsnark::ssp_instance< FieldT >
class	libsnark::ssp_instance_evaluation< FieldT >
class	libsnark::ssp_witness< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for a SSP ("Square Span Program").

SSPs are defined in [DFGK14].

References:

[DFGK14]: "Square Span Programs with Applications to Succinct NIZK Arguments" George Danezis, Cedric Fournet, Jens Groth, Markulf Kohlweiss, ASIACRYPT 2014, http://eprint.iacr.org/2014/718

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file ssp.hpp.