small_subgroup_ipa_utils.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/common/ref_array.hpp"
#include "barretenberg/constants.hpp"
 
#include <array>
#include <string>
 
namespace bb {
 
inline std::array<std::string, NUM_SMALL_IPA_EVALUATIONS> get_evaluation_labels(const std::string& label_prefix)
{
    return { label_prefix + "concatenation_eval",
             label_prefix + "grand_sum_shift_eval",
             label_prefix + "grand_sum_eval",
             label_prefix + "quotient_eval" };
};
 
template <typename FF>
inline std::array<FF, NUM_SMALL_IPA_EVALUATIONS> compute_evaluation_points(const FF& small_ipa_evaluation_challenge,
                                                                           const FF& subgroup_generator)
{
    return { small_ipa_evaluation_challenge,
             small_ipa_evaluation_challenge * subgroup_generator,
             small_ipa_evaluation_challenge,
             small_ipa_evaluation_challenge };
}
 
template <typename Commitment> struct SmallSubgroupIPACommitments {
    Commitment concatenated, grand_sum, quotient;
    // The grand sum commitment is returned twice since we are opening the corresponding polynomial at 2 points.
    RefArray<Commitment, NUM_SMALL_IPA_EVALUATIONS> get_all()
    {
        return { concatenated, grand_sum, grand_sum, quotient }; // {[G], [A], [A], [Q]}
    };
};
} // namespace bb