multilinear_batching_claims.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/flavor/multilinear_batching_flavor.hpp"
 
namespace bb {
 
struct MultilinearBatchingProverClaim {
    using FF = MultilinearBatchingFlavor::FF;
    using Commitment = MultilinearBatchingFlavor::Commitment;
    using Polynomial = MultilinearBatchingFlavor::Polynomial;
    std::vector<FF> challenge;
    FF shifted_evaluation;
    FF non_shifted_evaluation;
    Polynomial non_shifted_polynomial;
    Polynomial shifted_polynomial;
    Commitment non_shifted_commitment;
    Commitment shifted_commitment;
    size_t dyadic_size;
};
 
template <typename Curve> struct MultilinearBatchingVerifierClaim {
    using FF = Curve::ScalarField;
    using Commitment = Curve::AffineElement;
    std::vector<FF> challenge;
    FF shifted_evaluation;
    FF non_shifted_evaluation;
    Commitment non_shifted_commitment;
    Commitment shifted_commitment;
 
    auto get_value()
        requires Curve::is_stdlib_type
    {
        MultilinearBatchingVerifierClaim<typename Curve::NativeCurve> native_claim;
        native_claim.challenge.reserve(challenge.size());
 
        for (auto& recursive_challenge : challenge) {
            native_claim.challenge.emplace_back(recursive_challenge.get_value());
        }
        native_claim.non_shifted_evaluation = non_shifted_evaluation.get_value();
        native_claim.shifted_evaluation = shifted_evaluation.get_value();
        native_claim.non_shifted_commitment = non_shifted_commitment.get_value();
        native_claim.shifted_commitment = shifted_commitment.get_value();
 
        return native_claim;
    }
};
 
} // namespace bb