aggregator_circuit.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZECALE_CORE_AGGREGATOR_CIRCUIT_HPP__
#define __ZECALE_CORE_AGGREGATOR_CIRCUIT_HPP__
 
#include "libzecale/circuits/aggregator_gadget.hpp"
#include "libzecale/circuits/verification_key_hash_gadget.hpp"
 
#include <libzeth/core/extended_proof.hpp>
 
using namespace libzeth;
 
namespace libzecale
{
 
template<typename wppT, typename wsnarkT, typename nverifierT, size_t NumProofs>
class aggregator_circuit
{
private:
    using npp = libsnark::other_curve<wppT>;
    using nsnark = typename nverifierT::snark;
    using verification_key_variable_gadget =
        typename nverifierT::verification_key_variable_gadget;
    using proof_variable_gadget = typename nverifierT::proof_variable_gadget;
 
    const size_t _num_inputs_per_nested_proof;
 
    libsnark::protoboard<libff::Fr<wppT>> _pb;
 
    libsnark::pb_variable<libff::Fr<wppT>> _nested_vk_hash;
 
    libsnark::pb_variable<libff::Fr<wppT>> _nested_proof_results;
 
    std::array<libsnark::pb_variable_array<libff::Fr<wppT>>, NumProofs>
        _nested_primary_inputs;
 
    std::array<libsnark::pb_variable<libff::Fr<wppT>>, NumProofs>
        _nested_proof_results_unpacked;
 
    std::shared_ptr<verification_key_variable_gadget> _nested_vk;
 
    std::array<std::shared_ptr<proof_variable_gadget>, NumProofs>
        _nested_proofs;
 
    std::shared_ptr<verification_key_hash_gadget<wppT, nverifierT>>
        _nested_vk_hash_gadget;
 
    std::shared_ptr<aggregator_gadget<wppT, nverifierT, NumProofs>>
        _aggregator_gadget;
 
    std::shared_ptr<libsnark::packing_gadget<libff::Fr<wppT>>>
        _nested_proof_results_packer;
 
public:
    explicit aggregator_circuit(const size_t inputs_per_nested_proof);
 
    aggregator_circuit(const aggregator_circuit &other) = delete;
    const aggregator_circuit &operator=(const aggregator_circuit &other) =
        delete;
 
    typename wsnarkT::keypair generate_trusted_setup() const;
 
    // Number of primary inputs to the wrapping circuit
    size_t num_primary_inputs() const;
 
    const libsnark::r1cs_constraint_system<libff::Fr<wppT>>
        &get_constraint_system() const;
 
    extended_proof<wppT, wsnarkT> prove(
        const typename nsnark::verification_key &nested_vk,
        const std::array<
            const libzeth::extended_proof<npp, nsnark> *,
            NumProofs> &extended_proofs,
        const typename wsnarkT::proving_key &aggregator_proving_key);
};
 
} // namespace libzecale
 
#include "libzecale/circuits/aggregator_circuit.tcc"
 
#endif // __ZECALE_CORE_AGGREGATOR_CIRCUIT_HPP__