native_aggregation_state.hpp

#pragma once
#include "barretenberg/common/streams.hpp"
#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/ecc/groups/affine_element.hpp"
 
namespace proof_system::plonk {
namespace stdlib {
namespace recursion {
 
struct native_aggregation_state {
    typename barretenberg::g1::affine_element P0 = barretenberg::g1::affine_one;
    typename barretenberg::g1::affine_element P1 = barretenberg::g1::affine_one;
    std::vector<barretenberg::fr> public_inputs;
    std::vector<uint32_t> proof_witness_indices;
    bool has_data = false;
 
    // For serialization, update with new fields
    MSGPACK_FIELDS(P0, P1, public_inputs, proof_witness_indices, has_data);
    bool operator==(native_aggregation_state const& other) const
    {
        return P0 == other.P0 && P1 == other.P1 && public_inputs == other.public_inputs &&
               proof_witness_indices == other.proof_witness_indices && has_data == other.has_data;
    };
};
 
inline std::ostream& operator<<(std::ostream& os, native_aggregation_state const& obj)
{
    return os << "P0: " << obj.P0 << "\n"
              << "P1: " << obj.P1 << "\n"
              << "public_inputs: " << obj.public_inputs << "\n"
              << "proof_witness_indices: " << obj.proof_witness_indices << "\n"
              << "has_data: " << obj.has_data << "\n";
};
 
} // namespace recursion
} // namespace stdlib
} // namespace proof_system::plonk