sumcheck_output.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/polynomials/polynomial.hpp"
#include <array>
#include <optional>
#include <vector>
 
namespace bb {
 
template <typename Flavor> struct SumcheckOutput {
    using FF = typename Flavor::FF;
    using ClaimedEvaluations = typename Flavor::AllValues;
    using Commitment = typename Flavor::Commitment;
 
    // \f$ \vec u = (u_0, ..., u_{d-1}) \f$
    std::vector<FF> challenge;
    // Evaluations at \f$ \vec u \f$ of the polynomials used in Sumcheck
    ClaimedEvaluations claimed_evaluations;
    // Whether or not the evaluations of multilinear polynomials \f$ P_1, \ldots, P_N \f$  and final Sumcheck evaluation
    // have been confirmed
    bool verified = false;
    // For ZK Flavors: the sum of the Libra constant term and Libra univariates evaluated at Sumcheck challenges
    FF claimed_libra_evaluation = FF{ 0 };
    // For ECCVMVerifier: Commitments to round univariates
    std::vector<Commitment> round_univariate_commitments = {};
    // For ECCVMProver: Round univariates in monomial basis
    std::vector<bb::Polynomial<FF>> round_univariates = {};
    // For ECCVMProver/Verifier: evaluations of round univariates at 0, 1, and round challenge
    std::vector<std::array<FF, 3>> round_univariate_evaluations = {};
};
} // namespace bb