circuit_wrapper.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZETH_CIRCUITS_CIRCUIT_WRAPPER_HPP__
#define __ZETH_CIRCUITS_CIRCUIT_WRAPPER_HPP__
 
#include "libzeth/circuits/joinsplit.tcc"
#include "libzeth/circuits/mimc/mimc_input_hasher.hpp"
#include "libzeth/core/extended_proof.hpp"
#include "libzeth/core/note.hpp"
#include "libzeth/zeth_constants.hpp"
 
namespace libzeth
{
 
template<
    typename HashT,
    typename HashTreeT,
    typename ppT,
    typename snarkT,
    size_t NumInputs,
    size_t NumOutputs,
    size_t TreeDepth>
class circuit_wrapper
{
public:
    using Field = libff::Fr<ppT>;
    // Both `joinsplit` and `joinsplit_gadget` are already used in the
    // namespace.
    using joinsplit_type = joinsplit_gadget<
        Field,
        HashT,
        HashTreeT,
        NumInputs,
        NumOutputs,
        TreeDepth>;
    using input_hasher_type = mimc_input_hasher<Field, HashTreeT>;
 
    circuit_wrapper();
    circuit_wrapper(const circuit_wrapper &) = delete;
    circuit_wrapper &operator=(const circuit_wrapper &) = delete;
 
    // Generate the trusted setup
    typename snarkT::keypair generate_trusted_setup() const;
 
    // Retrieve the constraint system (intended for debugging purposes).
    const libsnark::r1cs_constraint_system<Field> &get_constraint_system()
        const;
 
    // Generate a proof and returns an extended proof
    extended_proof<ppT, snarkT> prove(
        const Field &root,
        const std::array<joinsplit_input<Field, TreeDepth>, NumInputs> &inputs,
        const std::array<zeth_note, NumOutputs> &outputs,
        const bits64 &vpub_in,
        const bits64 &vpub_out,
        const bits256 &h_sig_in,
        const bits256 &phi_in,
        const typename snarkT::proving_key &proving_key,
        std::vector<Field> &out_public_data) const;
 
    const std::vector<Field> &get_last_assignment() const;
 
private:
    libsnark::protoboard<Field> pb;
    libsnark::pb_variable<Field> public_data_hash;
    libsnark::pb_variable_array<Field> public_data;
    std::shared_ptr<joinsplit_type> joinsplit;
    std::shared_ptr<input_hasher_type> input_hasher;
};
 
} // namespace libzeth
 
#include "libzeth/circuits/circuit_wrapper.tcc"
 
#endif // __ZETH_CIRCUITS_CIRCUIT_WRAPPER_HPP__