r1cs_sp_ppzkpcd.hpp File Reference
#include <memory>
#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/r1cs_sp_ppzkpcd_params.hpp>
#include <nil/crypto3/zk/snark/schemes/ppzksnark/r1cs_ppzksnark.hpp>
Include dependency graph for r1cs_sp_ppzkpcd.hpp:
Go to the source code of this file.
Namespaces | |
nil | |
nil::crypto3 | |
nil::crypto3::zk | |
nil::crypto3::zk::snark | |
Typedefs | |
template<typename PCD_ppT > | |
using | nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_proof = typename r1cs_ppzksnark< typename PCD_ppT::curve_B_pp >::proof_type |
Functions | |
template<typename PCD_ppT > | |
r1cs_sp_ppzkpcd_keypair< PCD_ppT > | nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_generator (const r1cs_sp_ppzkpcd_compliance_predicate< PCD_ppT > &compliance_predicate) |
template<typename PCD_ppT > | |
bool | nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_online_verifier (const r1cs_sp_ppzkpcd_processed_verification_key< PCD_ppT > &pvk, const r1cs_sp_ppzkpcd_primary_input< PCD_ppT > &primary_input, const r1cs_sp_ppzkpcd_proof< PCD_ppT > &proof) |
template<typename PCD_ppT > | |
r1cs_sp_ppzkpcd_processed_verification_key< PCD_ppT > | nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_process_vk (const r1cs_sp_ppzkpcd_verification_key< PCD_ppT > &vk) |
template<typename PCD_ppT > | |
r1cs_sp_ppzkpcd_proof< PCD_ppT > | nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_prover (const r1cs_sp_ppzkpcd_proving_key< PCD_ppT > &pk, const r1cs_sp_ppzkpcd_primary_input< PCD_ppT > &primary_input, const r1cs_sp_ppzkpcd_auxiliary_input< PCD_ppT > &auxiliary_input, const std::vector< r1cs_sp_ppzkpcd_proof< PCD_ppT >> &incoming_proofs) |
template<typename PCD_ppT > | |
bool | nil::crypto3::zk::snark::r1cs_sp_ppzkpcd_verifier (const r1cs_sp_ppzkpcd_verification_key< PCD_ppT > &vk, const r1cs_sp_ppzkpcd_primary_input< PCD_ppT > &primary_input, const r1cs_sp_ppzkpcd_proof< PCD_ppT > &proof) |