extended_proof.tcc

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZETH_TYPES_EXTENDED_PROOF_TCC__
#define __ZETH_TYPES_EXTENDED_PROOF_TCC__
 
#include "libzeth/core/extended_proof.hpp"
#include "libzeth/core/field_element_utils.hpp"
#include "libzeth/serialization/r1cs_serialization.hpp"
 
namespace libzeth
{
 
template<typename ppT, typename snarkT>
extended_proof<ppT, snarkT>::extended_proof(
    typename snarkT::proof &&in_proof,
    libsnark::r1cs_primary_input<libff::Fr<ppT>> &&in_primary_inputs)
    : proof(in_proof), primary_inputs(in_primary_inputs)
{
}
 
template<typename ppT, typename snarkT>
const typename snarkT::proof &extended_proof<ppT, snarkT>::get_proof() const
{
    return proof;
}
 
template<typename ppT, typename snarkT>
const libsnark::r1cs_primary_input<libff::Fr<ppT>>
    &extended_proof<ppT, snarkT>::get_primary_inputs() const
{
    return primary_inputs;
}
 
template<typename ppT, typename snarkT>
std::ostream &extended_proof<ppT, snarkT>::write_json(std::ostream &out_s) const
{
    out_s << "{\n"
             "  \"proof\": ";
    snarkT::proof_write_json(proof, out_s);
    out_s << ",\n"
             "  \"inputs\": ";
    primary_inputs_write_json(primary_inputs, out_s);
    out_s << "\n"
             "}\n";
    return out_s;
}
 
} // namespace libzeth
 
#endif // __ZETH_TYPES_EXTENDED_PROOF_TCC__