small_subgroup_ipa_utils.hpp File Reference

#include "barretenberg/common/ref_array.hpp"
#include "barretenberg/constants.hpp"
#include <array>
#include <string>

Go to the source code of this file.

Classes
struct	bb::SmallSubgroupIPACommitments< Commitment >
	Contains commitments to polynomials [G], [A], and [Q]. See SmallSubgroupIPAProver docs. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
std::array< std::string, NUM_SMALL_IPA_EVALUATIONS >	bb::get_evaluation_labels (const std::string &label_prefix)
	Shared by Prover and Verifier. label_prefix is either Libra: or Translation:.
template<typename FF >
std::array< FF, NUM_SMALL_IPA_EVALUATIONS >	bb::compute_evaluation_points (const FF &small_ipa_evaluation_challenge, const FF &subgroup_generator)
	The verification of Grand Sum Identity requires the evaluations G(r), A(g * r), A(r), Q(r). Shared by Prover and Verifier.