r1cs_serialization.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZETH_SERIALIZATION_R1CS_SERIALIZATION_HPP__
#define __ZETH_SERIALIZATION_R1CS_SERIALIZATION_HPP__
 
#include "libzeth/core/include_libff.hpp"
#include "libzeth/core/include_libsnark.hpp"
 
#include <ostream>
 
namespace libzeth
{
 
template<typename FieldT>
std::ostream &primary_inputs_write_json(
    const std::vector<FieldT> &public_inputs, std::ostream &out_s);
 
template<typename FieldT>
std::istream &primary_inputs_read_json(
    std::vector<FieldT> &public_inputs, std::istream &in_s);
 
template<typename ppT>
std::string accumulation_vector_to_json(
    const libsnark::accumulation_vector<libff::G1<ppT>> &acc_vector);
 
template<typename ppT>
libsnark::accumulation_vector<libff::G1<ppT>> accumulation_vector_from_json(
    const std::string &acc_vector_str);
 
template<typename FieldT>
std::ostream &r1cs_write_json(
    const libsnark::r1cs_constraint_system<FieldT> &r1cs, std::ostream &out_s);
 
template<typename FieldT>
void r1cs_read_bytes(
    libsnark::r1cs_constraint_system<FieldT> &r1cs, std::istream &in_s);
 
template<typename FieldT>
void r1cs_write_bytes(
    const libsnark::r1cs_constraint_system<FieldT> &r1cs, std::ostream &out_s);
 
} // namespace libzeth
 
#include "libzeth/serialization/r1cs_serialization.tcc"
 
#endif // __ZETH_SERIALIZATION_R1CS_SERIALIZATION_HPP__