aggregator_gadget.hpp

Go to the documentation of this file.

// Copyright (c) 2015-2022 Clearmatics Technologies Ltd
//
// SPDX-License-Identifier: LGPL-3.0+
 
#ifndef __ZECALE_CIRCUITS_AGGREGATOR_GADGET_HPP_
#define __ZECALE_CIRCUITS_AGGREGATOR_GADGET_HPP_
 
#include <libff/algebra/fields/field_utils.hpp>
#include <libsnark/gadgetlib1/gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/gadgetlib1/gadgets/pairing/pairing_params.hpp>
#include <libzeth/core/extended_proof.hpp>
 
namespace libzecale
{
 
template<typename wppT, typename nverifierT, size_t NumProofs>
class aggregator_gadget : libsnark::gadget<libff::Fr<wppT>>
{
private:
    using npp = libsnark::other_curve<wppT>;
    using nsnark = typename nverifierT::snark;
    using process_verification_key_gadget =
        typename nverifierT::process_verification_key_gadget;
    using online_verifier_gadget = typename nverifierT::online_verifier_gadget;
    using proof_variable_gadget = typename nverifierT::proof_variable_gadget;
    using verification_key_variable_gadget =
        typename nverifierT::verification_key_variable_gadget;
    using processed_verification_key_variable_gadget =
        typename nverifierT::processed_verification_key_variable_gadget;
    using input_packing_gadget = libsnark::multipacking_gadget<libff::Fr<wppT>>;
 
    const size_t num_inputs_per_nested_proof;
 
    // TODO: Remove unused variables
 
    processed_verification_key_variable_gadget processed_vk;
 
    // Required in order to generate the bit strings from instance value.
    std::array<libsnark::pb_variable_array<libff::Fr<wppT>>, NumProofs>
        nested_primary_inputs;
 
    std::array<libsnark::pb_variable_array<libff::Fr<wppT>>, NumProofs>
        nested_primary_inputs_bits;
 
    process_verification_key_gadget vk_processor;
 
    std::vector<std::shared_ptr<input_packing_gadget>>
        nested_primary_input_packers;
 
    // Gadgets that verify the proofs and inputs against nested_vk.
    std::array<std::shared_ptr<online_verifier_gadget>, NumProofs> verifiers;
 
public:
    aggregator_gadget(
        libsnark::protoboard<libff::Fr<wppT>> &pb,
        const verification_key_variable_gadget &vk,
        const std::array<
            libsnark::pb_variable_array<libff::Fr<wppT>>,
            NumProofs> &inputs,
        const std::array<std::shared_ptr<proof_variable_gadget>, NumProofs>
            &proofs,
        const std::array<libsnark::pb_variable<libff::Fr<wppT>>, NumProofs>
            &proof_results,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
 
    void generate_r1cs_witness(
        const std::array<
            const libsnark::r1cs_primary_input<libff::Fr<npp>> *,
            NumProofs> &in_extended_proofs);
};
 
} // namespace libzecale
 
#include "libzecale/circuits/aggregator_gadget.tcc"
 
#endif // __ZECALE_CIRCUITS_AGGREGATOR_GADGET_HPP_