prover_verifier_shared.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 <vector>
namespace bb {
 
template <typename FF>
std::vector<FF> update_gate_challenges(const FF& perturbator_challenge,
                                       const std::vector<FF>& gate_challenges,
                                       const std::vector<FF>& init_challenges)
{
    BB_ASSERT_EQ(
        gate_challenges.size(), init_challenges.size(), "gate_challenges and init_challenges must have same size");
    const size_t num_challenges = gate_challenges.size();
    std::vector<FF> next_gate_challenges(num_challenges);
 
    for (size_t idx = 0; idx < num_challenges; idx++) {
        next_gate_challenges[idx] = gate_challenges[idx] + perturbator_challenge * init_challenges[idx];
    }
    return next_gate_challenges;
}
 
template <typename FF> static FF evaluate_perturbator(std::vector<FF> coeffs, FF point)
{
    FF point_acc = FF(1);
    FF result = FF(0);
    for (size_t i = 0; i < coeffs.size(); i++) {
        result += coeffs[i] * point_acc;
        point_acc *= point;
    }
    return result;
};
} // namespace bb