folding_result.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
namespace bb {
template <class Flavor> struct FoldingResult {
  public:
    std::shared_ptr<DeciderProvingKey_<Flavor>> accumulator;
    std::vector<typename Flavor::FF> proof;
};
} // namespace bb