eccvm_fixed_vk.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/common/std_array.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
 
namespace bb {
 
class ECCVMFixedVKCommitments {
  public:
    using Commitment = curve::Grumpkin::AffineElement;
 
    static constexpr std::vector<Commitment> get_all()
    {
        return { // lagrange_first
                 Commitment(uint256_t("0x1b38d3ca76ed177424415672027d98459a875ed1aa43bb969ecffd9e4428c0d1"),
                            uint256_t("0x1ee6866622f6e654361830d9f545e0943d26876e03aafa0c4cc6772d1c277d46")),
 
                 // lagrange_second (hiding op row)
                 Commitment(uint256_t("0x28cc5109376bdec7cdea99ea99cd0b14151f735ed8cd1687f5154cafc5718900"),
                            uint256_t("0x13df90d6be58ebcfb1b767db72f4c3fe3b98afd7a0094d69cdea854128819bc9")),
 
                 // lagrange_third (first real op row, after hiding op row)
                 Commitment(uint256_t("0x08dc1a9a11a3c8dbc14b6a2e4f796a73eb08934ed806781c68df84429941826a"),
                            uint256_t("0x26f2c37372adb5b781a94193f3b1ce2be85f20c504f2c11b8ae5c31aa997f141")),
 
                 // lagrange_last
                 Commitment(uint256_t("0x250f60e47845ded40a7821ccd614187f99e12df72b578d1ff222a61c62f0ace9"),
                            uint256_t("0x0957036d9fbae4aff11fd9a76828a3292a3e58d30e9a93fe2bbfb2525d522a14"))
        };
    }
};
 
} // namespace bb