#include <vector>
#include <tuple>
#include <cmath>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/commitment.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/srs.hpp>

Include dependency graph for snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:

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

Go to the source code of this file.

Classes
struct	nil::crypto3::zk::snark::gipa_proof< CurveType >

struct	nil::crypto3::zk::snark::r1cs_gg_ppzksnark_aggregate_proof< CurveType >

struct	nil::crypto3::zk::snark::tipp_mipp_proof< CurveType >

Namespaces
	nil

	nil::crypto3

	nil::crypto3::zk

	nil::crypto3::zk::snark

Typedefs
template<typename GroupType >
using	nil::crypto3::zk::snark::kzg_opening = std::pair< typename GroupType::value_type, typename GroupType::value_type >

Classes

Namespaces

Typedefs