ipa_accumulator.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 }
// =====================
 
#include <vector>
namespace bb::stdlib::recursion::honk {
 
template <typename Curve> struct IpaAccumulator {
    std::vector<typename Curve::ScalarField>
        u_challenges_inv;       // inverses of u challenges that represent the polynomial h; could be an array
    typename Curve::Group comm; // commitment to the polynomial h
};
 
} // namespace bb::stdlib::recursion::honk