#include <memory>
#include <vector>
#include <nil/crypto3/zk/snark/set_commitment.hpp>
#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/ppzkpcd_compliance_predicate.hpp>
#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/r1cs_mp_ppzkpcd/r1cs_mp_ppzkpcd_params.hpp>
#include <nil/crypto3/zk/snark/schemes/ppzksnark/r1cs_ppzksnark.hpp>

Include dependency graph for r1cs_mp_ppzkpcd.hpp:

Classes
class	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_keypair< PCD_ppT >

class	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_processed_verification_key< PCD_ppT >

class	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proof< PCD_ppT >

class	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_proving_key< PCD_ppT >

class	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_verification_key< PCD_ppT >

Namespaces
	nil

	nil::crypto3

	nil::crypto3::zk

	nil::crypto3::zk::snark

Functions
template<typename PCD_ppT >
r1cs_mp_ppzkpcd_keypair< PCD_ppT >	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_generator (const std::vector< r1cs_mp_ppzkpcd_compliance_predicate< PCD_ppT >> &compliance_predicates)

template<typename PCD_ppT >
bool	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_online_verifier (const r1cs_mp_ppzkpcd_processed_verification_key< PCD_ppT > &pvk, const r1cs_mp_ppzkpcd_primary_input< PCD_ppT > &primary_input, const r1cs_mp_ppzkpcd_proof< PCD_ppT > &proof)

template<typename PCD_ppT >
r1cs_mp_ppzkpcd_processed_verification_key< PCD_ppT >	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_process_vk (const r1cs_mp_ppzkpcd_verification_key< PCD_ppT > &vk)

template<typename PCD_ppT >
r1cs_mp_ppzkpcd_proof< PCD_ppT >	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_prover (const r1cs_mp_ppzkpcd_proving_key< PCD_ppT > &pk, const std::size_t compliance_predicate_name, const r1cs_mp_ppzkpcd_primary_input< PCD_ppT > &primary_input, const r1cs_mp_ppzkpcd_auxiliary_input< PCD_ppT > &auxiliary_input, const std::vector< r1cs_mp_ppzkpcd_proof< PCD_ppT >> &incoming_proofs)

template<typename PCD_ppT >
bool	nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_verifier (const r1cs_mp_ppzkpcd_verification_key< PCD_ppT > &vk, const r1cs_mp_ppzkpcd_primary_input< PCD_ppT > &primary_input, const r1cs_mp_ppzkpcd_proof< PCD_ppT > &proof)

Classes

Namespaces

Functions