public_inputs_impl.hpp

#pragma once
 
namespace proof_system::plonk {
 
template <typename Field>
Field compute_public_input_delta(const std::vector<Field>& public_inputs,
                                 const Field& beta,
                                 const Field& gamma,
                                 const Field& subgroup_generator)
{
    Field numerator = Field(1);
    Field denominator = Field(1);
 
    Field work_root = Field(1);
    Field T0;
    Field T1;
    Field T2;
    Field T3;
    for (const auto& witness : public_inputs) {
        T0 = witness + gamma;
        T1 = work_root * beta;
        T2 = T1 * Field::coset_generator(0);
        T3 = T1 * Field::external_coset_generator();
        T2 += T0;
        T3 += T0;
        numerator *= T2;
        denominator *= T3;
        work_root *= subgroup_generator;
    }
    T0 = numerator / denominator;
    return T0;
}
} // namespace proof_system::plonk