ram_zksnark.hpp

Go to the documentation of this file.

 
#ifndef RAM_ZKSNARK_HPP_
#define RAM_ZKSNARK_HPP_
 
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/r1cs_sp_ppzkpcd.hpp>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_compliance_predicate.hpp>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_zksnark_params.hpp>
#include <memory>
 
namespace libsnark
{
 
/******************************** Proving key ********************************/
 
template<typename ram_zksnark_ppT> class ram_zksnark_proving_key;
 
template<typename ram_zksnark_ppT>
std::ostream &operator<<(
    std::ostream &out, const ram_zksnark_proving_key<ram_zksnark_ppT> &pk);
 
template<typename ram_zksnark_ppT>
std::istream &operator>>(
    std::istream &in, ram_zksnark_proving_key<ram_zksnark_ppT> &pk);
 
template<typename ram_zksnark_ppT> class ram_zksnark_proving_key
{
public:
    ram_zksnark_architecture_params<ram_zksnark_ppT> ap;
    r1cs_sp_ppzkpcd_proving_key<ram_zksnark_PCD_pp<ram_zksnark_ppT>> pcd_pk;
 
    ram_zksnark_proving_key() {}
    ram_zksnark_proving_key(
        const ram_zksnark_proving_key<ram_zksnark_ppT> &other) = default;
    ram_zksnark_proving_key(ram_zksnark_proving_key<ram_zksnark_ppT> &&other) =
        default;
    ram_zksnark_proving_key(
        const ram_zksnark_architecture_params<ram_zksnark_ppT> &ap,
        r1cs_sp_ppzkpcd_proving_key<ram_zksnark_PCD_pp<ram_zksnark_ppT>>
            &&pcd_pk)
        : ap(ap), pcd_pk(std::move(pcd_pk)){};
 
    ram_zksnark_proving_key<ram_zksnark_ppT> &operator=(
        const ram_zksnark_proving_key<ram_zksnark_ppT> &other) = default;
 
    bool operator==(
        const ram_zksnark_proving_key<ram_zksnark_ppT> &other) const;
    friend std::ostream &operator<<<ram_zksnark_ppT>(
        std::ostream &out, const ram_zksnark_proving_key<ram_zksnark_ppT> &pk);
    friend std::istream &operator>><ram_zksnark_ppT>(
        std::istream &in, ram_zksnark_proving_key<ram_zksnark_ppT> &pk);
};
 
/******************************* Verification key ****************************/
 
template<typename ram_zksnark_ppT> class ram_zksnark_verification_key;
 
template<typename ram_zksnark_ppT>
std::ostream &operator<<(
    std::ostream &out, const ram_zksnark_verification_key<ram_zksnark_ppT> &vk);
 
template<typename ram_zksnark_ppT>
std::istream &operator>>(
    std::istream &in, ram_zksnark_verification_key<ram_zksnark_ppT> &vk);
 
template<typename ram_zksnark_ppT> class ram_zksnark_verification_key
{
public:
    ram_zksnark_architecture_params<ram_zksnark_ppT> ap;
    r1cs_sp_ppzkpcd_verification_key<ram_zksnark_PCD_pp<ram_zksnark_ppT>>
        pcd_vk;
 
    ram_zksnark_verification_key() = default;
    ram_zksnark_verification_key(
        const ram_zksnark_verification_key<ram_zksnark_ppT> &other) = default;
    ram_zksnark_verification_key(
        ram_zksnark_verification_key<ram_zksnark_ppT> &&other) = default;
    ram_zksnark_verification_key(
        const ram_zksnark_architecture_params<ram_zksnark_ppT> &ap,
        r1cs_sp_ppzkpcd_verification_key<ram_zksnark_PCD_pp<ram_zksnark_ppT>>
            &&pcd_vk)
        : ap(ap), pcd_vk(std::move(pcd_vk)){};
 
    ram_zksnark_verification_key<ram_zksnark_ppT> &operator=(
        const ram_zksnark_verification_key<ram_zksnark_ppT> &other) = default;
 
    bool operator==(
        const ram_zksnark_verification_key<ram_zksnark_ppT> &other) const;
    friend std::ostream &operator<<<ram_zksnark_ppT>(
        std::ostream &out,
        const ram_zksnark_verification_key<ram_zksnark_ppT> &vk);
    friend std::istream &operator>><ram_zksnark_ppT>(
        std::istream &in, ram_zksnark_verification_key<ram_zksnark_ppT> &vk);
 
    static ram_zksnark_verification_key<ram_zksnark_ppT> dummy_verification_key(
        const ram_zksnark_architecture_params<ram_zksnark_ppT> &ap);
};
 
/********************************** Key pair *********************************/
 
template<typename ram_zksnark_ppT> struct ram_zksnark_keypair {
public:
    ram_zksnark_proving_key<ram_zksnark_ppT> pk;
    ram_zksnark_verification_key<ram_zksnark_ppT> vk;
 
    ram_zksnark_keypair(){};
    ram_zksnark_keypair(ram_zksnark_keypair<ram_zksnark_ppT> &&other) = default;
    ram_zksnark_keypair(
        ram_zksnark_proving_key<ram_zksnark_ppT> &&pk,
        ram_zksnark_verification_key<ram_zksnark_ppT> &&vk)
        : pk(std::move(pk)), vk(std::move(vk)){};
};
 
/*********************************** Proof ***********************************/
 
template<typename ram_zksnark_ppT> class ram_zksnark_proof;
 
template<typename ram_zksnark_ppT>
std::ostream &operator<<(
    std::ostream &out, const ram_zksnark_proof<ram_zksnark_ppT> &proof);
 
template<typename ram_zksnark_ppT>
std::istream &operator>>(
    std::istream &in, ram_zksnark_proof<ram_zksnark_ppT> &proof);
 
template<typename ram_zksnark_ppT> class ram_zksnark_proof
{
public:
    r1cs_sp_ppzkpcd_proof<ram_zksnark_PCD_pp<ram_zksnark_ppT>> PCD_proof;
 
    ram_zksnark_proof() = default;
    ram_zksnark_proof(
        r1cs_sp_ppzkpcd_proof<ram_zksnark_PCD_pp<ram_zksnark_ppT>> &&PCD_proof)
        : PCD_proof(std::move(PCD_proof)){};
    ram_zksnark_proof(
        const r1cs_sp_ppzkpcd_proof<ram_zksnark_PCD_pp<ram_zksnark_ppT>>
            &PCD_proof)
        : PCD_proof(PCD_proof){};
 
    size_t size_in_bits() const { return PCD_proof.size_in_bits(); }
 
    bool operator==(const ram_zksnark_proof<ram_zksnark_ppT> &other) const;
    friend std::ostream &operator<<<ram_zksnark_ppT>(
        std::ostream &out, const ram_zksnark_proof<ram_zksnark_ppT> &proof);
    friend std::istream &operator>><ram_zksnark_ppT>(
        std::istream &in, ram_zksnark_proof<ram_zksnark_ppT> &proof);
};
 
/***************************** Main algorithms *******************************/
 
template<typename ram_zksnark_ppT>
ram_zksnark_keypair<ram_zksnark_ppT> ram_zksnark_generator(
    const ram_zksnark_architecture_params<ram_zksnark_ppT> &ap);
 
template<typename ram_zksnark_ppT>
ram_zksnark_proof<ram_zksnark_ppT> ram_zksnark_prover(
    const ram_zksnark_proving_key<ram_zksnark_ppT> &pk,
    const ram_zksnark_primary_input<ram_zksnark_ppT> &primary_input,
    const size_t time_bound,
    const ram_zksnark_auxiliary_input<ram_zksnark_ppT> &auxiliary_input);
 
template<typename ram_zksnark_ppT>
bool ram_zksnark_verifier(
    const ram_zksnark_verification_key<ram_zksnark_ppT> &vk,
    const ram_zksnark_primary_input<ram_zksnark_ppT> &primary_input,
    const size_t time_bound,
    const ram_zksnark_proof<ram_zksnark_ppT> &proof);
 
} // namespace libsnark
 
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_zksnark.tcc>
 
#endif // RAM_ZKSNARK_HPP_