pghr13_snark.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZETH_SNARKS_PGHR13_PGHR13_SNARK_HPP__
#define __ZETH_SNARKS_PGHR13_PGHR13_SNARK_HPP__
 
#include <boost/filesystem.hpp>
#include <libsnark/gadgetlib1/protoboard.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp>
 
namespace libzeth
{
 
template<typename ppT> class pghr13_snark
{
public:
    using proving_key = libsnark::r1cs_ppzksnark_proving_key<ppT>;
    using verification_key = libsnark::r1cs_ppzksnark_verification_key<ppT>;
    using keypair = libsnark::r1cs_ppzksnark_keypair<ppT>;
    using proof = libsnark::r1cs_ppzksnark_proof<ppT>;
 
    static const std::string name;
 
    static keypair generate_setup(
        const libsnark::protoboard<libff::Fr<ppT>> &pb);
 
    static proof generate_proof(
        const proving_key &proving_key,
        const libsnark::protoboard<libff::Fr<ppT>> &pb);
 
    static proof generate_proof(
        const proving_key &proving_key,
        const libsnark::r1cs_primary_input<libff::Fr<ppT>> &primary_input,
        const libsnark::r1cs_auxiliary_input<libff::Fr<ppT>> auxiliary_input);
 
    static bool verify(
        const libsnark::r1cs_primary_input<libff::Fr<ppT>> &primary_inputs,
        const proof &proof,
        const verification_key &verification_key);
 
    static void verification_key_write_json(
        const verification_key &, std::ostream &);
 
    static void verification_key_write_bytes(
        const verification_key &, std::ostream &);
 
    static void verification_key_read_bytes(verification_key &, std::istream &);
 
    static void proving_key_write_bytes(const proving_key &, std::ostream &);
 
    static void proving_key_read_bytes(proving_key &, std::istream &);
 
    static void proof_write_json(const proof &, std::ostream &);
 
    static void proof_write_bytes(const proof &, std::ostream &);
 
    static void proof_read_bytes(proof &, std::istream &);
 
    static void keypair_write_bytes(const keypair &, std::ostream &);
 
    static void keypair_read_bytes(keypair &, std::istream &);
};
 
} // namespace libzeth
 
#include "libzeth/snarks/pghr13/pghr13_snark.tcc"
 
#endif // __ZETH_SNARKS_PGHR13_PGHR13_SNARK_HPP__